• DocumentCode
    3761090
  • Title

    Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions

  • Author

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

  • Author_Institution
    Aero Master Corp., Sacheon, South Korea
  • fYear
    2015
  • Firstpage
    28
  • Lastpage
    31
  • 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.
  • Keywords
    "Synchronization","Visualization","Debugging","Concurrent computing","Standards","Aerospace electronics","Complexity theory"
  • Publisher
    ieee
  • Conference_Titel
    Grid and Distributed Computing (GDC), 2015 8th International Conference on
  • Type

    conf

  • DOI
    10.1109/GDC.2015.15
  • Filename
    7433855
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3761090