Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332008" target="_blank" >RIV/00216208:11320/16:10332008 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1016/j.micpro.2016.01.007" target="_blank" >http://dx.doi.org/10.1016/j.micpro.2016.01.007</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.micpro.2016.01.007" target="_blank" >10.1016/j.micpro.2016.01.007</a>

Result language

angličtina

Original language name

Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements

Original language description

Cyber-physical systems typically involve large numbers of mobile autonomous devices that closely interact with each other and their environment. Standard design and development techniques often fail to effectively manage the complexity and dynamics of such systems. As a result, there is a strong need for new programing models and abstractions. Towards this, component-based design methods are a promising solution. 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 safety-critical applications. To overcome this problem, 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 and, in contrast to approaches from the literature, it provides mechanisms to describe transitory interactions between them. To allow reasoning about timing behavior at the component-description level, we characterize DEECo's closed-loop delay in the worst case, i.e., the maximum time needed to react to a change in the environment. Based on this, we incorporate real-time analysis into DEECo's design flow. This further allows us to analyze the system's robustness under unreliable communication and to design decentralized safety-preserving mechanisms. To illustrate the simplicity and usefulness of our approach, we present a case study consisting of an intelligent crossroad system.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/LD15051" target="_blank" >LD15051: Smart Cyber-Physical Systems via Ensembles of Autonomous Software Components</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2016

Confidentiality

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

Name of the periodical

Microprocessors and Microsystems

ISSN

0141-9331

e-ISSN

—

Volume of the periodical

42

Issue of the periodical within the volume

May

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

17

Pages from-to

70-86

UT code for WoS article

000375336900006

EID of the result in the Scopus database

2-s2.0-84962802431