Efficient generation and representation of failure lists out of an information flux model for modeling safety critical systemsReportar como inadecuado




Efficient generation and representation of failure lists out of an information flux model for modeling safety critical systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 TUM - Technische Universität München München 2 CRAN - Centre de Recherche en Automatique de Nancy 3 A3SI-ENSAM - ENSAM 4 ENSEM - Ecole Nationale Supérieure d-Electricité et de Mécanique Casablanca

Abstract : This article presents a novel way to model safety critical systems hierarchically. An information flow diagram as high level and finite automatons as low level model are combined. With these models, scenarios leading to dangerous failures as well as spurious shutdowns can be generated. Furthermore, we will show how to extract the different scenarios out of the model in a very efficient way using different BDD-techniques. Finally, we will present some related work.

Keywords : Safety Critical systems information flow





Autor: Michael Pock - Hicham Belhadaoui - Olaf Malassé - Max Walter -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados