The ARINC-653 standard architecture for flight software specifies an application executive (APEX) which provides an application programming interface and defines a hierarchical framework which provides health management for error detection and recovery. In every partition of the architecture, however, processes may have to deal with asynchronous realtime signals from peripheral devices or may communicate with other processes through blackboards or buffers. This configuration may lead programs into concurrency faults such as unintended race conditions which are common and difficult to be removed by testing. Unfortunately, existing tools for reporting concurrency faults in applications that use concurrent signal handlers can neither represent the complex interactions between an ARINC∗653 application and its error handlers nor provide effective means for understanding the dynamic behavior of concurrent signal handlers involved into data races. Thus, this paper presents an intuitive tool that visualizes the partial ordering of runtime events to detect concurrency faults in an ARINC-653 application that uses concurrent signal handlers. It uses vertically parallel arrows with different colors to capture the logical concurrency between the application, its error handlers and concurrent signal handlers, and materializes synchronization operations with differently colored horizontal arrows. Our visualization tool allows at a glance, to visually detect data races and provides a great understanding of the program internal for an easy debugging process.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Visualizing concurrency faults in ARINC-653 real-time applications


    Beteiligte:
    Tchamgoue, Guy Martin (Autor:in) / Gan, Lin (Autor:in) / Ha, Ok-Kyoon (Autor:in) / Yang, Sang-Woo (Autor:in) / Jun, Yong-Kee (Autor:in)


    Erscheinungsdatum :

    2012-10-01


    Format / Umfang :

    530710 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Visualizing concurrency faults in ARINC-653 real-time applications

    Tchamgoue, Guy Martin / Gan, Lin / Ha, Ok-Kyoon et al. | IEEE | 2012


    Timing analysis of the ARINC 629 databus for real-time applications

    Audsley, N.C. / Grigg, A. | Tema Archiv | 1997


    `Timing analysis of the ARINC 629 databus for real-time applications'

    Audsley, N. C. / Grigg, A. / ERA Technology | British Library Conference Proceedings | 1997


    Field Repairable Arinc 404 and Arinc 600 Filter Connectors

    Adams, John | Emerald Group Publishing | 1990


    ARINC-818 testing for avionics applications

    Bisson, K. | Tema Archiv | 2007