Detail předmětu

Komunikace v počítačových aplikacích

KPA Ak. rok 2003/2004 zimní semestr 6 kreditů

Aktuální akademický rok

Distribuované systémy pracující v reálném čase. Modely systémů diskrétních událostí a reálného času. Temporální logika. Formální specifikace a verifikace. Dokazovací systémy. Kontrola modelem. Protokoly pro reálný čas. Návrh aplikací.

Podrobněji ...

Garant předmětu

Švéda Miroslav, prof. Ing., CSc.

Jazyk výuky

česky

Zakončení

zkouška

Rozsah

Zajišťuje ústav

Ústav informačních systémů (UIFS)

Získané dovednosti, znalosti a kompetence z předmětu

Porozumění základním koncepcím a principům formálních specifikací reaktivních systémů a systémů pracujících v reálném čase.

Cíle předmětu

Seznámit se s principy formálních specifikací pro modelování reaktivních systémů a systémů pracujících v reálném čase; být informován o komunikačních protokolech pro reálný čas.

Literatura studijní

  • de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.

Literatura referenční

  • de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.

Průběžná kontrola studia

Polosemestrální písemná zkouška a vypracování 2 projektů v předepsaných termínech

Zařazení předmětu ve studijních plánech

Nahoru