Evolution of Software-Only-Simulation at NASA IV and V
High Assurance Systems Engineering
AADLv2 as a Domain Specific Extension to SysMLv2
Autopilot Interface Computer for Platform Precision Autopilot
SpaceCube: A NASA Family of Reconfigurable Hybrid On-Board Science Data Processors
SAE Architecture Analysis and Design Language (AADL) Fact Sheet
TARDEC Intelligent Ground Systems
Ada in Embedded Avionic Systems
Robotic Vehicle Mobility and Task Performance: A Flexible Control Modality for Manned Systems
Avionics Systems Engineering and Its Relationship to Mission Software Development
Workshop Session No. 3: Human Interaction with Embedded Virtual Simulations. Summary of Discussion
A Hybrid-FPGA System for On-Board Data Processing Targeting the MATMOS FTIR Instrument
Software Engineering and Its Application to Avionics
Flight Test Avionics Data Acquisition System for Future Fokker Aircraft