Abstract

This chapter introduces a single large example of using the properties and architecture which have been discussed in earlier chapters. The example chosen is an Air Traffic Control (ATC) Support System. The concrete meaning of the abstract properties introduced in earlier chapters [...]

Abstract

Cooperation in time-critical and physically distributed work settings, such as air traffic control, requires extensive coordination between the involved actors. For this oordination to be efficient the controllers rely both on the comprehensive use of rules and procedures, and [...]

Abstract

The CFMU has developed mission critical applications for Europewide flight plan processing and air traffic management activities using Ada83. This paper presents the techniques and tools used for the migration from an Ada83 to an Ada95 compiler and run-time. It puts a particular emphasis [...]