Detail publikace

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

RICHTA Tomáš a JANOUŠEK Vladimír. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science, roč. 8111. Berlin Heidelberg: Springer Verlag, 2013, s. 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
angličtina
Autoři
Richta Tomáš, Ing. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
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, Las Palmas de Gran Canaria, ES
ISBN
978-3-642-53855-1
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
BibTeX 
@INPROCEEDINGS{FITPUB10358,
   author = "Tom\'{a}\v{s} Richta and Vladim\'{i}r Janou\v{s}ek",
   title = "Operating System for Petri Nets-Specified Reconfigurable Embedded Systems",
   pages = "444--451",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2013",
   series = "Lecture Notes in Computer Science",
   volume = 8111,
   year = 2013,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-53855-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10358"
}
Nahoru