Search NASA⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20220002304

Problems in Machine Learning-Based Systems for Safety-Critical Avionics

Natasha A. Neogi·Sarah M. Lehman
View original source ↗Export metadata ↓

Abstract

To explore, discover, and understand the impact on safety of growing complexity introduced by modernization aimed at improving the efficiency of flight, the access to airspace, and/or the expansion of services provided by air vehicles. To develop and demonstrate innovative solutions that enable this modernization and the aviation transformation envisioned by ARMD through proactive mitigation of risks in accordance with target levels of safety.

Explore related subjects

Safety Critical SystemsProductive SafetyMachine Learning

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Natasha A. Neogi, Sarah M. Lehman. Problems in Machine Learning-Based Systems for Safety-Critical Avionics. https://ntrs.nasa.gov/citations/20220002304

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRSDate not supplied

Creating Formal Characterizations of Routine Contingency Management in Commercial Aviation

The identification, modelling, and analysis of root causes of accidents and incidents dominate conventional safety management approaches. However, the effect of humans’ safety-producing behavior on the overall resilience of the system is often neglected. Additionally, emerging aviation markets are giving rise to concepts of operation, such as urban air mobility and optionally piloted air cargo operations, that are leading to a shift in locus of control between humans and automation. Without an understanding of the human contribution to safety, it is difficult to assess the effects of these novel role allocations on overall system safety. In this work, safety-producing behaviors are identified and abstracted into resilient performance strategies. Production rules that encapsulate these strategies are then generated and classified in the Soar cognitive architecture. The strategies are then applied to a remotely-operated air cargo example to demonstrate how safe learning is facilitated. The learned rules and strategies are then formally verified.

Safety Critical Systems↗