Conference paper

RICHTA Tomáš and JANOUŠEK Vladimír. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Computer Aided Systems Theory - EUROCAST 2013. Berlin Heidelberg: Springer Verlag, 2013, pp. 444-451. ISBN 978-3-642-53855-1.
Publication language:english
Original title:Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
Title (cs):Operační systém pro Petriho sítěmi specifikované rekonfigurovatelné vestavné systémy
Pages:444-451
Proceedings:Computer Aided Systems Theory - EUROCAST 2013
Conference:Fourteenth International Conference On Computer Aided Systems Theory
Series:LNCS 8111
Place:Berlin Heidelberg, DE
Year:2013
ISBN:978-3-642-53855-1
Publisher:Springer Verlag
Keywords
model-based design, Reference Nets, nets-within-nets, embedded systems, code generation
Annotation
This paper describes an operating system (OS) and supporting development tools for Petri nets-specified dynamically reconfigurable embedded control systems construction. We use nets-within-nets paradigm formalized by Reference Nets. This formalism allows for layered architecture that enables the dynamic reconfigurability of the modeled system. Our specific contribution is the idea of code generation for a virtual machine (VM), which is able to interpret a model composed of a set of Petri nets. This VM is part of the OS for the target microcontroller. The proposed OS and application architecture then enables incremental
changes within the system specification and implementation during its life-time.
Abstract
This paper describes an operating system (OS) and supporting development tools for Petri nets-specified dynamically reconfigurable embedded control systems construction. We use nets-within-nets paradigm formalized by Reference Nets. This formalism allows for layered architecture that enables the dynamic reconfigurability of the modeled system. Our specific contribution is the idea of code generation for a virtual machine (VM), which is able to interpret a model composed of a set of Petri nets. This VM is part of the OS for the target microcontroller. The proposed OS and application architecture then enables incremental
changes within the system specification and implementation during its life-time.
BibTeX:
@INPROCEEDINGS{
   author = {Tom{\'{a}}{\v{s}} Richta and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {Operating System for Petri Nets-Specified Reconfigurable
	Embedded Systems},
   pages = {444--451},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2013},
   series = {LNCS 8111},
   year = {2013},
   location = {Berlin Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-53855-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10358}
}

Your IPv4 address: 54.166.245.10
Switch to IPv6 connection

DNSSEC [dnssec]