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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated Checking of MISRA TargetLink and AUTOSAR Guidelines


    Weitere Titelangaben:

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


    Beteiligte:
    Stürmer, Ingo (Autor:in) / Stamatov, Stamat (Autor:in) / Eisemann, Ulrich (Autor:in)

    Kongress:

    SAE World Congress & Exhibition ; 2009



    Erscheinungsdatum :

    2009-04-20


    Format / Umfang :

    9 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Automated checking of MISRA TargetLink and AUTOSAR guidelines

    Stuermer,I. / Stamatov,S. / Eisemann,U. et al. | Kraftfahrwesen | 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