This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
An Integrated Approach to Requirements Development and Hazard Analysis
Technical Paper
2015-01-0274
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The introduction of new safety critical features using software-intensive systems presents a growing challenge to hazard analysis and requirements development. These systems are rich in feature content and can interact with other vehicle systems in complex ways, making the early development of proper requirements critical. Catching potential problems as early as possible is essential because the cost increases exponentially the longer problems remain undetected. However, in practice these problems are often subtle and can remain undetected until integration, testing, production, or even later, when the cost of fixing them is the highest.
In this paper, a new technique is demonstrated to perform a hazard analysis in parallel with system and requirements development. The proposed model-based technique begins during early development when design uncertainty is highest and is refined iteratively as development progresses to drive the requirements and necessary design features. The technique is evaluated by applying it to a realistic but generic Shift-By-Wire design concept in two iterations with varying levels of detail. In addition, as the requirements and design evolve and change over time, the changes can be immediately analyzed for new hazards without repeating the entire analysis. The approach is also applicable even before requirements are developed, providing feedback when some of the most important decisions are being made instead of waiting for a finished design or model to begin an analysis. In this way, potential issues can be identified immediately and more efficiently, thereby reducing the need for future rework.
Recommended Content
Authors
Citation
Thomas, J., Sgueglia, J., Suo, D., Leveson, N. et al., "An Integrated Approach to Requirements Development and Hazard Analysis," SAE Technical Paper 2015-01-0274, 2015, https://doi.org/10.4271/2015-01-0274.Also In
References
- Siemens Ford Motor Company Case Study Siemens PLM Software 2014 http://www.plm.automation.siemens.com/pub/case-studies/14303?resourceId=14303
- McKendrick , J. Cars become ‘datacenters on wheels’, carmakers become software companies ZDJNet 2013
- NHTSA Office of Defect Investigation, Recalls [Data file] 2014 http://www-odi.nhtsa.dot.gov/downloads/flatfiles.cfm/FLAT_RCL.zip
- Charette , R. This car runs on code IEEE Spectrum 2009
- Leveson , N. Safeware: system safety and computers Addison-Wesley Reading, MA 1995
- Lutz , R.R. Analyzing software requirements errors in safety-critical, embedded systems IEEE International Conference on Software Requirements 1992
- Leveson , N. Role of Software in Spacecraft Accidents Journal of Spacecraft and Rockets 41.4 2004 564 75
- ISO 26262:2011 Road Vehicles - Functional Safety International Standardization Organization Nov 2011
- Handbook of Systems Engineering, V3.2.1 International Council of Systems Engineering 2011
- IEC 61508 Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems International Electrotechnical Commission 2.0 2010 04
- Van Eikema Hommes , Q. Review and Assessment of the ISO 26262 Draft Road Vehicle - Functional Safety SAE Technical Paper 2012-01-0025 2012 10.4271/2012-01-0025
- Leveson , N. Engineering a Safer World MIT Press Cambridge, MA 2012
- Balgos V. H. A systems theoretic application to design for the safety of medical diagnostic devices Master's thesis MIT 2012
- Torok , R. , Geddes , B. Systems Theoretic Process Analysis(STPA) Applied to a Nuclear Power Plant Control System MITSTAMP Workshop March 2013
- Leveson , N. , Wilkinson , C. , Fleming , C. , Thomas , J. , Tracy , I. A Comparison of STPA and the ARP 4761 Safety Assessment Process MIT PSAS Technical Report 2014
- Thomas , J. Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis Ph.D. Dissertation Engineering Systems Division, MIT 2013
- Thomas , J. and Suo , D. An STPA Tool 3 rd STAMP/STPA Conference Cambridge, MA 2014
- Leveson , N. , Heimdahl , M. , and Reese , J. Designing specification languages for process control systems: lessons learned and steps to the future Proceedings of the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering 1999 Springer-Verlag Toulouse, France 127 145
- Leveson , N. Completeness in formal specification language design for process-control systems Proceedings of the Third Workshop on Formal Methods in Software Practice ACM 75 87 2000
- Bellagamba , L. Systems Engineering and Architecting: Creating Formal Requirements CRC Press 2012