Arguing software compliance with ISO 26262

Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Volumn , Issue , 2014, Pages 226-231

  Hocking, Ashlie B ^a   Knight, John ^a   Aiello, M Anthony ^a   Shiraishi, Shinichi ^b  

^a Dependable Computing Inc   (United States)

^b USA Inc ^*  (United States)

Author keywords

ISO 26262; Safety case; Software assurance case

Indexed keywords

REGULATORY COMPLIANCE; SAFETY ENGINEERING;

ASSURANCE CASE; ELECTRONIC SYSTEMS; ISO 26262; SAFETY CASE; SAFETY STANDARD; SOFTWARE ASSURANCE; SOFTWARE COMPLIANCE;

SOFTWARE RELIABILITY;

EID: 84922635886     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSREW.2014.88     Document Type: Conference Paper

References (15)

1. P Amey, "Correctness By Construction: Better Can Also be Cheaper", Crosstalk Magazine, The Journal of Defense Software Engineering (March 2002)
2. A. Avizienis, J.-C. Laprie, J.-C., B. Randell, C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing", IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1 (2004)
3. J. Barnes, "High Integrity Software: The SPARK Approach to Safety and Security, Addison Wesley (2003)
4. P. Graydon, I. Habli, R. Hawkins, T. Kelly, J. Knight, "Arguing conformance", IEEE Software, vol. 29, no. 3 (2012)
5. I. Habli, J. Birch, H. Monkhouse, R. Rivett, D. Higham, J. Botham, R. Palin, B. Bradshaw, P Jesty, "Safety Cases and Their Role in ISO 26262 Functional Safety Assessment", Proceedings: 32nd International Conference on Computer Safety, Reliability, and Security, 2013, Toulouse, France (2013).
6. International Organization for Standardization, ISO 26262:2011, Road vehicles-Functional safety, Geneva, Switzerland (2011)
7. T. Kelly and R. Weaver, "The Goal Structuring Notation-A Safety Argument Notation", Workshop on Assurance Cases, International Conference on Dependable Systems and Networks (2004)
8. J. McDermid, "Software Hazard and Safety Analysis", Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer (2002)
9. R. Palin, I. Habli, "Assurance of Automotive Safety-A Safety Case Approach", Proceedings: 29th International Conference on Computer Safety, Reliability, and Security, Vienna, Austria (2010).
10. R. Palin, D. Ward, I. Habli, R. Rivett, "ISO 26262 Safety Cases: Compliance And Assurance", Proceedings, IET 6th International System Safety Conference, Birmingham, UK (2011)
11. PVS Specification and Verification System, SRI International, Menlo Park, CA.
12. G. Tassey, "The Economic Impacts of Inadequate Infrastructure for Software Testing", National Institute of Standards and Technology, Gaithersburg, MD (2002)
13. S. Wagner, B. Scha -tz, S. Puchner, and P. Kock, "A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models", Proceedings: IEEE 21st International Symposium on Software Reliability Engineering, San Jose, CA (2010)
14. X. Yin, J. Knight, E. Nguyen, and W. Weimer, "Formal Verification By Reverse Synthesis", Proceedings: 27th International Conference on Computer Safety, Reliability and Security, Newcastle, UK (2008)
15. X. Yin, J. Knight, E. Strunk, and W. Weimer, "Formal Verification by Specification Extraction", Proceedings: IEEE International Conference on Dependable Systems and Networks, Anchorage, AK (2007)