Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-SVSeAk. rok: 2014/2015
Principy návrhu vestavěných distribuovaných systémů. Reaktivní systémy a systémy pracující v reálném čase. Modely reaktivních systémů a systémů pracujících v reálném čase. Spravedlivost, živost, bezpečnost, realizovatelnost; živost reálného času. Základy temporální logiky. Časové modely a temporální logiky. Temporální logika a reálný čas. Formální specifikace vestavěných systémů. Hybridní systémy. Dokazovací systémy. Kontrola modelem. Verifikace systémů pracujících v reálném čase.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Seznámení se se základy temporální logiky.
Prerekvizity
Způsob a kritéria hodnocení
Zápočet není ustanoven.
Osnovy výuky
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
obor MMI , 0 ročník, letní semestr, povinně volitelnýobor MBI , 0 ročník, letní semestr, volitelnýobor MSK , 2 ročník, letní semestr, povinně volitelnýobor MMM , 0 ročník, letní semestr, volitelnýobor MBS , 0 ročník, letní semestr, povinně volitelnýobor MPV , 0 ročník, letní semestr, volitelnýobor MIS , 0 ročník, letní semestr, povinně volitelnýobor MIN , 0 ročník, letní semestr, volitelnýobor MGM , 0 ročník, letní semestr, volitelný