This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Efficient Safety Analysis of Automotive Software Systems

Journal Article
2009-01-0749
ISSN: 1946-4614, e-ISSN: 1946-4622
Published April 20, 2009 by SAE International in United States
Efficient Safety Analysis of Automotive Software Systems
Sector:
Citation: Trapp, M., Kemmann, S., Kalmar, R., and Denger, C., "Efficient Safety Analysis of Automotive Software Systems," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 2(1):258-270, 2009, https://doi.org/10.4271/2009-01-0749.
Language: English

References

  1. Road vehicles Functional Safety Part 6: Product development software 2008
  2. Institute of Electrical and Electronics Engineers Functional Safety of electrical/electronic/programmable electronic safety-related systems Part 3 Requirements on Software 1999
  3. Leveson Nancy G. Safeware – System Safety and Computers Addison-Wesley Publishers Boston 1995
  4. Shank Brett Naylor Warren Software Safety – “ State of the Practice” In the proceedings of the ASQ World Conference on Quality and Improvement 1087 1092 2006
  5. Tribble Alan C. Miller Steven P. Software Intensive System Safety Analysis In the IEEE Aerospace and Electronic Systems Magazine 19 No. 10 21 26 2004
  6. Rodriguez-Dapena Patricia Software safety verification in critical software intensive systems Phd Thesis Eindhoven Technical University, University Printing Office 2002
  7. Liggesmeyer Peter Software-Qualität – Testen, Analysieren und Verifizieren von Software Spektrum Akademischer Verlag Heidelberg, Berlin 2002
  8. Becker James C. Flick Glenn A Practical Approach to Failure Mode and Effects and Criticality Analysis (FMECA) for Computing Systems In the proceedings of the IEEE High Assurance Systems Engineering workshop 228 236 1996
  9. McDermid John A. Software Hazard and Safety Analysis In the proceedings of the 7 th International Symposium of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 2002), Lecture Notes in Computer Science 2469/2002 23 34 2002
  10. Lutz Robyn R. Software Engineering for Safety: A Roadmap, International Conference on Software Engineering (ICSE 2000) Proceedings of the Conference on The Future of Software Engineering Limerick 2000
  11. Fenelon P. McDermid J. A. Pumfrey D. J. Nicholson M. Towards Integrated Safety Analysis and Design ACM Computing Reviews 2 No. 1 21 32 1994
  12. McDermid J. A. Software Hazard and Safety Analysis Lecture Notes in Computer Science 2469/2002 23 34 2002
  13. Lutz, R.R. Woodhouse R. M. Bi-directional Analysis for Certification of Safety-Critical Software proceedings of the International Software Assurance Certification Conference (ISACC 99) Springer Verlag 1 9 1999
  14. Pumfrey D.J. The Principled Design of Computer System Safety Analysis PhD thesis Department of Computer Science, University of York York, UK 1999
  15. Chudleigh M. Hazard analysis using HAZOP: A case study. 12th International Conference on Computer Safety Reliability and Security (SAFECOMP 93) Springer Verlag 99 108 1993
  16. Redmill F. Chudleigh M. Catmur J. System Safety: HAZOP and Software HAZOP Chichester John Wiley & Sons Ltd. 248 ,
  17. Lisagor O., et al. Safety Analysis of Software Architectures – “Lightweight PSSA” In the proceedings of the 22nd International System Safety Conference (ISSC 2004), IEEE Computer Society 2004
  18. Reese J.D. Leveson, N.G. Software Deviation Analysis 19th International Conference on Software Engineering (ICSE) IEEE 250 260 1997
  19. Papadoupoulos Y. et al Hierarchically Performed Hazard Origin and Propagation Studies In the proceedings of 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 99) Springer Verlag 139 152 1999
  20. Papadopoulos Y. et al. Automating the Failure Mode and Effects Analysis of Safety Critical Systems In the proceedings of the 8th International Symposium on High Assurance Systems Engineering (HASE 2004) 310 311 2004
  21. Rodriguez-Dapena R. Software safety verification in critical software intensive systems Phd Thesis Eindhoven Technical University, University Printing Office 2002
  22. Laitenberger Oliver Cost effective Detection of Software Defects through Perspective-based Inspections PhD Theses in Experimental Software Engineering Fraunhofer IRB Verlag 2000
  23. Basili, Victor R. Green, Scott Laitenberger, Oliver Lanubile, Filippo Shull, Forrest Sorumgard, Sivert Zelkowitz Marvin V. The Empirical Investigation of Perspective-based Reading Empirical Software Engineering 1 133 164 1996
  24. Domis, D Trapp, M. Integrating Safety Analyses and Component-based Design Harrison M.D. Sujan M.-A. SAFECOMP 2008, LNCS 5219 58 71 2008 Springer-Verlag Berlin Heidelberg
  25. ESSaRel http://www.essarel.de/ 2009 01/10
  26. Denger, C. SafeSpection – A Framework for Systematization and Customization of Software Hazard Identification by Applying Inspection Concepts PhD-Thesis Technical University of Kaiserslautern 2009
  27. Papadopoulos, Y McDermid, J Hierarchically Performed Hazard Origin and Propagation Studies In Proceedings of the 18th International Conference on Computer Safety, Reliability and Security, LNCS 1608 139 152 1999 Springer Verlag
  28. Fenelon, P et al Towards Integrated Safety Analysis and Design ACM Applied Computing Review 2 (1) 21 32 1994 ACM Press

Cited By