Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-MBAAk. rok: 2019/2020
Představení model-based designu, testování, analýzy a model checkingu. Petriho sítě jako model pro popis paralelních systémů. Možnosti analýzy Petriho sítí. Markovovy řetězce jako model pravděpodobnostních systémů. Možnosti analýzy Markovových řetězců. Časované automaty jako model systémů pracujících s reálným časem. Možnosti analýzy časovaných automatů. UML a SysML diagramy v rámci model based designu a možnosti jejich analýzy. Představení nástrojů pro analýzu zmíněných modelů.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Prerekvizity
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Prerekvizity a korekvizity
Doporučená literatura
Zařazení předmětu ve studijních plánech
obor MBS , libovolný ročník, letní semestr, volitelnýobor MBI , libovolný ročník, letní semestr, volitelnýobor MMM , libovolný ročník, letní semestr, povinnýobor MPV , libovolný ročník, letní semestr, volitelnýobor MSK , libovolný ročník, letní semestr, volitelný
specializace NBIO , libovolný ročník, letní semestr, volitelnýspecializace NISD , libovolný ročník, letní semestr, volitelnýspecializace NISY , libovolný ročník, letní semestr, volitelnýspecializace NIDE , libovolný ročník, letní semestr, volitelnýspecializace NCPS , libovolný ročník, letní semestr, volitelnýspecializace NSEC , libovolný ročník, letní semestr, volitelnýspecializace NMAT , libovolný ročník, letní semestr, volitelnýspecializace NGRI , libovolný ročník, letní semestr, volitelnýspecializace NNET , libovolný ročník, letní semestr, volitelnýspecializace NVIZ , libovolný ročník, letní semestr, volitelnýspecializace NSEN , libovolný ročník, letní semestr, povinnýspecializace NMAL , libovolný ročník, letní semestr, volitelnýspecializace NHPC , libovolný ročník, letní semestr, volitelnýspecializace NVER , libovolný ročník, letní semestr, povinnýspecializace NEMB , libovolný ročník, letní semestr, volitelnýspecializace NADE , libovolný ročník, letní semestr, volitelnýspecializace NSPE , libovolný ročník, letní semestr, volitelný
obor MIS , 2. ročník, letní semestr, povinně volitelnýobor MIN , 2. ročník, letní semestr, povinnýobor MGM , 2. ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači
Projekt