Titre original :
Model-Based Safety Analysis
Contenu du livre :
Les techniques d'analyse de la sécurité des systèmes sont bien établies et sont largement utilisées lors de la conception de systèmes critiques pour la sécurité.
Malgré cela, la plupart des techniques sont très subjectives et dépendent des compétences du praticien. Comme ces analyses sont généralement basées sur un modèle informel du système, il est peu probable qu'elles soient complètes, cohérentes et exemptes d'erreurs.
En fait, l'absence de modèles précis de l'architecture du système et de ses modes de défaillance oblige souvent les analystes de la sécurité à consacrer une grande partie de leurs efforts à la collecte de détails architecturaux sur le comportement du système à partir de plusieurs sources et à l'intégration de ces informations dans les artefacts de sécurité tels que les arbres de défaillance. Ce rapport décrit l'analyse de sécurité basée sur un modèle, une approche dans laquelle les ingénieurs système et sécurité partagent un modèle de système commun créé à l'aide d'un processus de développement basé sur un modèle. En étendant le modèle du système avec un modèle de défaillance ainsi qu'avec des parties pertinentes du système physique à contrôler, un support automatisé peut être fourni pour une grande partie de l'analyse de sécurité.
Nous pensons qu'en utilisant un modèle commun pour l'ingénierie des systèmes et de la sécurité et en automatisant certaines parties de l'analyse de la sécurité, nous pouvons à la fois réduire les coûts et améliorer la qualité de l'analyse de la sécurité. Nous présentons ici notre vision de l'analyse de sécurité basée sur un modèle et discutons des avantages et des défis à relever pour rendre cette approche pratique.
Autres informations sur le livre :
| ISBN : | 9781287253594 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
