Currently in the automotive industry, most software source code is manually generated (i.e., hand written). This manually generated code is written to satisfy requirements that are generally specified or captured in an algorithm document. However, this process can be very error prone since errors can be introduced during the manual translation of the algorithm document to code. A better method would be to automatically generate code directly from the algorithm document. Therefore, the automotive industry is striving to model new and existing algorithms in an executable-modeling paradigm where code can be automatically generated. The advent of executable models together with automatic code generation should allow the translation of model to code to be error free, and this error-free status can be confirmed through testing. A three-stage process is presented to functionally verify the model, functionally verify the automatically-generated code, and structurally verify the code.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verifying Code Automatically Generated From an Executable Model


    Additional title:

    Sae Technical Papers



    Conference:

    SAE 2005 World Congress & Exhibition ; 2005



    Publication date :

    2005-04-11




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Verifying code automatically generated from an executable model

    Williams,C.A. / Kropinski,M.A. / Matthews,O. et al. | Automotive engineering | 2005


    2005-01-1665 Verifying Code Automatically Generated From an Executable Model

    Williams, C. A. / Kropinski, M. A. / Matthews, O. et al. | British Library Conference Proceedings | 2005


    Building Heterogeneous Safety Cases for Automatically Generated Code

    Denney, Ewen / Fischer, Bernd / Basir, Nurlida | AIAA | 2011


    Building Heterogeneous Safety Cases for Automatically Generated Code

    Denney, E. / Basir, N. / Fischer, B. et al. | British Library Conference Proceedings | 2011


    Method of operating power system, power system and computer executable code

    WU XIHU / JIANG LEI / YU PENGFEI et al. | European Patent Office | 2022

    Free access