Detail publikace
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
Richta Tomáš, Ing., Ph.D.
systems modeling; formal specification; code generation; model-driven engineering; model execution; control systems
Generování kódu ze specifikace pomocí Petriho sítí závisí převážně na způsobu dekompozice celého systému na jednotlivé podsítě. V našem experimentu jsme vycházeli z konceptu MULAN pro modelování multiagentních systémů navrženém Cabacem a jeho kolektivem. Ten rozděluje model systému na čtyři úrovně abstrakce - infrastruktura, agentní platforma, agenti a protokoly. V našem článku je definována podobná vrstvená architektura, ovšem zaměřená na návrh a implementaci distribuovaných řídících systémů. Cílová aplikační oblast - distribuované řídící systémy založené na bezdrátových senzorových sítích - nás vedly k zavedení ještě páté úrovně abstrakce, kterou nazývám vrstvu uzlů. Tato úroveň slouží jako abstrakční vrstva nad hardwarem a poskytuje základní podporu pro ostatní úrovně systému. Specifickým přínosem našeho přístupu je idea generování kódu z takto definované specifikace, kdy je každá vrstva modelu specificky mapována na cílovou platformu s hlavním záměrem, kterým je dynamická rekonfigurovatelnost celého systému. Navrhovaná architektura pak umožňuje inkrementální změny v systémové specifikaci a její implementaci za běhu systému.
@inproceedings{BUT103445,
author="Vladimír {Janoušek} and Tomáš {Richta}",
title="Operating System for Petri Nets-Specified Reconfigurable Embedded Systems",
booktitle="Proceedings of the 14th Computer Aided Systems Theory",
year="2013",
pages="248--249",
publisher="The Universidad de Las Palmas de Gran Canaria",
address="Las Palmas de Grand Canaria",
isbn="978-84-695-6971-9"
}