Leveraging the Space Plug-and-Play Avionics
Leveraging the Space Plug-and-Play Avionics (SPA) Standard to Enable Constellation-Level Collaborative Autonomy FREE-DOWNLOAD L Marketos – Advanced Maui Optical and Space Surveillance …, 2009 On-orbit autonomy depends on the timely availability of situational awareness data. Data provided from ground stations, derived from telemetry from other spacecraft, need to be evaluated in conjunction with the real-time telemetry […]
Towards Scalable Verification of Commercial Avionics Software
FREE-DOWNLOADD Bhatt, G Madl, D Oglesby… – 2010 We describe a model-based approach for the automated verification of avionics systems that has been ap- plied in Honeywell for the certification of complex avionics applications, such as flight controls and engine controls. The approach uses a symbolic analysis framework for .
Helicopter Avionics and Tactical Vehicles
Approved Corrosion Prevention Compound for Helicopter Avionics and Tactical Vehicles FREE-DOWNLOAD J Collis – 2009 –