NextGen civil aviation capabilities depend heavily on systems-of-systems that interact to produce unexpected behavior. To validate system- level goals, the prototype software for the system needs to be coupled with high-fidelity physics simulations of the hardware and the environment. The associated state spaces are massive and contain nonlinear and stochastic elements (like weather models) that formal methods do not currently treat easily. Testing methods that use machine learning have been shown to aid in exploring such systems. In particular, blind source selection methods can aid in intelligently reducing the state space, and feature selection methods can be used to choose input space features leading to desired or undesired output space behavior. When the global state space is too large to solve explicitly, we can use machine learning and statistical techniques to build models of the system. These simpler models enable us to predict behavior in the high-fidelity simulation, then adaptively refine the models as we test our predictions. This paper uses model-based testing to exercise a new air traffic control concept. The concept is implemented in software that helps controllers detect and resolve short-term conflicts between aircraft in the terminal airspace. The rules that determine whether or not aircraft are sufficiently separated within 40 miles of the terminal depend on aircraft weight, the flight rules, the type of approach, and whether the aircraft is arriving or departing. We show that model-based testing automates the process of feature selection and state-space reduction, enabling the analyst to quickly validate expected behavior and explore anomalies.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Finding system-level failures in flight-critical software systems


    Contributors:


    Publication date :

    2011-10-01


    Size :

    725979 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Views - Space flight software failures

    Corneille, Philip | Online Contents | 2001


    Accommodating Actuator Failures in Flight Control Systems

    Hess, R. A. / Siwakosit, W. / Chung, J. et al. | British Library Conference Proceedings | 1999


    Accommodating actuator failures in flight control systems

    Hess, R. / Siwakosit, W. / Chung, J. | AIAA | 1999


    Flight critical software and systems development using ASSERT™

    Siu, Kit / Moitra, Abha / Durling, Michael et al. | IEEE | 2017


    Reconfiguration of flight control systems for actuator failures

    Bajpai, G. / Chang, B.C. / Lau, A. | IEEE | 2001