A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems
Cette thèse présente une nouvelle approche pour la modélisation des systèmes de sécurité fonctionnelle qui prend en compte plusieurs modes de défaillance pour les composants et le système global. Les diagrammes de flux d'information (IFDs) ont été initialement développé dans un thèse précédent....
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012LORR0103/document |