Like any software, manned-aircraft flight management systems and unmanned aerial system autopilots contain bugs. A large portion of bugs in autopilots are semantic bugs, where the autopilot does not behave according to the expectations of the programmer. A bug detector is constructed to detect semantic bugs for autopilot software. It is hypothesized that semantic bugs can be detected by monitoring a set of relevant variables internal to the autopilot. This paper formulates the problem of identifying these variables as an optimization problem aimed at minimizing the overhead for online bug detection. However, because the optimization problem is computationally prohibitive to solve directly, graph-based software models are used to identify a suboptimal solution. In analyzing real and injected bugs within a particular block of code (a program slice), our proof-of-concept approach resulted in a model using only 20% of the variables in the slice to detect real and synthetic bugs with a specificity of 95% and a sensitivity of at least 60% for all bugs tested (and 90% or higher for many of them).


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables


    Beteiligte:
    Huang, Hu (Autor:in) / Guyer, Samuel Z. (Autor:in) / Rife, Jason H. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2020-03-13


    Format / Umfang :

    10 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Classifying bugs is a tricky business

    Johnson, W. L. / Draper, S. / Soloway, E. | NTRS | 1982


    AUTOPILOT

    ELBION NIKOLAS / BARTEL MARK / FEJFEL MARK et al. | Europäisches Patentamt | 2017

    Freier Zugriff

    Software tools for nonlinear missile autopilot design

    Menon, P. / Iragavarapu, V. / Sweriduk, G. et al. | AIAA | 1999


    Der "autopilot,"

    Thauss, A. / Von Kaull, B. | Engineering Index Backfile | 1935


    Autopilot system

    ALBION NICOLAS / BARTEL MARK / FEIFEL MARC et al. | Europäisches Patentamt | 2020

    Freier Zugriff