Visualizing Concurrency Faults in ARINC-653 Real-Time Applications
Full Title
G. M. Tchamgoue, L. Gan, O.-K. Ha, S.-W. Yang, and Y.-K. Jun, "Visualizing Concurrency Faults in ARINC-653 Real-Time Applications", In Proceedings of the 31st IEEE/AIAA Digital Avionics Systems Conference, IEEE, October 14-18, pp.(9E6):1-9, Williamsburg, VA, USA, 2012