Design of Visualizing Event Synchronization for Race Conditions in ARINC-653 Applications
Myeong-Sin Kang, Bong-Jun Paeng, Ok-Kyoon Ha, Yong-Kee Jun · Advanced science and technology letters · 2014
This paper presents a visualization tool that provides the overall information of process synchronization based on the event services in ARINC- 653 applications. The tool visualizes logical synchronization among processes and race conditions by the violations of synchronization order, such as the priority inversion, through analyzing the aspect of the process execution and the accesses to the shared resources of each partition considering event services. We evaluated our visualization tool using synthetic programs for ARINC-653 on a simulation system for integrated modular avionics.