Současný trend v oblasti vývoje systémů je zaměřen na aplikaci formálních modelů v procesu návrhu, jejich simulační ověřování a následnou transformaci do podoby vhodné pro běh na cílové platformě (např. do programovacího jazyka). Vedle toho existuje větev výzkumu, která zkoumá možnosti použití formálních modelů přímo v cílové aplikaci.

Práce se zaměří na formální modely umožňující matematicky čistě a srozumitelně modelovat a současně ověřovat význačné aspekty vyvíjeného systému simulačními prostředky. Předmětem výzkumu budou simulační techniky pro analýzu a testování (podmínky, invarianty apod.) modelů systémů včetně možnosti zpětného krokování a paralelní simulace pro nalezení optimální varianty řešení. Podstatným rysem celého přístupu je možnost provádět analýzy a optimalizace modelů nejen v etapě návrhu, ale i nasazení softwarového systému, tj. možnost analyzovat a měnit aplikaci za běhu na úrovni původních modelů.

Jako školitel specialista bude přizván Ing. Radek Kočí, Ph.D.