Model-based assurance for justifying automotive functional safety

SAE Technical Papers

Volumn , Issue , 2010, Pages

  Habli, Ibrahim ^a   Ibarra, Ireri ^b   Rivett, Roger S ^b   Kelly, Tim ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b JAGUAR LAND ROVER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOBILE SUSPENSIONS; AUTOMOTIVE INDUSTRY; SUSPENSIONS (COMPONENTS);

AIR SUSPENSION SYSTEMS; AUTOMOTIVE FUNCTIONAL SAFETIES; AUTOMOTIVE SAFETY; AUTOMOTIVE SECTOR; FUNCTIONAL SAFETY; FUNCTIONAL SAFETY CONCEPTS; MODEL DRIVEN DEVELOPMENT; TECHNICAL FACTORS;

SAFETY ENGINEERING;

EID: 85072351598     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2010-01-0209     Document Type: Conference Paper

References (7)

1. ISO/TC 22/SC 3/WG 16, "ISO26262 DIS: Road Vehicles-Road Safety," BL15, International Organization for Standardization (ISO), June 2009.
2. Object Management Group (OMG), "Systems Modelling Language (SysML)," v1.1, OMG, November 2008.
3. Kelly T. P., "Arguing Safety-A Systematic Approach to Safety Case Management," DPhil Thesis, Department of Computer Science, University of York, UK, 1998.
4. Bate, I. J., Kelly T. P., "Architectural Considerations in the Certification of Modular Systems," 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP02), September 2002.
5. Civil Aviation Authority (CAA), "CAP 670 SW 01: Acceptable Means of Compliance to CAP 670 SW 01: Guidance for Producing SW 01 Safety Arguments for COTS Equipment," Issue 2, CAA, 2009.
6. UK Ministry of Defence (MoD), "Defence Standard 00-56: Safety Management Requirements for Defence Systems," Part 2, Issue 4, UK Ministry of Defence, 2007.
7. Habli I., Kelly T. P., "Process and Product Certification Arguments: Getting the Balance Right", Workshop on Innovative Techniques for Certification of Embedded Systems, in Conjunction the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, California, USA, April 2006.