Having your cake and eating it: A model-based approach for satisfying ISO26262 software development requirements

SAE Technical Papers

Volumn , Issue , 2011, Pages

  Buttle, Darren ^a   Blache, Gunter ^a   Lefarth, Ulrich ^a   Wolff, Hans Jörg ^a  

^a Etas GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AUTOMOTIVE INDUSTRY; FAILURE ANALYSIS; MODELING LANGUAGES;

DETECTION MECHANISM; DEVELOPMENT PROCESS; ERROR PREVENTION; MODEL BASED APPROACH; MODEL BASED DEVELOPMENT; PASSENGER FATALITIES; SAFETY-RELATED SYSTEMS; SOFTWARE FAILURE;

SOFTWARE DESIGN;

EID: 85072488032     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (13)

1. Black, Andrew P., "Exception Handling: The Case Against." D.Phil thesis, University of Oxford, January 1982.
2. ASCET Language Specification, ETAS GmbH, 2010.
3. Ellims, M.,. "On Wheels, Nuts and Software". Safety Related Programmable Systems (SCS'04), Brisbane, 2004. Conferences in Research and Practice in Information Technology, Vol. 47. Cant, Tony, Ed.
4. Galloway, A., Paige, R., Tudor, N.J., Weaver, R.A., Toyn, I., and McDermind, J.A.,. "Proof vs testing in the context of safety standards". Proceedings of the 24th Digital Avionics Systems Conference, Volume 2. IEEE, December 2005.
5. German, Andy, "Software Static Code Analysis Lessons Learned" CrossTalk Magazine: The Journal of Defense Software Engineering, pp 13-17, November 2003.
6. ISO/TC 22/SC3, "ISO/DIS 26262-Road Vehicles-Functional Safety" June 2009.
7. Maxion, Roy A., and Olszewski, Robert T., "Improving Software Robustness With Dependability Cases". Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, June 1998, p. 346-355.
8. MIRA Limited, "MISRA:C-2004 Guidelines for the C language in critical systems" ISBN 0 9524156 2 3 (Paperback), ISBN 0 9524156 4 X (PDF). Edition 2 including Technical Corrigendum 1, July 2008.
9. OSEK/VDX, "OSEK/VDX Operating System" Version 2.2.3, February 2005.
10. th IEEE Real-Time Systems Symposium, Washington DC, 1996.
11. Stürmer, I., Weinberg, D., and Conrad, M., "Overview of existing safeguarding techniques for automatically generated code," ACM SIGSOFT Software Engineering Notes, vol. 30, 2005, p. 6.
12. Stürmer, I., Conrad, M., Fey, I.,. and Dörr, H., "Experiences with model and autocode reviews in model-based software development," Proceedings of the 2006 international workshop on Software engineering for automotive systems SEAS'06, Shanghai: ACM, 2006, pp. 45-51.
13. Thullner, M., and Scholand, A., "Quality Assurance in Modular Software Development" Real Times -The ETAS Group Magazine, pp 40-42, Edition 1.2005, 2005