Publication Details

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

RICHTA Tomáš and JANOUŠEK Vladimír. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science, vol. 8111. Berlin Heidelberg: Springer Verlag, 2013, pp. 444-451. ISBN 978-3-642-53855-1.
Czech title
Operační systém pro Petriho sítěmi specifikované rekonfigurovatelné vestavné systémy
Type
conference paper
Language
english
Authors
Richta Tomáš, Ing. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Keywords
model-based design, Reference Nets, nets-within-nets, embedded systems, code generation
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.
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.
Published
2013
Pages
444-451
Proceedings
Computer Aided Systems Theory - EUROCAST 2013
Series
Lecture Notes in Computer Science
Volume
8111
Conference
Fourteenth International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-642-53855-1
Publisher
Springer Verlag
Place
Berlin Heidelberg, DE
BibTeX 
@INPROCEEDINGS{FITPUB10358,
   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 = "Lecture Notes in Computer Science",
   volume = 8111,
   year = 2013,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-53855-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10358"
}
Back to top