Towards Component-Based Design of Safety-Critical Cyber-Physical Applications
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Towards Component-Based Design of Safety-Critical Cyber-Physical Applications
Original language description
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
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
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
Proceedings of the 17th Euromicro Conference on Digital Systems Design
ISBN
978-1-4799-5793-4
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
254-261
Publisher name
IEEE
Place of publication
Los Alamitos, CA, USA
Event location
Verona, Italy
Event date
Aug 27, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—