Safety and Security Assessment of Behavioral Properties Using Alloy - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Safety and Security Assessment of Behavioral Properties Using Alloy

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (532.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01206638 , version 1 (29-09-2015)

Identifiants

Citer

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⟩

Collections

ONERA
66 Consultations
304 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More