ESACS Related Links : General Documentation

Certification Bodies Documentation

• JAA: JAR25
• FAA : FAA System Safety Handbook - Dec 30, 2000

ESACS Partners Online Documentation

• IRST :
  • A. Cimatti, E. Clarcke, F. Giunchiglia, M. Roveri,"NuSMV: A New Symbolic Model Verifier" (short version)
  • A. Cimatti, E. Clarcke, F. Giunchiglia, M. Roveri,"NuSMV: A New Symbolic Model Verifier" (extended version).
• ONERA, LaBRI and IML :
  • C. Castel, C. Seguin. "Application of the Altarica approach to avionics systems", Avionic System Tutorial, FM99, Toulouse, France, 1999.
  • NEW[10/07/02] A. Rauzy. "Modes automata and their compilation into fault trees." Reliability Engineering and System Safety, 2002. To appear.
• Prover :
  • O. Akerlund, S. Nadjm-Tehrani, G. Staalmarck, "Integration of Formal Methods into System Safety and Reliability Analysis", 17th International System Safety Conference, August 1999.
  • O. Akerlund, "Safety Correctness and Reliability Analysis using Formal Methods"Linkoping University Technical Report LiTH-IKP-I-259, 2000.
  • J. Deneux, "Automated Fault Tree Analysis", Master Thesis, Uppsala University, 2001. (in postcript format)
• OFFIS :
  • Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, and Peter Jansen. "Verification of automotive control units". In Ernst-Rüdiger Olderog and Bernd Steffen, editors, Correct System Design, volume 1710 of LNCS, pages 319-341. Springer Verlag, 1999.
  • Tom Bienmüller, Udo Brockmeyer, Werner Damm, Gert Döhmen, Claus Eßmann, Hans-Jürgen Holberg, Hardi Hungar, Bernhard Josko, Rainer Schlör, Gunnar Wittich, Hartmut Wittke, Geoffrey Clements, John Rowlands, and Eric Sefton. "Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking". In Felix Redmill and Tom Anderson, editors, Towards System Safety -- Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, pages 150-173. Safety-Critical Systems Club, Springer, 1999.
• EADS :
  • Yiannis I. Papadopoulos and Matthias Maruhn, SETTA (Systems Engineering for Time Triggered Architectures) project deliverable, march 2001.
  • Yiannis I. Papadopoulos and Matthias Maruhn,"Model-Based Synthesis of Fault Trees from Matlab-Simulink Models",Proceedings International Conference on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden, June 30th - July 4th, 2001
  • Yiannis I. Papadopoulos, J. McDermid, R. Sasse, G. Heiner,"Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure", In Reliability Engineering ans System Safety 71, 2001.

Bibliographic references

• NEW[15/07/02] Dynamic Fault Trees