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


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Developing IEC 61508 applications with model-based design


    Beteiligte:
    Conrad, Mirko (Autor:in) / Sandmann, Guido (Autor:in)


    Erscheinungsdatum :

    2009


    Format / Umfang :

    10 Seiten, 3 Bilder, 14 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Developing IEC 61508 applications with model-based design

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


    Erste Umsetzung der IEC 61508

    Leopold Kostal,DE | Kraftfahrwesen | 2006


    A verification and validation workflow for IEC 61508 applications

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


    A Verification and Validation Workflow for IEC 61508 Applications

    Sandmann, Guido / Conrad, Mirko | SAE Technical Papers | 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