Predictive formal analysis of resilience in cyber-physical systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Access Année : 2019

Predictive formal analysis of resilience in cyber-physical systems

Résumé

The behavioral analysis of cyber-physical systems in safety-critical scenarios is a challenging task. In this context, the endogenous and exogenous aspects of resilience are of a cornerstone importance in system design and verification. Endogenous resilience is the inherent ability of the system to detect and process internal faults and malicious attacks. Exogenous resilience is the permanent capability of the system to maintain a safe operation within its ambient environment. In this article, we present a predictive dual-sided contract-based formal methodology to address both aspects of resilience on top of a distributed object-oriented component-based software model. It is illustrated by a case study of urban drone rescue systems. We exploit the formalism of timed automata and the toolbox UPPAAL to predict by abstraction and analyze (simulate and verify) endogenous resilience. Instead of presenting the final models of the case study, we reflect our experience with UPPAAL in generic patterns of system design and contract specification, reusable in other contexts with adaptations. The analysis of exogenous resilience is specific to the considered drone rescue system. It consists of synthesizing by iterative model-checking safe flight paths for the drones within a 3D virtual model of urban surroundings true to modern cities.
Fichier principal
Vignette du fichier
access_par_cps.pdf (4.55 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02077005 , version 1 (22-03-2019)

Identifiants

Citer

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi. Predictive formal analysis of resilience in cyber-physical systems. IEEE Access, 2019, 7, pp.33741 - 33758. ⟨10.1109/ACCESS.2019.2903153⟩. ⟨hal-02077005⟩
206 Consultations
183 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More