Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions

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.