Introduction to Safety Critical Systems

Chapter

Abstract

Today’s software-intensive Safety-critical Systems (SCSs) are required to cover a wide range of functionalities, to do it in a safe way, and to be developed under stringent time and cost constraints. That is the challenge which the Critical Step project dealt with. In the following, an overview of the main concepts, challenges, and currently implemented solutions in SCSs development is presented.

Keywords

Certification RAMS Verification and validation 

References

  1. 1.
    Leveson, N.G.: The role of software in spacecraft accidents. AIAA J. Spacecraft Rockets 41, 564–575 (2004)CrossRefGoogle Scholar
  2. 2.
    Calzarossa, M.C., Tucci, S.: Performance evaluation of complex systems: techniques and tools. In: Calzarossa, M.C., Tucci, S. (eds.) performance 2002 tutorial lectures. Lecture Notes in Computer Science, vol. 2459, pp. 208–235. Springer, Berlin (2002)Google Scholar
  3. 3.
    European Organization for the Safety of Air Navigation: Review of Techniques to Support the EATMP Safety Assessment Methodology I (2004)Google Scholar
  4. 4.
    European Cooperation on Space Standardization (ECSS): ECSS-Q-HB-80-03 Draft (2012)Google Scholar
  5. 5.
    CENELC: EN 50128:2011—Railway applications—Communication, signalling and processing systems—Software for railway control and protection systems (2011)Google Scholar
  6. 6.
    Amberkar, S., Czerny, B.J., D’Ambrosio, J.G., Demerly, J.D., Murray, B.T.: A Comprehensive Hazard Analysis Technique for Safety-Critical Automotive Systems. SAE Technical Paper Series (2001)Google Scholar
  7. 7.
    Pentti, H., Atte, H.: Failure Mode and Effects Analysis of software-based automation systems. VTT Industrial Systems 190 (2002)Google Scholar
  8. 8.
    Grottke, M., Trivedi, K.S.: Fighting bugs: remove, retry, replicate, and rejuvenate. IEEE Comput. 40(2), 107–109 (2007)CrossRefGoogle Scholar
  9. 9.
    Vesely, W.: Fault Tree Handbook with Aerospace Applications. NASA office of safety and mission assurance, Version 1.1 (2002)Google Scholar
  10. 10.
    Stephens, R.A., Talso, W.: System safety analysis handbook: a source book for safety practitioners. In: Stephans, R., Talso, W. (eds.) System Safety Society, 2nd edn. Albuquerque, NM (1997)Google Scholar
  11. 11.
    Von Hoegen, M.: Product assurance requirements for first/Planck scientific instruments. PTRQ-04410, Number 1 (1997)Google Scholar
  12. 12.
    Pezze’, M., Young, M.: Software Testing and Analysis: Process, Principles and Techniques. Wiley, New York (2007)Google Scholar
  13. 13.
    RTCA and EUROCAE: Software consideration in airborne systems and equipment certification (1992)Google Scholar

Copyright information

© Springer-Verlag Italia 2013

Authors and Affiliations

  1. 1.Dipartimento di Informatica e Sistemistica (DIS)Università di Napoli Federico IINaplesItaly
  2. 2.Consorzio Interuniversitario Nazionale per l’Informatica (CINI)Complesso Universitario Monte Sant’AngeloNaplesItaly

Personalised recommendations