Title :
Using formal methods to develop an ATC information system
Author_Institution :
Praxis Syst. plc, Bath, UK
fDate :
3/1/1996 12:00:00 AM
Abstract :
Can formal methods be a part of large system development? The project teams at Praxis used a combination of formal methods to help specify, design, and verify CDIS, a large information display system within on ATC support system. Their project suggests that it can be practicable and beneficial
Keywords :
air traffic control; formal specification; program verification; traffic information systems; ATC information system; ATC support system; CDIS; Praxis; air traffic control system; formal methods; large information display system; large system development; project teams; Air traffic control; Airports; Automatic generation control; Computer displays; Information systems; Software testing; System testing; TV; Temperature control; Workstations;
Journal_Title :
Software, IEEE
