Model-based development of embedded automotive control software is characterized by the use of executable models throughout the entire development process. Modeling and simulation tools that are frequently used in this context include, for example, Simulink and Stateflow from The MathWorks. Code generators such as TargetLink make it possible to automatically generate efficient C code directly from these models. The quality of the models used for code generation has a direct influence on the quality of the generated C code. This is why it is vital that specific quality criteria be fulfilled when developing safety-relevant systems, for example, conformity with modeling guidelines starting at the model level. MISRA modeling guidelines exist for use with the TargetLink code generator. Conformity with these guidelines ensures a safe language subset and significantly improves the safety of generated code, for example, by avoiding ambiguous semantics.This paper describes the requirements that MISRA TargetLink Guidelines impose on modeling TargetLink models, and the corresponding automated guideline checking provided by a new generation of checking tools.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated Checking of MISRA TargetLink and AUTOSAR Guidelines


    Additional title:

    Sae International Journal of Passenger Cars- Electronic and Electrical Systems
    Sae Int. J. Passeng. Cars – Electron. Electr. Syst


    Contributors:

    Conference:

    SAE World Congress & Exhibition ; 2009



    Publication date :

    2009-04-20


    Size :

    9 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automated checking of MISRA TargetLink and AUTOSAR guidelines

    Stuermer,I. / Stamatov,S. / Eisemann,U. et al. | Automotive engineering | 2009


    2009-01-0267 Automated Checking of MISRA TargetLink and AUTOSAR Guidelines

    Sturmer, I. / Stamatov, S. / Eissemann, U. et al. | British Library Conference Proceedings | 2009



    2008-01-0663 Experience using MISRA Targetlink Guidelines on a Production Hybrid Program

    Davies, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2008


    AUTOSAR and MISRA Coding Standards

    Yamili, Y. Catherine / Kathiresh, M. | Springer Verlag | 2021