Model-Driven System Development for Distributed Fuel Management in Avionics
Reusable Design of Data Visualization Software Architecture for Unmanned Aerial Vehicles
Small Spacecraft Software Modeling: A Petri Net-Based Approach
Generating Test Cases with 100-Percent Requirements Coverage Using Design of Experiments
Certification and Software Verification Considerations for Autonomous Unmanned Aircraft
Survey on Fault Detection, Isolation, and Recovery Strategies in the Space Domain
Test Languages for In-the-Loop Avionics Tests
Development of a Java-Based Framework for Aircraft Preliminary Design and Optimization
Rockster: Onboard Rock Segmentation Through Edge Regrouping
Giant Slayer: Will You Let Software be David to Your Goliath System?
Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
Evaluation of Compiler-Induced Vulnerabilities
Flight Software Development, Migration, and Testing in Desktop and Embedded Environments
Developing Critical Aerospace Embedded Systems with Distributed Teams Using Agile Methodologies
Digital Engineering Development in an Academic CubeSat Project
Reusable Schedule Design and Execution Framework for Autonomous Mission Management in Space