Publication Details

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

RICHTA, T.; JANOUŠEK, V. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 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., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
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
incrementalchanges 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
BibTeX 
@inproceedings{BUT105969,
  author="Tomáš {Richta} and Vladimír {Janoušek}",
  title="Operating System for Petri Nets-Specified Reconfigurable Embedded Systems",
  booktitle="Computer Aided Systems Theory - EUROCAST 2013",
  year="2013",
  series="Lecture Notes in Computer Science",
  volume="8111",
  pages="444--451",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  isbn="978-3-642-53855-1"
}
Back to top