, Functional Safety of Electrical/ Electronic/Programmable Electronic Safety-related Systems, IEC International Electrotechnical Commission, vol.61508, 2000.
, Certification Considerations for Highly-Integrated Or Complex Aircraft Systems, Aerospace Recommended Practice (ARP) by Society of Automotive Engineers (SAE), 1996.
, Hazard and operability studies (HAZOP studies) -Application guide, IEC 61882, 2001.
, Analysis techniques for system reliability ? Procedure for failure mode and effects analysis (FMEA), IEC International Electrotechnical Commission, vol.60812, 2006.
, Fault Tree Handbook with Aerospace Applications, 2002.
, Survey of Model-Based Systems Engineering (MBSE) Methodologies, " Rev A, Incose MBSE Focus Group, 2007.
, Object Management Group. OMG Systems Modeling Language, 1st Sept, 2007.
, A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.132-141, 2010.
DOI : 10.1109/HASE.2010.24
, The AltaRica 3.0 project for Model-Based Safety Assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01789435
, , 2013.
, Compositional Temporal Fault Tree Analysis, Lecture Notes in Computer Science, vol.4680, pp.106-119, 2007.
DOI : 10.1007/978-3-540-75101-4_12
, The FSAP/NuSMV-SA Safety Analysis Platform, International Journal on Software Tools for Technology Transfer, vol.23, issue.9, pp.1-5, 2007.
DOI : 10.1109/2.58215
, The AltaRica language and its semantics, Fundamenta Informaticae, pp.109-124, 2000.
, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, vol.95, issue.4, pp.431-450, 2010.
DOI : 10.1016/j.ress.2009.11.015
URL : https://hal.archives-ouvertes.fr/hal-00528802
,