Detail publikace

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

RICHTA, T. JANOUŠEK, V.

Originální název

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

model-based design, Reference Nets, nets-within-nets, embedded systems, code generation

Autoři

RICHTA, T.; JANOUŠEK, V.

Rok RIV

2013

Vydáno

15. 5. 2013

Nakladatel

Springer Verlag

Místo

Berlin Heidelberg

ISBN

978-3-642-53855-1

Kniha

Computer Aided Systems Theory - EUROCAST 2013

Edice

Lecture Notes in Computer Science

Strany od

444

Strany do

451

Strany počet

8

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