Publication detail

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

RICHTA, T. JANOUŠEK, V.

Original Title

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

English Title

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

Type

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2013

Released

15.05.2013

Publisher

Springer Verlag

Location

Berlin Heidelberg

ISBN

978-3-642-53855-1

Book

Computer Aided Systems Theory - EUROCAST 2013

Edition

Lecture Notes in Computer Science

Edition number

NEUVEDEN

Pages from

444

Pages to

451

Pages count

8

Documents

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