Combination of fault tree analysis and model checking for safety assessment of complex system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2485, Issue , 2002, Pages 19-31

  Bieber, Pierre ^a   Castel, Charles ^a   Seguin, Christel ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT HYDRAULIC SYSTEMS; FAULT TREE ANALYSIS; LARGE SCALE SYSTEMS; SAFETY ENGINEERING;

AIRBUS A320; ALTARICA; COMPLEMENTARY TOOLS; FAULT-TREES; HYDRAULIC SYSTEM; MODEL CHECKER; SAFETY ASSESSMENTS; SAFETY REQUIREMENTS;

MODEL CHECKING;

EID: 84937570074     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36080-8_3     Document Type: Conference Paper

References (16)

1. A. Griffault, A. Arnold, G. Point and A. Rauzy. The Altarica Formalism for Describing Concurrent Systems. Fundamenta Informaticae, 34, 1999. 19, 22
2. P. Crubillé, A. Arnold, D. Bégay. Construction and Analysis of Transition Systems with MEC. World Scientific Publishers, 1994. 29
3. Analogy. About saber mixed-signal simulator. http://www.analogy.com/products/simulation/about saber.htm. 19
4. Groupe ARALIA. Computation ofp rime implicants ofa fault tree within aralia. Reliability Engineering and System Safety, 1996. Special issue on selected papers from ESREL’95. 27
5. G.E. Apostolakis, C. J. Garrett, S.B. Guarro. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. IEEE systems, man and cybernetics, 25(5), 1994. 30
6. ESACS Consortium. Enhanced Safety Assessment of Complex Systems. http://www.cert.fr/esacs. 30
7. P. Fenelon. Towards integrated safety analysis and design. ACM Applied Computing Review, 1994. 30
8. P. Fenelon and J. MacDermid. Integrated techniques for software safety analysis. In IEE colloquium on Hazard Analysis, 1992. 30
9. MathWorks. The mathworks – simulink. www.mathworks.com/products/simulink/. 19
10. K. L. McMillan. The SMV language. Cadence Berkeley Labs, 1999. 29
11. G. Staalmarck, O. Akerlund, S. Nadjm-Tehrani. Integration of Formal Methods into System Safety and Reliability Analysis. In 17th International System Safety Conference, 1999. 30
12. Society of Automotive Engineers. Aerospace recommended practice (arp) 4754, certification considerations for highly integrated or complex aircraft systems. 19
13. Society of Automotive Engineers. Aerospace recommended practice (arp) 4754, guidelines and methodsfor conducting the safety assessment procees on cibil airborne systems and equipment. 21
14. A. Rauzy. Modes automata and their compilation into fault trees. Reliability Engineering and System Safety, 2002. 27
15. Esterel Technologies. Scade suite for safety-critical software development. www.esterel-technologies.com/scade/. 19
16. A. Pnueli Z. Manna. Temporal Verification of Reactive Systems – Safety. Springer Verlag, 1995. 25, 29