ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
العنوان: | ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects |
---|---|
المؤلفون: | Akerlund, O, Bieber, P., Boede, E, Bozzano, M, Bretschneider, M, Castel, C., Cavallo, A., Cifaldi, M, Gauthier, J, Griffault, A, Lisagor, O, Lüdtke, A, Metge, S, Papadopoulos, C, Peikenkamp, T, Sagaspe, L, Seguin, C, Trivedi, H, Valacca, L |
المساهمون: | ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse |
المصدر: | ERTS 2006 proceedings Conference ERTS'06 Conference ERTS'06, Jan 2006, Toulouse, France |
بيانات النشر: | HAL CCSD, 2006. |
سنة النشر: | 2006 |
مصطلحات موضوعية: | certification, formal methods, system safety assessment, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems |
الوصف: | International audience; 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. |
اللغة: | English |
URL الوصول: | https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::257cd93bc4fc28880a3ad8f6c799fb8f https://hal.archives-ouvertes.fr/hal-02270466/document |
رقم الأكسشن: | edsair.dedup.wf.001..257cd93bc4fc28880a3ad8f6c799fb8f |
قاعدة البيانات: | OpenAIRE |
الوصف غير متاح. |