A flag is a global boolean variable used to achieve synchronization between various tasks of an embedded system. An application implementing flags performs actions or events based on the value of the flags. If flag variables are not implemented properly, certain synchronization related issues can arise which can lead to unexpected behavior or failure of the underlying system. In this paper, we present an automated verification technique to identify and verify flag usage patterns at an early stage of code development. We propose a two-step approach which consists of: a. identification of all potential flag variables and b. verification of flag usage patterns against predefined set of rules. The results of our experiment demonstrate that the proposed approach reduces the cost and complexity of the flag review process by almost 70%.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of Flag Usage Patterns by Static Analysis Techniques


    Weitere Titelangaben:

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


    Beteiligte:

    Kongress:

    SAE 2014 World Congress & Exhibition ; 2014



    Erscheinungsdatum :

    2014-04-01


    Format / Umfang :

    12 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Extension of Static Verification Techniques by Semantic Analysis

    Hote, C. / American Institute of Aeronautics and Astronautics / IEEE | British Library Conference Proceedings | 2005


    Ebook usage patterns

    Chiang, Dudee | NTRS | 2017


    Courtesy flag

    OLDS KIM | Europäisches Patentamt | 2023

    Freier Zugriff

    Courtesy Flag

    OLDS KIM | Europäisches Patentamt | 2020

    Freier Zugriff