Software safety certification: A multidomain problem

IEEE Software

Volumn 16, Issue 4, 1999, Pages 31-38

  Rodríguez Dapena, Patricia ^a  

^a EUROPEAN SPACE AGENCY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CENTURY YEAR PROBLEM; COMPUTER SOFTWARE SELECTION AND EVALUATION; LAWS AND LEGISLATION; QUALITY ASSURANCE;

SOFTWARE SAFETY CERTIFICATION;

SOFTWARE ENGINEERING;

EID: 0345044914     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.776946     Document Type: Article

References (12)

1. EN 45020:1993 General Terms and Definitions Concerning Standardization and Related Activities, CEN, Brussels, 1993.
2. ISO 8402:1994 Quality Management and Quality Assurance - Vocabulary, ISO, Geneva, 1994.
3. SCOPE: Esprit 2151 (Esprit Second Framework Programme), Software Certification on Program in Europe, DGIII, European Commission, Brussels.
4. Def Stan 00-55, Requirements for Safety-Related Software in Defence Equipment, Issue 2, British Defence Standards, Ministry of Defence, Glasgow, 1997.
5. N. Leveson, Safeware: System Safety and Computers, Addison Wesley Longman, Reading, Mass., 1995.
6. J.L. Lions, "Ariane 5 Flight 501 Failure: Report of the Inquiry Board," Paris, 19 July 1996, http://www.esrin.esa.it/htdocs/ tidc/press/press96/ariane5rep.html.
7. ISO/IEC International Standard 12207, Information Technology-Software Life-Cycle Processes, ISO/IEC, Geneva, 1995.
8. RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, RTCA, Washington DC, 1992.
9. ECSS standards series, European Cooperation for Space Standardization, ESA Publications Division, http://www.estec. esa.nl/ecss/.
10. FAA Streamlining Software Aspects of Certification, Tech. Report NASA/TM-1998-207648, 1998, http://shemesh.larc.nasa.gov/ ssac/workshop2.html.
11. Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems. NASA-GB-001-97, http://eis.jpl.nasa.gov/quality/Formal_Methods/.
12. P.V. Bhansali, "Universal Safety Standard Is Infeasible - For Now," IEEE Software, Mar. 1996, pp. 8, 10.