Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU108089" target="_blank" >RIV/00216305:26230/13:PU108089 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Computer Aided Systems Theory - EUROCAST 2013
ISBN
978-3-642-53855-1
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
444-451
Publisher name
Springer Verlag
Place of publication
Berlin Heidelberg
Event location
Las Palmas de Gran Canaria
Event date
Feb 10, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—