Detail publikace

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

Originální název

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

Anglický název

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@inproceedings{BUT105969,
  author="Tomáš {Richta} and Vladimír {Janoušek}",
  title="Operating System for Petri Nets-Specified Reconfigurable Embedded Systems",
  annote="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.",
  address="Springer Verlag",
  booktitle="Computer Aided Systems Theory - EUROCAST 2013",
  chapter="105969",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2013",
  month="may",
  pages="444--451",
  publisher="Springer Verlag",
  type="conference paper"
}