I am often asked whether any new applications are being started from scratch in Ada. There are indeed some examples, a notable one being iFacts[ 1 ], a land-based component of the new air traffic control system for the United Kingdom's National Air Traffic Services (NATS). This application is being developed in Ada, using the SPARK dialect with rigorous formal methods. However, that project is an exception. Most new large applications are not started from scratch in Ada, or in any other language for that matter. Instead, they make varying use of so-called "legacy" components, reusing code from earlier systems.
展开▼
