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

Abstract

International audienceDesign 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

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

“…The experiment described in [6] proved that usage of IRM-SA represents a significant help in EBCS design and development. Participants of this experiment designed using IRM-SA an EBCS architecture with less errors than participants using another design method.…”

Architecture of homeostatic security control for digital manufacture systems based on software-defined networks

“…This control technology is implemented on the basis of homeostat -a self-organizing specialized subsystem aimed at supporting the system's key parameter values within a great variety of allowable values [13,14].…”

Adaptive and reconfigurable software systems and architectures

“…JID: JSS [m5G;September 15, 2016;9:32 ] Sequencing constraints (causal and parallel) are taken into account in the matching process. The work of Gerostathopoulos et al (2016) presents a design method that addresses dependability and adaptability for cyberphysical systems. The authors suggest define a kind of models where CPS requirements are specified as invariants (representing the system goals).…”