, Dependable Computing and Fault-Tolerant Systems Series, vol.5, pp.3-211, 1992.
Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS), European Committee for Electrotechnical Standardization (CENELEC, 1997. ,
, 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.
, SQUALE Dependability Assessment Criteria, vol.98456, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01911685