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.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...