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).


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Developing IEC 61508 applications with model-based design


    Contributors:


    Publication date :

    2009


    Size :

    10 Seiten, 3 Bilder, 14 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Developing IEC 61508 applications with model-based design

    Conrad,M. / Sandmann,G. / The Mathworks,GB | Automotive engineering | 2009


    Erste Umsetzung der IEC 61508

    Leopold Kostal,DE | Automotive engineering | 2006



    A verification and validation workflow for IEC 61508 applications

    Conrad,M. / Sandmann,G. / The Mathworks,GB et al. | Automotive engineering | 2009


    Practical Implementation of IEC 61508

    Rivett, R. / Institution of Electrical Engineers / IEE Microelectronics and Embedded Systems Professional Network et al. | British Library Conference Proceedings | 2005