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

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [72 references]  Display  Hide  Download

https://hal.inria.fr/hal-01355034
Contributor : Noël Plouzeau <>
Submitted on : Monday, August 22, 2016 - 10:53:52 AM
Last modification on : Friday, November 16, 2018 - 1:24:35 AM
Long-term archiving on : Wednesday, November 23, 2016 - 1:41:00 PM

File

2016-JSS-IRM-SA.pdf
Files produced by the author(s)

Identifiers

Citation

Ilias Gerostathopoulos, Tomas Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, et al.. Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations. Journal of Systems and Software, Elsevier, 2016, ⟨10.1016/j.jss.2016.02.028⟩. ⟨hal-01355034⟩

Share

Metrics

Record views

455

Files downloads

397