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

Type

article in a collection out of WoS and Scopus

Language

English

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.

Keywords

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

Authors

RICHTA, T.; JANOUŠEK, V.

RIV year

2013

Released

15. 5. 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

Pages from

444

Pages to

451

Pages count

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