This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
From Natural Language to Semi-Formal Notation Requirements for Automotive Safety
Technical Paper
2015-01-0265
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The standard ISO 26262 stipulates a “top-down” approach based on the process “V” model, by conducting a hazard analysis and risk assessment to determine the safety goals, and subsequently derives the safety requirements down to the appropriate element level. The specification of safety goals is targeted towards identified hazardous events, whereas the classification of safety requirements does not always turn out non-ambiguous. While requirement formalization turns out to be advantageous, the translation from natural language to semi-formal requirements, especially in context of ISO 26262, poses a problem. In this publication, a new approach for the formalization of safety requirements is introduced, targeting the demands of safety standard ISO 26262. Its part 8, clause 6 (“Specification and management of safety requirements”) has no dedicated work product to accomplish this challenging task. The five levels of requirements for writing safety requirements are distributed throughout the standard, increasing the probability of misapplication. For these reasons, a dedicated requirement template is proposed. It is applicable for writing new or checking existing requirements, independent of any tool. By reviewing a number of industrial relevant use cases the applicability of the new template is verified and its effectiveness is demonstrated. Furthermore, a semi-formal notation technique is shown to express these formalized requirements, including their associated attributes and resulting relationships. By following the proposed approach, we meet the obligations of ISO 26262 to write e.g. unambiguous, consistent, verifiable, and complete requirements. In the end, this has the potential to dramatically reduce the probability of systematic failures during development of automotive embedded systems.
Recommended Content
Authors
Citation
Krammer, M., Stirgwolt, P., and Martin, H., "From Natural Language to Semi-Formal Notation Requirements for Automotive Safety," SAE Technical Paper 2015-01-0265, 2015, https://doi.org/10.4271/2015-01-0265.Also In
References
- Hull E. , Jackson K. , and Dick J. Requirements Engineering 3rd Springer 2011
- Pohl K. and Rupp C. Requirements Engineering Fundamentals: A Study Guide for the Certified Professional for Requirements Engineering Exam - Foundation Level - IREB compliant US O'Reilly 2011
- Bahill A. T. and Henderson S. J. Requirements development, verification, and validation exhibited in famous failures Systems Engineering 8 1 1 14 2005
- Broy M. Challenges in automotive software engineering Proceeding of the 28th international conference on Software engineering ICSE 06 2006 33 2006
- Stirgwolt P. Getting Automotive Safety Integration (ASIL) Level Right From The Top Down For The Standard ISO 26262 Inside Functional Safety 2010
- Stirgwolt P. Effective management of functional safety for ISO 26262 standard Reliability and Maintainability Symposium (RAMS) 2013
- Sternudd P. Unambiguous requirements in Functional Safety and ISO 26262: dream or reality? 2011
- Farfeleder S. , Moser T. , Krall A. , Stalhane T. , Zojer H. , and Panis C. DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 271 274 Apr. 2011
- Farfeleder S. , Moser T. , Krall A. , Ståalhane T. , Omoronyia I. , and Zojer H. Ontology-driven guidance for requirements elicitation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2011 6643 LNCS 212 226
- Robertson S. and Robertson J. Mastering the Requirements Process: Getting Requirements Right Third Addison-Wesley 2012
- Helming J. , Koegel M. , Schneider F. , Haeger M. , Kaminski C. , Bruegge B. , and Berenbach B. Towards a unified Requirements Modeling Language Requirements Engineering Visualization (REV), 2010 Fifth International Workshop on 2010
- Schneider F. , Naughton H. , and Berenbach B. A modeling language to support early lifecycle requirements modeling for systems engineering Procedia Computer Science 8 201 206 Jan. 2012
- Selic B. A Systematic Approach to Domain-Specific Language Design Using UML 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) 2 9 May 2007
- Systems Modeling Language (OMG SysML) - Version 1.3 OMG Standard 2012