Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

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

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"
}