Profesorská přednáška před VR FEL na téma „Metody testování procesů založené na modelech pro složité a kritické systémy“.
Důležitou součástí vytváření současných softwarových a elektronických systémů je zajištění jejich spolehlivosti a bezpečnosti, nezbytné například pro systémy kritické infrastruktury. Současná rostoucí složitost systémů zákonitě přináší i zvýšené požadavky na způsoby jejich testování a situace vede k určitému přirozenému zastarávání metod, které se pro testování používají. Ty je potřeba průběžně modernizovat tak, aby dokázaly efektivně pokrýt současné požadavky kladené na testy. Přednáška se věnuje jedné z těchto oblastí, testování procesů v složitých a kritických systémech. Po představení oblasti a základního formálního rámce problému se přednáška zaměřuje na představení tří inovativních technik pro testování systémů, které byly v nedávné době vyvinuty v Laboratoři inteligentního testování systémů, založené uchazečem. Tyto techniky se zabývají testy spolehlivosti systémů při výpadcích jejich komponent, efektivnějším testováním částí systému majících charakter stavového automatu a efektivnějším generováním testovacích scénářů respektujících zadané omezující podmínky. Tyto techniky jsou demonstrovány na praktických příkladech dvou projektů v oblasti integrovaného záchranného systému a vojenského zdravotnictví, na nichž se pracoviště uchazeče podílí.
