Synonyms were used for:
Avionics
•
Conference,
Search without synonyms:
title: DASC, Digital Avionics Systems Conference, 20
The Space Station Data Management System - Avionics that integrate
System architecture for Byzantine resilient computation in launch vehicle applications
How to customize digital avionics but spend less
Reconciling avionics database management with security
Incremental avionics upgrades for legacy aircraft
Structured definition of modular avionics architectures using blueprints
Designing for determinism: lessons learned from modern real-time avionics applications
Leveraging an avionics support environment for shared application to multiple platforms
New low cost avionics with INS/GPS for a variety of vehicles
Enhanced fault management for future IMA systems
System health management/vehicle health management for future manned space systems
Experience of applying CORBA middleware to air traffic control automation systems
Fiber optic experience with the smart actuation system on the F-18 systems research aircraft
Data analysis system for the F-16
The new vision for modeling and simulation in the DoD acquisition process
Real-time testbed spacecraft simulation for the Deep Space One Spacecraft
Modular rocket engine control software (MRECS)
An overview of the VITAL program
Advanced real-time embedded system tools for intelligent architectures (ARTESIA)
Reducing avionics software cost through component based product line development
Model-based systems engineering of automotive systems
A pilot-centered autoflight system concept
Fitting the pieces together: system/software analysis and code integration using METAH
Lean software development: is it feasible?
A methodology for predictable real-time system design
Open systems architecture solutions for military avionics testing
Specification based prototyping of control systems
Transition to an open system architecture (for weapon systems)
Human factors considerations for the design and evaluation of electronic flight bags
Flight simulation in synthetic environments
Aircrew decision training and evaluation using the Internet
Characterization of a flight control computer with rollback recovery
Executable formal models for validation and specless verification
Formal analysis for real-time scheduling