Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions

Yong-Kee Jun,Myeong-Sin Kang,Ok-Kyoon Ha

doi:10.1109/gdc.2015.15

Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions

Yong-Kee Jun, Myeong-Sin Kang + Show 1 more

https://doi.org/10.1109/gdc.2015.15

Copy DOI

Publication Date: Nov 1, 2015

Citations: 3

Affiliation: Gyeongsang National University

#Race Conditions #Non-deterministic Executions + Show 7 more

Abstract
Full-Text PDF
Similar Papers

Abstract

ARINC 653 applications using event synchronization may result in behaviors unexpected by the programmers when concurrency bugs, such as race conditions, occur due to their non-deterministic executions. Previous tools do not consider race conditions for debugging ARINC 653 applications. This paper presents a visualization tool, called ConpathView that intuitively shows the aspect of the process execution with race conditions and the accesses to the shared memories based on the event services in ARINC 653 applications.

Full Text