Pi Technology and the Ford Motor Company are using MATLAB Simulink/Stateflow model based design and automatic code generation in C, for the main software development for three electronic control units targeted at the Ford Focus fuel cell vehicle.The automatic generation of code for embedded automotive applications offers a number of potential advantages over traditional methods. These include faster development, the avoidance of coding errors and avoiding inconsistencies with the design specification. However, the use of automatically generated code in production-intent safety-related systems requires at least the same standard of validation and verification. If code generation were perfect, one could validate only the design. However, it is impractical to require that the code generator must be validated for all possible input designs. Furthermore it must be assumed that the compiler and the hardware can also introduce faults. Therefore we adopt the approach of testing output code for the particular designs we wish to implement, in the same manner as we would test hand-written code for production systems [1]. This retains the additional benefits of exposing the design to further detailed scrutiny in test preparation, and encouraging designs that are straightforward to test.This paper discusses the development lifecycle employed on this project, highlighting the particular benefits, issues, and challenges surrounding the use of automatically generated code for these production-quality safety-related automotive controllers.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Auto-Generated Production Code Development for Ford/Think Fuel Cell Vehicle Programme


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Patel, B. (Autor:in) / Wartnaby, C. E. (Autor:in) / Ellims, M. (Autor:in) / Mohammed, M. S. (Autor:in) / Raju, R. R. (Autor:in) / Jones, S. C. (Autor:in) / Bennett, S. M. (Autor:in)

    Kongress:

    SAE 2003 World Congress & Exhibition ; 2003



    Erscheinungsdatum :

    03.03.2003




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Auto-Generated Production Code Development for Ford/Think Fuel Cell Vehicle Programme

    Wartnaby, C. E. / Bennett, S. M. / Ellims, M. et al. | British Library Conference Proceedings | 2003


    Auto-generated production code development for Ford/Think fuel cell vehicle programme

    Wartnaby,C.E. / Bennett,S.M. / Ellims,M. et al. | Kraftfahrwesen | 2003


    Ford P2000 fuel cell vehicle

    Yang,W.C. / Brandenburg,L.R. / Bates,B. et al. | Kraftfahrwesen | 1999


    Ford P2000 fuel cell vehicle

    Yang, W.C. / Brandenburg, L.R. / Bates, B. et al. | Tema Archiv | 1999


    Ford P2000 Fuel Cell Vehicle

    Yang, W.-c. / Brandenburg, L. R. / Bates, B. et al. | British Library Conference Proceedings | 1999