Imperfect Coverage Models: Status and Trends. Handbook of Performability Engineering, pp.321-348, 2008. ,
System Dependability-Safety Modeling in Abstraction Levels, 2010. ,
Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, issue.1, pp.11-33, 2004. ,
Preliminary System Safety Analysis with Limited Depth Markov Chain Generation, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013. ,
DOI : 10.3182/20130904-3-uk-4041.00032
URL : https://hal.archives-ouvertes.fr/hal-00859173/document
Automated generation of partial Markov chain from high level descriptions, Reliability Engineering & System Safety, vol.139, pp.179-187, 2015. ,
DOI : 10.1016/j.ress.2015.02.009
URL : https://hal.archives-ouvertes.fr/hal-01238630
Safety Interfaces for Component-Based Systems, Lecture Note For Computer ScienceLNCS), vol.3688, pp.246-260, 2007. ,
DOI : 10.1007/11563228_19
Tool support for incremental FMEA of component based systems, Design, Automation and Test in Europe, pp.921-927, 2008. ,
Open-PSA Model Exchange format, 2008. ,
Advanced PFH calculations for safety integrity systems with high diagnostic, 2009 XXII International Symposium on Information, Communication and Automation Technologies, 2009. ,
DOI : 10.1109/ICAT.2009.5348449
Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models, uropean Safety and Reliability Conference (ESREL), 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00579523
New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.87, issue.2, pp.75-86, 2010. ,
DOI : 10.1243/1748006XJRR278
Reliability performance of safety instrumented systems: A common approach for both low- and high-demand mode of operation, Reliability Engineering & System Safety, vol.96, issue.3, pp.365-373, 2011. ,
DOI : 10.1016/j.ress.2010.11.007
The deployment of ISO26262 in Valeo, 2013. ,
Architectural metrics calculation, an efficient approach, 2013. ,
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams, Reliability Engineering & System Safety, vol.93, issue.7, pp.1025-1035, 2008. ,
DOI : 10.1016/j.ress.2007.05.002
FPTC: Automated Safety Analysis for Domain-Specific Languages, Lecture Notes in Computer ScienceLNCS), vol.1, issue.3, pp.229-242, 2009. ,
DOI : 10.1049/sej.1986.0018
A Method and tool for Model Based Semi-automated FMEA of Engineering Designs, 2004. ,
Automating FMEA of Safety critical Systems, 2005. ,
Dynamic Fault Trees: a library for AltaRica Next Generation. s.l, p.17, 2010. ,
The Flame System : Automated Electrical FMEA. Reliability and Maintainability Symposium, pp.90-95, 1995. ,
The AltaRica 3.0 project for Model-Based Safety Assessment, 2013. ,
An Experimental Study on Six Algorithms to Compute Transient Solutions of Large Markov Systems. Reliability Engineering and System Safety, pp.105-115, 2004. ,
XFTA -An OpenPSA Fault Tree Engine. s.l.:s.n, 2012. ,
A practical Approach to Calculation of ISO 26262 Metrics for ASIL C/D Critical Systems. s.l, 2012. ,
Failure mode and effects analysis through knowledge modeling, Journal of Materials Processing Technology, pp.153-154, 2004. ,
Building Knowledge Bases in the Dependability Field with Open-source Environment "Visual Figaro, 2008. ,
An automatic FMEA technique for processes defined in the the Little-JIL Process definition, International Conference on Software Engineering & Knowledge Engineering, 2010. ,
Overview of Record Linkage and Current Research Directions, 2006. ,
Reliability analysis of safety systems using Markov-chain modelling, 2005 European Conference on Power Electronics and Applications, pp.10-20, 2005. ,
DOI : 10.1109/EPE.2005.219620
SAFETY-INTEGRITY LEVEL MODEL FOR SAFETY-RELATED SYSTEMS IN DYNAMIC DEMAND STATE, Advanced Reliability Modeling, pp.577-584, 2004. ,
DOI : 10.1142/9789812702685_0073
Availability of systems with self-diagnostic components --applying Markov model to IEC 61508-6. Reliability Engineering and System Safety, pp.133-141, 2003. ,