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. 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. According a suggested subdivision of the verification and validation task, the workflow would be divided into the following two steps: 1. Design Verification: Demonstrate that the model is correct , meets all its requirements and does not contain unintended functionality. 2. Code Verification: Establish equivalency between the model and the generated code. First, verification and validation at the model level is discussed (reviews and static analyses at the model level, module and integration testing at the model level), then verification and validation at the code level (code verification) is presented (numerical equivalence testing, prevention of unintended functionality).
Developing IEC 61508 applications with model-based design
2009
10 Seiten, 3 Bilder, 14 Quellen
Conference paper
English
Developing IEC 61508 applications with model-based design
Automotive engineering | 2009
|Automotive engineering | 2006
|IEC 61508 and MISRA C - the benefits of utilising IEC 61508 and MISRA C for automotive applications
IET Digital Library Archive | 2005
|A verification and validation workflow for IEC 61508 applications
Automotive engineering | 2009
|Practical Implementation of IEC 61508
British Library Conference Proceedings | 2005
|