Detail publikace

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.
Název česky
Operační systém pro Petriho sítěmi specifikované rekonfigurovatelné vestavné systémy
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova
model-based design, Reference Nets, nets-within-nets, embedded systems, code generation
Abstrakt
Článek popisuje operační systém (OS) a podpůrné vývojové nástroje určené pro konstrukci Petriho sítěmi specifikovaných dynamicky rekonfigurovatelných vestavných řídících systémů. Používáme paradigma nets-within-nets formalizované v podobě Referenčních sítí. Tento formalismus umožňuje sestavení vícevrstvé architektury, která podporuje dynamickou rekonfigurovatelnost modelovaného systému.
system. Naším specifickým přínosem je myšlenka generování kódu pro virtuální stroj (VM), který je schopen interpretovat model sestavený ze sady Petriho sítí. Tento VM je součástí OS pro cílový mikrokontroler. Navržený OS a aplikační architektura umožňuje inkrementální změny v rámci specifikace a implementace systému během jeho chodu.
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 - EUROCAST 2013, Las Palmas de Gran Canaria, ES
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"
}
Nahoru