Verification of Flag Usage Patterns by Static Analysis Techniques
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%.
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/issn/19464614
-
Supplemental Notes:
- Abstract reprinted with permission of SAE International.
-
Authors:
- Zare, Amey
- Datar, Advaita
- Kikuchi, Mitsuhiko
- Ichikawa, Satoshi
- Hasegawa, Miwako
- Tsunekado, Shigenori
-
Conference:
- SAE 2014 World Congress & Exhibition
- Location: Detroit Michigan, United States
- Date: 2014-4-8 to 2014-4-10
- Publication Date: 2014-4-1
Language
- English
Media Info
- Media Type: Web
- Features: Figures; References;
- Pagination: pp 73-84
-
Serial:
- SAE International Journal of Passenger Cars - Electronic and Electrical Systems
- Volume: 7
- Issue Number: 1
- Publisher: SAE International
- ISSN: 1946-4614
- EISSN: 1946-4622
- Serial URL: https://www.sae.org/publications/collections/content/E-JOURNAL-07/
Subject/Index Terms
- TRT Terms: Coding systems; Embedded systems; Test procedures
- Subject Areas: Highways; Vehicles and Equipment;
Filing Info
- Accession Number: 01621300
- Record Type: Publication
- Source Agency: SAE International
- Report/Paper Numbers: 2014-01-0180
- Files: TRIS, SAE
- Created Date: Jan 5 2017 4:23PM