Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems

KL Hobbs, ML Mote, MCL Abate… - IEEE Control …, 2023 - ieeexplore.ieee.org
More than three miles above the Arizona desert, an F-16 student pilot experienced a gravity-
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …

Runtime verification triggers real-time, autonomous fault recovery on the CySat-I

A Aurandt, PH Jones, KY Rozier - NASA Formal Methods Symposium, 2022 - Springer
CubeSats are low-cost platforms that are popular for conducting spaceborne experiments,
however they are known to have high failure rates (∼ 25% failure rate). In order to improve …

Elucidation and analysis of specification patterns in aerospace system telemetry

Z Luppen, M Jacks, N Baughman, M Stilic… - NASA Formal Methods …, 2022 - Springer
Experimental aerospace projects often require flight vehicle platforms for testing, such as
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …

Generating certification evidence for the certification of collision avoidance in autonomous surface vessels

D Costello, H Xu - Maritime Policy & Management, 2024 - Taylor & Francis
ABSTRACT The United States Navy plans on fielding autonomous surface vessels in the
near future. This paper presents a preliminary approach for certifying an autonomous …

Autonomous flight-test data in support of safety of flight certification

DH Costello III, J Jewell, H Xu - Journal of Air Transportation, 2021 - arc.aiaa.org
The current safety of flight clearances for unmanned aircraft requires a qualified operator
who can make decisions and ultimately bears the responsibility for the safe operations of the …

Formal specification and analysis of spacecraft collision avoidance run time assurance requirements

KL Hobbs, J Davis, L Wagner… - 2021 IEEE Aerospace …, 2021 - ieeexplore.ieee.org
One of the greatest challenges preventing the use of advanced controllers in aerospace is
develo** methods to verify, validate, and certify them with high assurance. One emerging …

Generating certification evidence for autonomous aerial vehicles decision-making

DH Costello III, H Xu - Journal of aerospace information systems, 2021 - arc.aiaa.org
The last 15 years have seen a large uptick in the use of unmanned aircraft. However, the
current safety of flight clearances for unmanned aircraft requires a qualified operator who …

Assurance guidance for space mission use of data-driven machine learning

MS Feather, S Guerrini, PC Slingerland… - 2023 IEEE Aerospace …, 2023 - ieeexplore.ieee.org
We report on our experience develo** guidance for assurance personnel on how to
assure data-driven Machine Learning (ML) systems to be used in the space domain. The …

Formal specification and analysis approaches for spacecraft attitude control requirements

KH Gross - 2017 IEEE Aerospace Conference, 2017 - ieeexplore.ieee.org
The cost to develop software in aerospace systems is on an exponential curve driven by
increasing system complexity, which is exacerbated by a systems engineering process that …

Accounting for helpful and harmful human reactions in run-time assurance frameworks

JG Fuller, L Hook, N Hutchins - 2017 IEEE/AIAA 36th Digital …, 2017 - ieeexplore.ieee.org
Run-Time Assurance is a hybrid controller architecture that bounds the behavior of a
nondeterministic or intractably complex primary controller by monitoring vehicle state and …