Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-MBAAk. rok: 2024/2025
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
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Bodové hodnocení vypracovaných projektů (max. 30 bodů) a závěrečné semestrální zkoušky (max 70 bodů).
Učební cíle
Prerekvizity a korekvizity
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
specializace NGRI , 0 ročník, letní semestr, volitelnýspecializace NADE , 0 ročník, letní semestr, volitelnýspecializace NISD , 0 ročník, letní semestr, volitelnýspecializace NMAT , 0 ročník, letní semestr, volitelnýspecializace NSEC , 0 ročník, letní semestr, volitelnýspecializace NISY do 2020/21 , 0 ročník, letní semestr, volitelnýspecializace NNET , 0 ročník, letní semestr, volitelnýspecializace NMAL , 0 ročník, letní semestr, volitelnýspecializace NCPS , 0 ročník, letní semestr, volitelnýspecializace NHPC , 0 ročník, letní semestr, volitelnýspecializace NVER , 0 ročník, letní semestr, povinnýspecializace NIDE , 0 ročník, letní semestr, volitelnýspecializace NISY , 0 ročník, letní semestr, volitelnýspecializace NEMB do 2023/24 , 0 ročník, letní semestr, volitelnýspecializace NSPE , 0 ročník, letní semestr, volitelnýspecializace NEMB , 0 ročník, letní semestr, volitelnýspecializace NBIO , 0 ročník, letní semestr, volitelnýspecializace NSEN , 0 ročník, letní semestr, povinnýspecializace NVIZ , 0 ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači
Projekt