ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
Overview & Synopsis
This paper aims at presenting methods and tools that are developed in the ISAAC project (Improvement of Safety Activities on Aeronautical Complex Systems, www.isaac-fp6.org), a European Community funded project, to support the safety assessment of complex embedded systems. The ISAAC methodology proposes to base as much of the safety analyses as is feasibly possible on simulable and formally verifiable system models that include fault models and can be shared both by safety and design engineers. On one hand, tools were developed to support safety assessment of Simulink, SCADE, Statemate, NuSMV and AltaRica models. On the other hand, formal models are coupled with additional models to address the problems of common cause analysis and human error analysis.
hal.science)
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects |
|---|---|
| Author / Organization | O Akerlund, P. Bieber, E Boede, M Bozzano, M Bretschneider, C. Castel, A. Cavallo, M Cifaldi, J Gauthier, A Griffault, O Lisagor, A Lüdtke, S Metge, C Papadopoulos, T Peikenkamp, L Sagaspe, C Seguin, H Trivedi, L Valacca |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2006 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-147113 |
| Original Source Link | Visit Source Page on hal.science » |