Validating Avionics Conceptual Architectures with Executable Specifications 英文论文文献.docVIP

Validating Avionics Conceptual Architectures with Executable Specifications Nils FISCHER Department of Automotive and Aeronautical Engineering, Hamburg University of Applied Sciences Berliner Tor 5, Hamburg, 20099, Germany and Horst SALZWEDEL MLDesign Technologies, Inc., 2230 St. Francis Drive, Palo Alto, CA 94303, USA ABSTRACT coupled aerodynamics, aircraft structure and control. Again, many approaches failed to overcome the aero–servo–elasticity problems. It took some time until Science Applications International Corporation (SAIC), developed standardized ma