, Dependable Computing and Fault-Tolerant Systems Series, vol.5, pp.3-211, 1992.

C. En, Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS), European Committee for Electrotechnical Standardization (CENELEC, 1997.

C. En, Railway Applications: Software for Railway Control and Protection Systems, European Committee for Electrotechnical Standardization (CENELEC), 1997.

, Railway Applications: Safety Related Electronic Systems for Signalling, European Committee for Electrotechnical Standardization (CENELEC), vol.50129, 1998.

, Software for Computers in the Safety Systems of Nuclear Power Stations, International Electrotechnical Commission (IEC), IEC, vol.60880, 1986.

, Certification Considerations for Highly-Integrated or Complex Aircraft Systems, Society of Automotive Engineers (SAE), vol.4754, 1996.

, Software Considerations in Airborne Systems and Equipment Certification, DO178B/ED12B, Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), 1992.

, IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic SafetyRelated Systems, Parts 1 to 7, International Electrotechnical Commission (IEC), pp.1998-1999

, ITSEC: Information Technology Security Evaluation Criteria, pp.92-826, 1991.

, Common Criteria for Information Technology Security Evaluation, Common Criteria Implementation Board, Version 2.0, CCIB-98-026, 1998.

P. Corneillie, S. Moreau, C. Valentin, J. Goodson, A. Hawes et al., SQUALE Dependability Assessment Criteria, vol.98456, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01911685