MBD GAČR řešení 2009
Plán prací
V posledním roce bude řešení projektu pokračovat v následujícíh oblastech: dopracování simulačních technik vhodných pro aplikaci ve vývoji systémů (na toto téma již byl přijat článek Simulation Based Design of Control Systems Using DEVS and Petri Nets na konferenci Eurocast Workshop on Simulation and Formal Methods in Systems Design and Engineering 2009), v kombinaci s metaúrovňovou architekturou dopracování konceptů testování a optimální realizace softwarových systémů (využití simulačních experimentů a vyhodnocování statistik) a pokračování výzkumu v oblasti adaptivního řízení autonomních systémů.
Tyto koncepty a techniky se budou ověřovat na již připravených případových studiích konferenčního systému a modelem řízeného autonomního systému, které se budou dále rozvíjet. Jako další aplikační doména vhodná pro nasazení vyvíjených technik a nástrojů se jeví senzorové sítě. Také bude vytvořena časopisecká publikace shrnující dosažené výsledky. Půjde především o techniky návrhu a testování systémů formálními prostředky, poznatky z aplikace formálních modelů v SH/HW-in-the-loop simulaci a nástrojovou podporu pro vývoj systémů s využitím těchto principů.
Link to this Page