Novel approaches in software engineering for CPS and IoT

This dissertation topic is available for Czech studies only.

Cílem práce je navázat na soudobé architektury a metody vývoje distribuovaných řidicích systémů, IoT a CPS (cyber-physical systems) a přinést nové architektury a metody, které zohlední potřebu analyzovatelnosti a verifikovatelnosti a přitom umožní adaptabilitu a dynamickou rekonfigurovatelnost systému v návaznosti na dynamicky se měnící požadavky a dostupnost zdrojů. 
Téma zahrnuje problematiku transformace modelů, využití metod strojového učení a umělé inteligence v návrhu a realizaci inteligentních a distribuovaných řídicích systémů a moderní metody modelování, simulace, analýzy a verifikace, v souladu s průmyslovými standardy pro IoT, CPS a Průmysl 4.0.
Jedním z východisek může být publikace 
On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499 (http://personales.upv.es/thinkmind/dl/conferences/icsea/icsea_2021/icsea_2021_2_120_10075.pdf).