AADLv2 as a Domain Specific Extension to SysMLv2
Ada in Embedded Avionic Systems
A Hybrid-FPGA System for On-Board Data Processing Targeting the MATMOS FTIR Instrument
Australian DefenceScience. Volume 13. Number 1, Autumn
Autopilot Interface Computer for Platform Precision Autopilot
Avionics Systems Engineering and Its Relationship to Mission Software Development
Common Ada Missile Packages. Phase 2. (CAMP-2). Volume 2. 11th Missile Demonstration
Computing Systems Configuration for Highly Integrated Guidance and Control Systems
DDG-51 Engineering Training: How Simulators Can Help
Dependability Modeling with the Architecture Analysis & Design Language (AADL)
Design of an Ada Expert System Shell for the VHSIC Avionic Modular Flight Processor, (Abstract Only)
Development and Tests of an Automatic Decking System Demonstrator of VTOL UAV on Naval Platform
Embedded Reconfigurable Processing for UAV Applications
Embedded Training in the Polaris SSBN Missile Fire Control System
Embedded Training Solution for the Bradley Fighting Vehicle (BFV) A3
Embedding Safety Critical Software in an Airframe
Ethical Governor for Constraining Lethal Action in an Autonomous System
Evolution of Software-Only-Simulation at NASA IV and V
Flight Test Avionics Data Acquisition System for Future Fokker Aircraft
Future Roles of Structural Sensing for Aerospace Applications
Health Management Issues and Strategy for Air Force Missiles (POSTPRINT)
High Assurance Systems Engineering
Intelligent Tutoring in the Spacecraft Command/Control Environment
MAC-TSA Applied in the ISO and SAX Spacecraft Projects
Passive Roadside Reflectors and Communications Systems for Improvement of Radar Reliability
Research Institute for Autonomous Precision Guided Systems
Robotic Vehicle Mobility and Task Performance: A Flexible Control Modality for Manned Systems
SAE AADL: An Industry Standard for Embedded Systems Engineering
SAE Architecture Analysis and Design Language (AADL) Fact Sheet
Software Engineering and Its Application to Avionics
SpaceCube: A NASA Family of Reconfigurable Hybrid On-Board Science Data Processors
TARDEC Intelligent Ground Systems
Technologies for Human-Robot Interactions (HRI) in Soldier-Robot Teaming
Testing Operational Flight Programs (OFPS)
Workshop Session No. 3: Human Interaction with Embedded Virtual Simulations. Summary of Discussion