Search NASASearch

Engineering topics

Natasha A. Neogi

Publications and source records attributed to Natasha A. Neogi.

Verification and Validation of Safety-Critical Aircraft Systems Operating under Off-Nominal, Contingency, and Emergency Conditions

Verification and validation (V&V) of safety-critical technologies developed for loss of control (LOC) prevention and recovery and other aviation safety concerns pose significant challenges. Aircraft LOC can result from a wide spectrum of hazards, often occurring in combination, which cannot be fully replicated during evaluation. Technologies developed for LOC prevention and recovery must therefore be effective under a wide variety of hazardous and uncertain conditions, and the verification and validation of these technologies must provide some measure of assurance that the new vehicle safety technologies do no harm (i.e., that they themselves do not introduce new safety risks). V&V technologies must also enable the identification of system limitations and constraints, as well as enable the identification of safe and unsafe operating conditions (and their boundaries). Additionally, the V&V of complex, increasingly autonomous systems is a fundamental concern. Scalable, reproducible and cost-effective techniques for the assurance of safety critical systems during their design and operation is a key barrier to fielding new systems or updating current systems. Moreover, these techniques need to provide artifacts that enable a comprehensive evidence-based approach to certification. This briefing summarizes research performed under NASA’s Aviation Safety Program and follow-on research for the V&V of safety-critical aircraft system technologies developed for LOC prevention and recovery and increasingly autonomous systems, and for a broad assurance capability in both current and emerging aviation applications. Note that, in this briefing, the term “validation” refers to a confirmation that the system implementation (e.g., algorithms etc.) is performing the intended function(s), as well as an affirmation of effectiveness in these functions. “Verification” refers to a confirmation that the system implementation in the software and hardware meets its (hopefully validated) specifications (e.g., correctly executes algorithms as designed).

Validation

Benchmark Problem Development for Testing Maturity of Intelligent Contingency Management Tools

Increasingly autonomous Advanced Air Mobility (AAM) vehicles will be required to handle diverse conditions with limited human intervention. Intelligent contingency management (iCM) approaches are under development to address how automated agents can handle unforeseen, unplanned, and unanticipated events. Benchmark scenario is needed to test the maturity of the developed iCM tools and techniques.

Jon Holbrook

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

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.

Safety Critical Systems

Safety Demonstrator Series for an In-Time Aviation Safety Management System

NASA's Advanced Air Mobility Integration Office has coordinated a meeting with the National Research Council Canada (NRC) to have an interchange of technical area activities to evaluate merit for international partnership. Both NASA and NRC will provide a brief overview of their Advanced Air Mobility activities. Additional aeronautics projects will have an opportunity to present a few slides on current activities and plans. Topics include wildfire, vehicle automation technologies and detect and avoid, and national campaign flight initiatives. NASA's System-Wide Safety (SWS) Project will provide a high-level overview of the the safety demonstrator series. The project has scheduled operational demonstrations of an in-time aviation safety management system across a series of disaster-oriented operations. First up is a wildland fire demonstration scheduled for 2025. Opportunities for synergy will be discussed.

system-wide safety