Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations

Kód výsledku v IS VaVaI

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

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations

Popis výsledku v původním jazyce

Design of self-adaptive software-intensive cyber-physical systems (siCPS) operating in dynamic environments is a significant challenge when a sufficient level of dependability is required. This stems partly from the fact that the concerns of self-adaptivity and dependability are to an extent contradictory. In this paper, we introduce IRM-SA (Invariant Refinement Method for Self-Adaptation) a design method and associated formally grounded model targeting siCPS that addresses self-adaptivity and supports dependability by providing traceability between system requirements, distinct situations in the environment, and predefined configurations of system architecture. Additionally, IRM-SA allows for architecture self adaptation at runtime and integrates the mechanism of predictive monitoring that deals with operational uncertainty. As a proof of concept, it was implemented in DEECo, a component framework that is based on dynamic ensembles of components. Furthermore, its feasibility was evaluated in experimental settings assuming decentralized system operation.

Název v anglickém jazyce

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations

Popis výsledku anglicky

Design of self-adaptive software-intensive cyber-physical systems (siCPS) operating in dynamic environments is a significant challenge when a sufficient level of dependability is required. This stems partly from the fact that the concerns of self-adaptivity and dependability are to an extent contradictory. In this paper, we introduce IRM-SA (Invariant Refinement Method for Self-Adaptation) a design method and associated formally grounded model targeting siCPS that addresses self-adaptivity and supports dependability by providing traceability between system requirements, distinct situations in the environment, and predefined configurations of system architecture. Additionally, IRM-SA allows for architecture self adaptation at runtime and integrates the mechanism of predictive monitoring that deals with operational uncertainty. As a proof of concept, it was implemented in DEECo, a component framework that is based on dynamic ensembles of components. Furthermore, its feasibility was evaluated in experimental settings assuming decentralized system operation.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

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

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2016

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 periodika

Journal of Systems and Software

ISSN

0164-1212

e-ISSN

—

Svazek periodika

122

Číslo periodika v rámci svazku

December

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

20

Strana od-do

378-397

Kód UT WoS článku

000387627200024

EID výsledku v databázi Scopus

2-s2.0-84960976259