Detail výsledku

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

RICHTA, T.; JANOUŠEK, V. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013. p. 444-451. ISBN: 978-3-642-53855-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
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 incremental
changes 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
Rok
2013
Strany
444–451
Sborník
Computer Aided Systems Theory - EUROCAST 2013
Řada
Lecture Notes in Computer Science
Svazek
8111
Konference
Fourteenth International Conference On Computer Aided Systems Theory
ISBN
978-3-642-53855-1
Vydavatel
Springer Verlag
Místo
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru