Detail předmětu
Komunikace v počítačových aplikacích
KPA Ak. rok 2003/2004 zimní semestr 6 kreditů
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í.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
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
- Program EI-BC-3, obor VTB, 2. ročník, volitelný
- Program EI-BC-3 (anglicky), obor VTB, 2. ročník, volitelný
- Program EI-MGR-3, obor VTN, 3. ročník, volitelný
- Program EI-MGR-5, obor VTI, 3. ročník, volitelný
- Program EI-MGR-5 (anglicky), obor VTI, 3. ročník, volitelný