A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures

Abstract : We propose an model-based approach to address safety and security assessment of a system architecture. We present an integrated process where system engineers design the model of the system architecture, safety and security engineers specify the propagation of failures and attacks inside each component of the architecture using their dedicated tool. They also define the failure modes that have to be merged from both disciplines. The underlying analyses are then performed using Alloy. We instantiate this approach with the system engineering tool Melody from Thales, and the risk analysis supporting tool Safety Architect from All4Tec. We illustrate this work on a system that implements a landing approach of an aircraft.
Type de document :
Communication dans un congrès
11th Workshop on Model-Driven Engineering, Verification and Validation, Sep 2014, Spain. 1235, pp.39-48, 2014
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01070960
Contributeur : David Chemouil <>
Soumis le : jeudi 2 octobre 2014 - 17:45:42
Dernière modification le : jeudi 15 novembre 2018 - 08:38:02
Document(s) archivé(s) le : samedi 3 janvier 2015 - 11:20:39

Fichier

main.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01070960, version 1

Collections

Citation

Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée. A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. 11th Workshop on Model-Driven Engineering, Verification and Validation, Sep 2014, Spain. 1235, pp.39-48, 2014. 〈hal-01070960〉

Partager

Métriques

Consultations de la notice

238

Téléchargements de fichiers

584