Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10290577" target="_blank" >RIV/00216208:11320/14:10290577 - isvavai.cz</a>

Výsledek na webu

<a href="http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6927252" target="_blank" >http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6927252</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/DSD.2014.87" target="_blank" >10.1109/DSD.2014.87</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Popis výsledku v původním jazyce

Cyber-physical systems typically involve a large number of mobile autonomous devices that closely interact with each other and their environment. Standard design and development techniques from the embedded domain fail to accurately model the dynamics ofsuch systems and, hence, there is an increasing need for new programming models and abstractions. Component-based design approaches are a promising solution to manage the complexity of large-scale dynamic systems. However, existing such approaches either do not accurately model transitory interactions between components -- which are typical of cyber-physical systems -- or do not provide guarantees for real-time behavior which is essential in many safety-critical applications. To overcome this problem,in this paper, we present a component-based design technique based on DEECo (Dependable Emergent Ensembles of Components). The DEECo framework allows modeling large-scale dynamic systems by a set of interacting components. In contrast to

Název v anglickém jazyce

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Popis výsledku anglicky

Cyber-physical systems typically involve a large number of mobile autonomous devices that closely interact with each other and their environment. Standard design and development techniques from the embedded domain fail to accurately model the dynamics ofsuch systems and, hence, there is an increasing need for new programming models and abstractions. Component-based design approaches are a promising solution to manage the complexity of large-scale dynamic systems. However, existing such approaches either do not accurately model transitory interactions between components -- which are typical of cyber-physical systems -- or do not provide guarantees for real-time behavior which is essential in many safety-critical applications. To overcome this problem,in this paper, we present a component-based design technique based on DEECo (Dependable Emergent Ensembles of Components). The DEECo framework allows modeling large-scale dynamic systems by a set of interacting components. In contrast to

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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ů

Název statě ve sborníku

Proceedings of the 17th Euromicro Conference on Digital Systems Design

ISBN

978-1-4799-5793-4

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

254-261

Název nakladatele

IEEE

Místo vydání

Los Alamitos, CA, USA

Místo konání akce

Verona, Italy

Datum konání akce

27. 8. 2014

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

WRD - Celosvětová akce

Kód UT WoS článku

—