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.
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2016, 〈10.1016/j.jss.2016.02.028〉
Liste complète des métadonnées

Littérature citée [72 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01355034
Contributeur : Noël Plouzeau <>
Soumis le : lundi 22 août 2016 - 10:53:52
Dernière modification le : mercredi 16 mai 2018 - 11:23:29
Document(s) archivé(s) le : mercredi 23 novembre 2016 - 13:41:00

Fichier

2016-JSS-IRM-SA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

363

Téléchargements de fichiers

166