This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Verification and Validation Workflow for IEC 61508 Applications
Technical Paper
2009-01-0271
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Because of its ability to address software complexity and productivity challenges, Model-Based Design with production code generation has been extensively used throughout the automotive software engineering community. More recently, engineers have begun to focus on compliance with external standards such as IEC 61508 and the use of Model-Based Design.
For in-vehicle applications, the standard applied is typically IEC 61508-3. To demonstrate standard compliance, the objectives and recommendations outlined in IEC 61508-3 have to be mapped onto Model-Based Design processes and tools.
This paper discusses a verification and validation workflow for developing in-vehicle software components that need to meet IEC 61508 using Model-Based Design.
Recommended Content
Authors
Citation
Conrad, M. and Sandmann, G., "A Verification and Validation Workflow for IEC 61508 Applications," SAE Technical Paper 2009-01-0271, 2009, https://doi.org/10.4271/2009-01-0271.Also In
References
- Aldrich, W. Coverage Analysis for Model-Based Design Tools TCS 2001
- Baresel, A. Conrad, M. Sadeghipour, S. Wegener, J. The Interplay Between Model Coverage and Code Coverage 11. European Int. Conf. on Software Testing, Analysis and Review (EuroSTAR ‘03) Amsterdam, Netherlands 2003
- Begic, G. Checking Modeling Standards Implementation The MathWorks News & Notes June 2007
- Burnard, A. Verifying and Validating Automatically Generated Code Int. Automotive Conference (IAC ‘04) Stuttgart, Germany 2004 71 78
- Conrad, M. Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme III (MBEES’07) Schloß Dagstuhl, Germany 2007 41 50
- Conrad, M. Model-Based Design for IIEC 61508: Towards Translation Validation of Generated Code Proc. Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis, colocated with Software Engineering 2008 Munich February 2008
- Erkkinen, T. Conrad, M. Safety-Critical Software Development Using Automatic Production Code Generation Proc. SAE World Congress 2007 Detroit, USA 2007
- www.mathworks.com/company/pressroom/articles/article18304.html
- Pofahl, Ekkehard Sauer, Torsten Busa. Oliver
- www.mathworks.com/company/pressroom/articles/article17790.html
- Edwards, P.D. The Use of Automatic Code Generation Tools in the Development of Safety-Related Embedded Systems Proc. Vehicle Electronic Systems 1999
- Embedded MATLAB feature page: www.mathworks.com/products/featured/embeddedmatlab
- Fey, I. Müller, J. Conrad, M. Model-Based Design for Safety-Related Applications Proc. Convergence 2008 Detroit, MI, USA Oct. 2008
- Harmon, R. Hote, C. Automatic Engine Control Code Generation with Integrated Automatic Static Code Verification International Automotive Conference (IAC ‘04) Stuttgart, Germany 2006
- Int. Standard Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems - Part 3: Software Requirements First edition 1998
- Jablonski, Thorsten Schumann, Heiko Busse, Carsten Haussmann, Heiko Hallmann, Udo Dreyer, Dirk Schöttler, Frank Die neue elektromechanische Lenkung APA-BS ATZelektronik 3 2008 30 35
- Model-Based Design Web page: www.mathworks.com/applications/controldesign/description
- MEval product page: www.itpower.de/meval_e.html