Skip to main content
SpringerLink
Log in

Licensing Reliable Embedded Software for Safety-Critical Applications

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

This article offers an overview on existing approaches for assessing the reliability of complex software with safety demands. It addresses both inherent difficulties as well as observable trends towards international standardized procedures. The contribution distinguishes between product-based and process-based quality indicators and comments on the applicability of existing techniques to evaluate them qualitatively and quantitatively. In particular, it focusses on licensing the re-use of pre-developed software components. In the light of lessons learnt from real-world accidents it proposes to adopt a procedure supporting the re-usability of component certification when licensing software systems for new safety applications.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Boehm, B., and Turner, R. 2003. Using risk to balance agile and plan-driven methods. IEEE Computer June: 57–66.

  • Ehrenberger, W. 2002. Software-Verifikation. Hanser-Verlag. ISBN 3446216243.

  • European Committee for Electro-technical Standardization (CENELEC). 2001. Railway applications: software for railway control and protection systems, European Norm EN 50128.

  • Grams, T. 1998. Bedienfehler und ihre Ursachen. Automatisierungstechnik Praxis 40(3): 4.

    Google Scholar 

  • 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.

  • 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).

  • International Electro-technical Commission (IEC). 1993. Nuclear Power Plants—Instrumentation and Control Systems Important for Safety—Classification. International Standard IEC 61226.

  • 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.

  • International Electro-technical Commission (IEC). 2003. Functional Safety: Instrumented Systems for the Process Industry Sectors. International Standard IEC 61511.

  • 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.

  • 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.

  • International Electro-technical Commission (IEC). 2004c. Medical Device Software—Software Life-cycle Processes. Committee Draft IEC 62304 CD.

  • Lions, J. L. 1996. ARIANE 5 Flight 501 Failure. Report by the Enquiry Board. European Space Agency (ESA).

  • Motor Industry Software Reliability Association (MISRA). 1994. Development Guidelines for Vehicle-Based Software. Motor Industry Research Association (MIRA).

  • Oberg, J. 1999. Why the Mars Probe went off course. IEEE Spectrum.

  • 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.

  • 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).

  • Rivett, R. S. 1997. Emerging Software Best Practice and how to be Compliant. In Proceedings of the 6th European Automotive Congress (EAEC).

  • 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).

  • 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.

  • Stephenson, A. G. 1999. Mars Climate Orbiter Mishap Investigation Board, Phase I Report.

  • 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.

Download references

Author information

Authors and Affiliations

  1. Department of Software Engineering, University of Erlangen-Nürnberg, Martensstr. 3, 91058, Erlangen, Germany

    Francesca Saglietti

Authors
  1. Francesca Saglietti
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Saglietti, F. Licensing Reliable Embedded Software for Safety-Critical Applications. Real-Time Systems 28, 217–236 (2004). https://doi.org/10.1023/B:TIME.0000045318.83240.86

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:TIME.0000045318.83240.86

Search

Navigation