Computers in engineering

---

March 2006

Finding bugs and saving time

A flight management system (FMS) is used to guide commercial aircraft to their destinations, so a high level of reliability and availability is vital. In previous development efforts, Smiths Aerospace used static and laboratory testing to identify runtime errors. However, the software powering the new FMS for the Airbus A319/320/321 and A330/340 families was so large that an enormous effort would have been required using traditional testing methods.
read full story*

* This is a .pdf file. You’ll need the Adobe Acrobat Reader to view it.