ESACS Related Links : General Documentation
Certification Bodies Documentation
ESACS Partners Online Documentation
- IRST :
- ONERA, LaBRI and IML :
- 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