Licensing reliable embedded software for safety-critical applications

Real-Time Systems

Volumn 28, Issue 2-3 SPEC. ISS., 2004, Pages 217-236

  Saglietti, Francesca ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Embedded software; Expert judgment; Pre developed component; Process quality; Product quality; Safety applications; Software certification; Software licensing; Software reliability

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEMS; DECISION MAKING; ERROR ANALYSIS; PRODUCT DEVELOPMENT; QUALITY CONTROL; STANDARDIZATION; STATISTICAL METHODS;

EMBEDDED SOFTWARES; PROCESS QUALITY; SAFETY APPLICATIONS; SOFTWARE RELIABILITY;

EMBEDDED SYSTEMS;

EID: 6944249311     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:TIME.0000045318.83240.86     Document Type: Review

References (23)

1. Boehm, B., and Turner, R. 2003. Using risk to balance agile and plan-driven methods. IEEE Computer June: 57-66.
2. Ehrenberger, W. 2002. Software-Verifikation. Hanser-Verlag. ISBN 3446216243.
3. European Committee for Electro-technical Standardization (CENELEC). 2001. Railway applications: software for railway control and protection systems, European Norm EN 50128.
4. Grams, T. 1998. Bedienfehler und ihre Ursachen. Automatisierungstechnik Praxis 40(3): 4.
5. Halang, W., and Saglietti, F. 2002. Cognitive ergonomics oriented design of safety related control software. In Bagnara, S., Pozzi, S., Rizzo, A., and Wright, P. (eds), Proceedings of the 11th European Conference on Cognitive Ergonomics (ECCE 11). Consiglio Nazionale delle Ricerche, Istituto di Scienze e Tecnologie della Cognizione.
6. International Electro-technical Commission (IEC). 1986. Software for Computers in the Safety Systems of Nuclear Power Stations. International Standard IEC 60880 - Ed. 1.0 (in progress: Nuclear Power Plants - Instrumentation and Control Systems Important to Safety - Software aspects for computer-based systems performing category A functions. Draft of International Standard IEC 60880 - Ed. 2.0).
7. International Electro-technical Commission (IEC). 1986. Software for Computers in the Safety Systems of Nuclear Power Stations. International Standard IEC 60880 - Ed. 1.0 (in progress: Nuclear Power Plants - Instrumentation and Control Systems Important to Safety - Software aspects for computer-based systems performing category A functions. Draft of International Standard IEC 60880 - Ed. 2.0).
8. International Electro-technical Commission (IEC). 1993. Nuclear Power Plants - Instrumentation and Control Systems Important for Safety - Classification. International Standard IEC 61226.
9. International Electro-technical Commission (IEC). 1998. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, Part 3: Software Requirements. International Standard IEC 61508-3.
10. International Electro-technical Commission (IEC). 2003. Functional Safety: Instrumented Systems for the Process Industry Sectors. International Standard IEC 61511.
11. International Electro-technical Commission (IEC). 2004a. Nuclear Power Plants - Instrumentation and Control important for Safety - Software aspects for computer-based systems performing category B or C functions. International Standard IEC 62138.
12. International Electro-technical Commission (IEC). 2004b. Safety of Machinery - Functional Safety of Safety-Related Electrical, Electronic and Programmable Electronic Control Systems. Final Draft International Standard IEC 62061 FDIS.
13. International Electro-technical Commission (IEC). 2004c. Medical Device Software - Software Life-cycle Processes. Committee Draft IEC 62304 CD.
14. Lions, J. L. 1996. ARIANE 5 Flight 501 Failure. Report by the Enquiry Board. European Space Agency (ESA).
15. Motor Industry Software Reliability Association (MISRA). 1994. Development Guidelines for Vehicle-Based Software. Motor Industry Research Association (MIRA).
16. Oberg, J. 1999. Why the Mars Probe went off course, IEEE Spectrum.
17. Oster, N. 2004. A data flow approach to testing object-oriented java-programs, In Spitzer, C., Schmocker, U., and Dang V. N. (eds) Probabilistic Safety Assessment and Management. Springer-Verlag.
18. Palluch, J., Weiß, S., and Saglietti, F. 2004. A technique to improve the quality of software requirements in natural language. In Proceedings of the Workshop on Real-Time Programming (WRTP'04).
19. Rivett, R. S. 1997. Emerging Software Best Practice and how to be Compliant. In Proceedings of the 6th European Automotive Congress (EAEC).
20. Saglietti, F. 2000. Evaluation of pre-developed software for usage in safety-critical systems, In 26th Euromicro Conference, Software Process and Product Improvement (EUROMICRO 2000). Institute of Electrical and Electronics Engineers (IEEE).
21. Saglietti, F., and Jung, M. 2004. Classification, analysis and detection of interface inconsistencies in safety-relevant component-based systems. In Spitzer, C., Schmocker, U., and Dang V. N. (eds), Probabilistic Safety Assessment and Management. Springer-Verlag.
22. Stephenson, A.G. 1999. Mars Climate Orbiter Mishap Investigation Board, Phase I Report.
23. US Food and Drug Administration (FDA). 1999. Guidance for Industry, FDA Reviewers and Compliance on Off-the-Shelf Software Use in Medical Devices. Center for Devices and Radiological Health.