Detail výsledku
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems
RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings, 2013, vol. 2013, no. 989, p. 203-217. ISSN: 1613-0073.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D., FIT (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Abstrakt
This paper deals with the embedded systems construction process based on the system specification modeled as a set of Petri nets. Modeling of the system starts with Workflow Petri Nets specification describing the main modules and processes within the system. Workflow model is then transformed to the multilayered Reference Nets structure, that is finally used for the code generation of the target system. The main goal of our approach is to provide for dynamic reconfigurability of the system deployment according to the changes within its specification. Dynamic reconfigurability means the possibility of system changes within its runtime. This is achieved by the decomposition of the whole functionality of the system to small interpretable pieces of computation. This approach also introduces several layers of reconfigurability using different translation rules operating on each layer. The heart of the system lies within the reference nets hosting platform called Petri Nets Operating System (PNOS) that includes the Petri Nets Virtual Machine (PNVM) that performs the very Reference Nets interpretation.
Klíčová slova
workflow modeling, reference nets, embedded systems, model-based software engineering, code generation, model transformation
Rok
2013
Strany
203–217
Časopis
CEUR Workshop Proceedings, roč. 2013, č. 989, ISSN 1613-0073
Kniha
Proceedings of PNSE'13
Místo
Hamburk
BibTeX
@article{BUT103440,
author="Tomáš {Richta} and Vladimír {Janoušek} and Radek {Kočí}",
title="Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems",
journal="CEUR Workshop Proceedings",
year="2013",
volume="2013",
number="989",
pages="203--217",
issn="1613-0073"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Pracoviště
Ústav inteligentních systémů
(UITS)