Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees

Abstract : Modern cyber physical systems (CPSs) are becoming more and more vulnerable to security related attacks, due to the growing number of interconnectivity and standardized communication channels. This evolution make the traditional approaches considering the safety and security domains as two disjunctive areas obsolete. In this paper we propose state/event fault tree for modeling and analyzing the safety and the security aspects of CPSs in a common model. To evaluate our approach, we apply it on a case study of a tire pressure monitoring system.
Type de document :
Communication dans un congrès
Matthieu ROY. SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA, 2013
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00848640
Contributeur : Anne Bergez <>
Soumis le : vendredi 26 juillet 2013 - 16:56:12
Dernière modification le : lundi 29 juillet 2013 - 11:31:55
Document(s) archivé(s) le : dimanche 27 octobre 2013 - 03:20:25

Fichier

14_SafeComp13-EWICS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00848640, version 1

Citation

Michael Roth, Peter Liggesmeyer. Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees. Matthieu ROY. SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA, 2013. <hal-00848640>

Partager

Métriques

Consultations de
la notice

425

Téléchargements du document

905