Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106305" target="_blank" >RIV/00216305:26230/13:PU106305 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

  • Popis výsledku v původním jazyce

    Generation of code from Petri nets-based specification mainly depends on the proper decomposition of the whole system model to a set of subnets, which is called partitioning problem. In our experiment we started from the MULAN architecture for multi-agent systems modelling defined by Cabac et al. It divides the model of the system into four levels of abstraction - infrastructure, agent platform, agents, and protocols. We have defined a simplified but similar layered architecture, which is inspired by MULAN, but oriented towards distributed control systems modelling and implementation. Targeted application area - distributed control systems based on Wireless Sensor Networks - led us to introduce the fifth level of abstraction, which we call Node level. This level serves as a hardware abstraction layer and provides support for other levels of the system. Our specific contribution is the idea of code generation, where each level of the model is mapped to the target implementation in a level-specific way which conforms to our main goal that is dynamic reconfigurability of the system. The proposed architecture then enables incremental changes within the system specification and implementation during its run-time.

  • Název v anglickém jazyce

    Operating System for Petri Nets-Specified Reconfigurable Embedded Systems

  • Popis výsledku anglicky

    Generation of code from Petri nets-based specification mainly depends on the proper decomposition of the whole system model to a set of subnets, which is called partitioning problem. In our experiment we started from the MULAN architecture for multi-agent systems modelling defined by Cabac et al. It divides the model of the system into four levels of abstraction - infrastructure, agent platform, agents, and protocols. We have defined a simplified but similar layered architecture, which is inspired by MULAN, but oriented towards distributed control systems modelling and implementation. Targeted application area - distributed control systems based on Wireless Sensor Networks - led us to introduce the fifth level of abstraction, which we call Node level. This level serves as a hardware abstraction layer and provides support for other levels of the system. Our specific contribution is the idea of code generation, where each level of the model is mapped to the target implementation in a level-specific way which conforms to our main goal that is dynamic reconfigurability of the system. The proposed architecture then enables incremental changes within the system specification and implementation during its run-time.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

  • OECD FORD obor

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2013

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Proceedings of the 14th Computer Aided Systems Theory

  • ISBN

    978-84-695-6971-9

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    2

  • Strana od-do

    248-249

  • Název nakladatele

    The Universidad de Las Palmas de Gran Canaria

  • Místo vydání

    Las Palmas de Grand Canaria

  • Místo konání akce

    Las Palmas de Gran Canaria

  • Datum konání akce

    10. 2. 2013

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku