Misty Davies
YOU?
Author Swipe
View article: Process Flow Modeling for an In‐Time Aviation Safety Management System
Process Flow Modeling for an In‐Time Aviation Safety Management System Open
In 2018, the National Academies challenged the National Aeronautics and Space Administration (NASA) to lead the development of an In‐Time Aviation Safety Management System (IASMS). This IASMS would enable increasingly autonomous aviation o…
View article: Examining the Changing Roles and Responsibilities of Humans in Envisioned Future in-Time Aviation Safety Management Systems
Examining the Changing Roles and Responsibilities of Humans in Envisioned Future in-Time Aviation Safety Management Systems Open
Advances in technology are enabling new concepts of operations that will trans-form aviation including increasingly autonomous capabilities to handle evolving complex dynamic ecosystems like those associated with Advanced Aerial Mobility. …
View article: RACE: Building airspace simulations faster and better with actors
RACE: Building airspace simulations faster and better with actors Open
n/a
View article: Verifying the Safety of a Flight-Critical System
Verifying the Safety of a Flight-Critical System Open
This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM)…