Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform, Proceedings of the 22 nd International Conference on Computer Safety, Reliability and Security, pp.49-62, 2003. ,
FIACRE: an intermediate language for model verification in the TOPCASED environment http://www.see.asso.fr, janvier A Framework for Qualitative and Quantitative Model- Based Safety Analysis Model-Based Multi-Objective Safety Optimization Using Deductive Cause Consequence Analysis (DCCA) with SCADE, European Congress on Embedded Real-Time Software (ERTS 2008) Proceedings of the 12 th High Assurance System Engineering Symposium Proceedings of the 30 th International Conference on Computer Safety, Reliability and Security Proceedings of the 26 th International Conference on Computer Safety, Reliability and SecurityGüd11] M. Güdemann. Qualitative and Quantitative Formal Model-Based Safety Analysis, 2007. ,
A Markov Chain Model Checker, Proceedings of the 6 th International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp.347-362, 2000. ,
DOI : 10.1007/3-540-46419-0_24
A PROPOSAL FOR MODEL-BASED SAFETY ANALYSIS, 24th Digital Avionics Systems Conference, 2005. ,
DOI : 10.1109/DASC.2005.1563469
Failure-based testing of safety-critical embedded systems, 2011. ,
The Ins and Outs of the Probabilistic Model Checker MRMC. Performance Evaluation Formal Failure Models, Proceedings of the 1 st IFAC Workshop on Dependable Control of Discrete Systems, pp.167-176, 2007. ,
Deductive Cause-Consequence Analysis (DCCA) [Par07] T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages, Proceedings of the 16 th IFAC World Congress, 2006. ,
The TOPCASED Project -A Toolkit in OPen-source for Critical Applications and SystEm Development, Data Systems In Aerospace (DASIA), 2006. ,