Efficient generation and representation of failure lists out of an information flux model for modeling safety critical systems
| Autor: | Pock, M., Hicham Belhadaoui, Malassé, O., Walter, M. |
|---|---|
| Přispěvatelé: | Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), Centre de Recherche en Automatique de Nancy (CRAN), Université Henri Poincaré - Nancy 1 (UHP)-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), ENSAM (A3SI-ENSAM), Ecole Nationale Supérieure des Arts et Metiers Metz, Ecole Nationale Supérieure d'Electricité et de Mécanique [Casablanca] (ENSEM), Université Hassan II [Casablanca] (UH2MC) |
| Jazyk: | angličtina |
| Rok vydání: | 2008 |
| Předmět: | |
| Zdroj: | The European Safety and Reliability Conference, ESREL 2008 The European Safety and Reliability Conference, ESREL 2008, Sep 2008, Valencia, Spain. pp.1829-1837 Scopus-Elsevier |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|