Skip to main content

2021 | OriginalPaper | Buchkapitel

12. Requirements for Safety-Critical Systems

verfasst von : Ivo Häring

Erschienen in: Technical Safety, Reliability and Resilience

Verlag: Springer Singapore

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The identification of existing safety functions of legacy systems, the determination of requirements for standard safety functions, and especially the development of innovative and resource-efficient new safety functions are key for the development of efficient and sustainable safety-relevant or safety-critical systems. For instance, it is not yet clear which functions of autonomous driving can be considered as reliability functions (intended functions) and which need to be considered as safety-critical functions, or both. In this case, it is obvious that tremendous economic, societal, and individual interests drive such safety-critical system developments and introductions. An example of an attempt to standardize parts of the verification and validation of automotive intended system functions is given by the Safety of the Intended Functionality standard ISO/PAS 21448, which is complementary to ISO 26262, itself an application standard of IEC 61508. Safety-related function development implementation even in standard situations needs approximately doubled resources when compared to standard developments. Therefore, it is important to identify sufficient, resource-efficient, economically, societally, and legally accepted safety functions. This includes to take advantage of any possible innovations to develop them. To this end, this chapter introduces properties (dimensions, aspects) of safety requirements. Several, mostly pairwise adjectives are listed with which safety requirements can be classified. Examples for safety function dimensions include active and passive; abstract and concrete; technical and non-technical; qualitative and quantitative; time-critical and not time-critical; static and dynamic; active and passive; pre-, during, and post-hazard event; cause and effect oriented; generating risk control or improving resilience; standardized and non-standardized; module and system specific; and intelligent and non-intelligent. Such safety functions might be very successful but not yet used, e.g., due to past technological gaps. Examples for safety requirements and classifications are provided. It is concluded which combinations of properties are likely to appear and which are not yet often used offering potentials for innovations.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Antón, A. (1997). Goal Identification and Refinement in the Specification of Information Systems. PhD. Antón, A. (1997). Goal Identification and Refinement in the Specification of Information Systems. PhD.
Zurück zum Zitat Beyer, D. (2002). Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata. Berlin, Mensch & Buch Verlag. Beyer, D. (2002). Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata. Berlin, Mensch & Buch Verlag.
Zurück zum Zitat Bitsch, F. and P. Göhner (2002). Spezifikation von Sicherheitsanforderungen mit Safety-Patterns. Software Engineering in der industriellen Praxis. Düsseldorf, VDI Verlag GmbH. Bitsch, F. and P. Göhner (2002). Spezifikation von Sicherheitsanforderungen mit Safety-Patterns. Software Engineering in der industriellen Praxis. Düsseldorf, VDI Verlag GmbH.
Zurück zum Zitat Buschermöhle, R., M. Brörkens, I. Brückner, W. Damm, W. Hasselbring, B. Josko, C. Schulte and T. Wolf (2004). “Model Checking - Grundlagen und Praxiserfahrungen.” Informatik-Spektrum 27(2): 146–158. Buschermöhle, R., M. Brörkens, I. Brückner, W. Damm, W. Hasselbring, B. Josko, C. Schulte and T. Wolf (2004). “Model Checking - Grundlagen und Praxiserfahrungen.” Informatik-Spektrum 27(2): 146–158.
Zurück zum Zitat Civil Aviation Authority (2003). CAP 670 - Air Traffic Services Safety Requirements. London, Civil Aviation Authority. Civil Aviation Authority (2003). CAP 670 - Air Traffic Services Safety Requirements. London, Civil Aviation Authority.
Zurück zum Zitat DIN EN 418 (1993). NOT-AUS-Einrichtung, funktionelle Aspekte, Gestaltungsleitsätze. D. E.-S. v. Maschinen. Berlin, Beuth Verlag GmbH. DIN EN 418 (1993). NOT-AUS-Einrichtung, funktionelle Aspekte, Gestaltungsleitsätze. D. E.-S. v. Maschinen. Berlin, Beuth Verlag GmbH.
Zurück zum Zitat DIN EN ISO 12100 (2004). Teil 2: Technische Leitsätze. DIN EN ISO 12100 - Sicherheit von Maschinen - Grundbegriffe, allgemeine Gestaltungsleitsätze. Berlin, Beuth Verlag GmbH. DIN EN ISO 12100 (2004). Teil 2: Technische Leitsätze. DIN EN ISO 12100 - Sicherheit von Maschinen - Grundbegriffe, allgemeine Gestaltungsleitsätze. Berlin, Beuth Verlag GmbH.
Zurück zum Zitat DIN IEC 61508 (2005). Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme, Teile 0 - 7. DIN. Berlin, Beuth Verlag. DIN IEC 61508 (2005). Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme, Teile 0 - 7. DIN. Berlin, Beuth Verlag.
Zurück zum Zitat Ehrenberger, W. (2002). Software-Verifikation - Verfahren für den Zuverlässigkeitsnachweis von Software. Munich, Vienna, Carl Hanser Verlag. Ehrenberger, W. (2002). Software-Verifikation - Verfahren für den Zuverlässigkeitsnachweis von Software. Munich, Vienna, Carl Hanser Verlag.
Zurück zum Zitat European Directive 70/311/EWG (1970). Angleichung der Rechtsvorschriften der Mitgliedstaaten über die Lenkanlagen von Kraftfahrzeugen und Kraftfahrzeuganhängern. Richtlinie 70/311/EWG Luxemburg, Der Rat der Europäischen Gemeinschaften. European Directive 70/311/EWG (1970). Angleichung der Rechtsvorschriften der Mitgliedstaaten über die Lenkanlagen von Kraftfahrzeugen und Kraftfahrzeuganhängern. Richtlinie 70/311/EWG Luxemburg, Der Rat der Europäischen Gemeinschaften.
Zurück zum Zitat European Directive 97/23/EG (1997). Anhang I - Grundlegende Sicherheitsanforderungen, Das Europäische Paralament und der Rat der Europäischen Union. European Directive 97/23/EG (1997). Anhang I - Grundlegende Sicherheitsanforderungen, Das Europäische Paralament und der Rat der Europäischen Union.
Zurück zum Zitat Firesmith, D. G. (2004). “Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements.” Journal of Object Technology 3(3): 27–42. Firesmith, D. G. (2004). “Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements.” Journal of Object Technology 3(3): 27–42.
Zurück zum Zitat Fontan, B., L. Apvrille, P. d. Saqui-Sannes and J. P. Courtiat (2006). Real-Time and Embedded System Verification Based on Formal Requirements. IEEE Symposium on Industrial Embedded Systems (IES'06). Antibes, France. Fontan, B., L. Apvrille, P. d. Saqui-Sannes and J. P. Courtiat (2006). Real-Time and Embedded System Verification Based on Formal Requirements. IEEE Symposium on Industrial Embedded Systems (IES'06). Antibes, France.
Zurück zum Zitat Freitas, E. P., M. A. Wehrmeister, C. E. Pereira, F. R. Wagner, E. T. S. Jr. and F. C. Carvalho (2007). Using Aspect-oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems. IFIP International Federation for Information Processing. Boston, Springer. Freitas, E. P., M. A. Wehrmeister, C. E. Pereira, F. R. Wagner, E. T. S. Jr. and F. C. Carvalho (2007). Using Aspect-oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems. IFIP International Federation for Information Processing. Boston, Springer.
Zurück zum Zitat Glinz, M. (2005). Rethinking the Notion of Non-Functional Requirements. Proceedings of the Third World Congress for Software Quality. Munich, Germany, Department of Informatics, University of Zurich. Glinz, M. (2005). Rethinking the Notion of Non-Functional Requirements. Proceedings of the Third World Congress for Software Quality. Munich, Germany, Department of Informatics, University of Zurich.
Zurück zum Zitat Glinz, M. (2006). Requirements Engineering I. Lecture Notes. Universität Zürich. Glinz, M. (2006). Requirements Engineering I. Lecture Notes. Universität Zürich.
Zurück zum Zitat Glinz, M. (2007). On Non-Functional Requirements. Proceedings of the 15th IEEE International Requirements Engineering Conference. Delhi, India, Department of Informatics, University of Zurich. Glinz, M. (2007). On Non-Functional Requirements. Proceedings of the 15th IEEE International Requirements Engineering Conference. Delhi, India, Department of Informatics, University of Zurich.
Zurück zum Zitat Grell, D. (2003). Rad am Draht - Innovationslawine in der Autotechnik. c't - magazin für computertechnik. 14. Grell, D. (2003). Rad am Draht - Innovationslawine in der Autotechnik. c't - magazin für computertechnik. 14.
Zurück zum Zitat Grunske, L. (2004). Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf. Potsdam, Hasso Plattner Institute for Software Systems Engineering, University Potsdam. Grunske, L. (2004). Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf. Potsdam, Hasso Plattner Institute for Software Systems Engineering, University Potsdam.
Zurück zum Zitat Hänle, A. (2007). Modellierung und Spezifikation von Anforderungen eines sicherheitskritischen Systems mit UML, Modeling and Specification of Requirements of a safety critical System with UML. Diploma Thesis, Hochschule Konstanz für Technik, Wirtschaft und Gestaltung (HTWG), University of Applied Sciences; Fraunhofer EMI, Efringen-Kirchen. Hänle, A. (2007). Modellierung und Spezifikation von Anforderungen eines sicherheitskritischen Systems mit UML, Modeling and Specification of Requirements of a safety critical System with UML. Diploma Thesis, Hochschule Konstanz für Technik, Wirtschaft und Gestaltung (HTWG), University of Applied Sciences; Fraunhofer EMI, Efringen-Kirchen.
Zurück zum Zitat Hänle, A. and I. Häring (2008). UML safety requirement specification and verification. Safety Reliablity and Risk Analysis: Theory, Methods and Applications, European Safety and Reliablity Conference (ESREL) 2008. S. Martorell, C. G. Soares and J. Barett. Valencia, Spain, Taylor and Franzis Group, London. 2: 1555–1563. Hänle, A. and I. Häring (2008). UML safety requirement specification and verification. Safety Reliablity and Risk Analysis: Theory, Methods and Applications, European Safety and Reliablity Conference (ESREL) 2008. S. Martorell, C. G. Soares and J. Barett. Valencia, Spain, Taylor and Franzis Group, London. 2: 1555–1563.
Zurück zum Zitat Hull, E., K. Jackson and J. Dick (2004). Requirements Engineering, Springer. Hull, E., K. Jackson and J. Dick (2004). Requirements Engineering, Springer.
Zurück zum Zitat IEC 61508 (1998-2005). Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. Geneva, International Electrotechnical Commission. IEC 61508 (1998-2005). Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. Geneva, International Electrotechnical Commission.
Zurück zum Zitat IEC 61508 (2010). Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems Edition 2.0 Geneva, International Electrotechnical Commission. IEC 61508 (2010). Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems Edition 2.0 Geneva, International Electrotechnical Commission.
Zurück zum Zitat IEC 61508 S+ (2010). Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems Ed. 2 Geneva, International Electrotechnical Commission. IEC 61508 S+ (2010). Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems Ed. 2 Geneva, International Electrotechnical Commission.
Zurück zum Zitat Jacobson, I., G. Booch and J. Rumbaugh (1999). Unified Software Development Process. Amsterdam, Addison-Wesley Longman. Jacobson, I., G. Booch and J. Rumbaugh (1999). Unified Software Development Process. Amsterdam, Addison-Wesley Longman.
Zurück zum Zitat Lamsweerde, A. v. (2000). Requirements Engineering in the Year 00: A Research Perspective. ICSE'2000 - 22nd International Conference on Software Engineering. Limerick, Irland, ACM Press. Lamsweerde, A. v. (2000). Requirements Engineering in the Year 00: A Research Perspective. ICSE'2000 - 22nd International Conference on Software Engineering. Limerick, Irland, ACM Press.
Zurück zum Zitat Lano, K. and J. Bicarregui (1998). Formalising the UML in Structured Temporal Theories. Second ECOOP Workshop on Precise Behavioral Semantics. Brussels, Belgium. Lano, K. and J. Bicarregui (1998). Formalising the UML in Structured Temporal Theories. Second ECOOP Workshop on Precise Behavioral Semantics. Brussels, Belgium.
Zurück zum Zitat Leveson, N. G. (1995). Safeware: System Safety and Computers. Boston, Addison-Wesley. Leveson, N. G. (1995). Safeware: System Safety and Computers. Boston, Addison-Wesley.
Zurück zum Zitat Liggesmeyer, P. (2002). Software-Qualität: Testen, Analysieren und Verifizieren von Software. Heidelberg, Berlin, Spektrum Akademischer Verlag. Liggesmeyer, P. (2002). Software-Qualität: Testen, Analysieren und Verifizieren von Software. Heidelberg, Berlin, Spektrum Akademischer Verlag.
Zurück zum Zitat Ober, I., S. Graf and I. Ober (2006). “Validating timed UML models by simulation and verification.” International Journal on Software Tools for Technology Transfer (STTT) 8(2): 128. Ober, I., S. Graf and I. Ober (2006). “Validating timed UML models by simulation and verification.” International Journal on Software Tools for Technology Transfer (STTT) 8(2): 128.
Zurück zum Zitat Ober, I., S. Ober and I. Graf (2005). “Validating timed UML models by simulation and verification.” International Journal on Software Tools for Technology Transfer (STTT). Ober, I., S. Ober and I. Graf (2005). “Validating timed UML models by simulation and verification.” International Journal on Software Tools for Technology Transfer (STTT).
Zurück zum Zitat Richtlinie 97/23/EG (1997). Anhang I - Grundlegende Sicherheitsanforderungen, Das Europäische Parlament und der Rat der Europäischen Union. Richtlinie 97/23/EG (1997). Anhang I - Grundlegende Sicherheitsanforderungen, Das Europäische Parlament und der Rat der Europäischen Union.
Zurück zum Zitat Robertson, S. and J. Robertson (1999). Mastering the Requirements Process. Amsterdam, Addison-Wesley Longman. Robertson, S. and J. Robertson (1999). Mastering the Requirements Process. Amsterdam, Addison-Wesley Longman.
Zurück zum Zitat Safety Guide NS-G-1.8 (2005). Design of Emergency Power Systems for Nuclear Power Plants. Safety Guide NS-G-1.8 - IAEA Safety Standards Series. Vienna, International Atomic Energy Agency. Safety Guide NS-G-1.8 (2005). Design of Emergency Power Systems for Nuclear Power Plants. Safety Guide NS-G-1.8 - IAEA Safety Standards Series. Vienna, International Atomic Energy Agency.
Zurück zum Zitat Safety Guide NS-G-1.12 (2005). Design of the Reactor Core for Nuclear Power Plants. Safety Guide NS-G-1.12 - IAEA Safety Standards for protecting people and the environment. Vienna, International Atomic Energy Agency. Safety Guide NS-G-1.12 (2005). Design of the Reactor Core for Nuclear Power Plants. Safety Guide NS-G-1.12 - IAEA Safety Standards for protecting people and the environment. Vienna, International Atomic Energy Agency.
Zurück zum Zitat Smarandache, I. M. and N. Nissanke (1999). “Applicability of SIGNAL in safety critical system development.” IEEE Proceedings - Software 146(2). Smarandache, I. M. and N. Nissanke (1999). “Applicability of SIGNAL in safety critical system development.” IEEE Proceedings - Software 146(2).
Zurück zum Zitat Sommerville, I. (2007). Software Engineering 8. Harlow, Pearson Education Limited. Sommerville, I. (2007). Software Engineering 8. Harlow, Pearson Education Limited.
Zurück zum Zitat Stallings, W. (2002). Betriebssysteme - Prinzipien und Umsetzung. München, Pearson Education Deutschland GmbH. Stallings, W. (2002). Betriebssysteme - Prinzipien und Umsetzung. München, Pearson Education Deutschland GmbH.
Zurück zum Zitat STANAG 4187 Ed. 3 (2001). Fuzing Systems - Safety Design Requirements. Standardization Agreements (STANAG), North Atlantic Treaty Organization (NATO), NATO Standardization Agency (NSA). STANAG 4187 Ed. 3 (2001). Fuzing Systems - Safety Design Requirements. Standardization Agreements (STANAG), North Atlantic Treaty Organization (NATO), NATO Standardization Agency (NSA).
Zurück zum Zitat Storey, N. (1996). Safety-Critical Computer Systems. Harlow, Addison Wesley. Storey, N. (1996). Safety-Critical Computer Systems. Harlow, Addison Wesley.
Zurück zum Zitat Tsumaki, T. and Y. Morisawa (2001). A Framework for Requirements Tracing using UML. Seventh Asia-Pacific Software Engineering Conference. Singapore, Republic of Singapore, Nihon Unisys. Tsumaki, T. and Y. Morisawa (2001). A Framework for Requirements Tracing using UML. Seventh Asia-Pacific Software Engineering Conference. Singapore, Republic of Singapore, Nihon Unisys.
Metadaten
Titel
Requirements for Safety-Critical Systems
verfasst von
Ivo Häring
Copyright-Jahr
2021
Verlag
Springer Singapore
DOI
https://doi.org/10.1007/978-981-33-4272-9_12