Safety and Security Assessment of Behavioral Properties Using Alloy

Abstract : In this paper, we propose a formal approach to supporting safety and security engineering, in the spirit of Model-Based Safety Assessment, using the Alloy language. We first implement a system modeling framework, called Coy, allowing to model system architectures and their behavior with respect to component failures. Then we illustrate the use of Coy by defining a fire detection system example and analyzing some safety and security requirements. An interesting aspect of this approach lies in the “declarative” style provided by Alloy, which allows the lean specification of both the model and its properties.
Type de document :
Communication dans un congrès
2nd International workshop on the Integration of Safety and Security Engineering, Sep 2015, Delft, Netherlands. 〈10.1007/978-3-319-24249-1_22〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01206638
Contributeur : David Chemouil <>
Soumis le : mardi 29 septembre 2015 - 14:10:20
Dernière modification le : jeudi 15 novembre 2018 - 08:38:02
Document(s) archivé(s) le : mercredi 30 décembre 2015 - 10:41:25

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Julien Brunel, David Chemouil. Safety and Security Assessment of Behavioral Properties Using Alloy. 2nd International workshop on the Integration of Safety and Security Engineering, Sep 2015, Delft, Netherlands. 〈10.1007/978-3-319-24249-1_22〉. 〈hal-01206638〉

Partager

Métriques

Consultations de la notice

62

Téléchargements de fichiers

149