Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Does Model-Based Development Scale?Airbus A380Length239 ft 6 inWingspan261 ft 10 inMaximum Take<strong>of</strong>f Weight 1,235,000 lbsPassengers Up to 840Range9,383 milesSystems Developed Using MBD• Flight Control• Auto Pilot• Fight Warning• Cockpit Display• Fuel Management• Landing Gear• Braking• Steering• <strong>An</strong>ti-Icing• Electrical Load Management© 2006 Rockwell Collins, Inc. All rights reserved.12