Advertisement

What Is Safety-Critical Software?

  • Geir Kjetil Hanssen
  • Tor Stålhane
  • Thor Myklebust
Chapter

Abstract

What This Chapter Is About
  • We give a short introduction to IEC 61508 and a definition of safety-critical software.

  • We discuss briefly the challenges posed by the safety-standards relating to the development of safety-critical software—especially the RAMS characteristics.

  • Some security issues and issues related to testing are discussed briefly.

  • Some issues related to resilience and why resilience and agile development go together so well.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Black, S., Boca, P. P., Bowen, J. P., Gorman, J., & Hinchey, M. (2009). Formal versus agile: Survival of the fittest. Computer, 42(9), 37–45.CrossRefGoogle Scholar
  2. 2.
    Dove, R. (2010). Pattern qualifications and examples of next-generation agile system-security strategies. In Security Technology (ICCST), 2010 I.E. International Carnahan Conference. IEEE.Google Scholar
  3. 3.
    Storey, M. A. D., Fracchia, F. D., & Müller, H. A. (1999). Cognitive design elements to support the construciton of a mental model during software exploration. Journal of Systems and Software, 44, 171–185.CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Geir Kjetil Hanssen
    • 1
  • Tor Stålhane
    • 2
  • Thor Myklebust
    • 1
  1. 1.Software Engineering, Safety and SecuritySINTEF DigitalTrondheimNorway
  2. 2.NTNUTrondheimNorway

Personalised recommendations