Formally verified, rapid prototyping for Air Traffic Control

Reliability Engineering and System Safety

Volumn 75, Issue 2, 2002, Pages 121-132

  Sage, M ^a   Johnson, C W ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Air Traffic Control; Formal methods; Prototyping; Safety critical systems

Indexed keywords

FORMAL LOGIC; MULTI AGENT SYSTEMS; RAPID PROTOTYPING; SECURITY SYSTEMS;

SPACE EXPLOSION PROBLEMS;

AIR TRAFFIC CONTROL;

EID: 0036466924     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(01)00089-8     Document Type: Article

References (24)

1. Functional reactive animation
2. CADP'97 - Status, applications, and perspectives
3. Linguistic support for the evolutionary design of software architectures
4. Do interactive systems need specifications
5. A method for predicting errors when interacting with Finite State Machines
6. Compositional state space generation from Lotos programs
7. Analyzing software specifications for mode confusion potential
8. SpecTRM: A CAD system for digital automation
9. Reinventing the familiar: Exploring an augmented reality design space for Air Traffic Control
10. Tcl: An embeddable command language
11. Formal specification as a tool for objective assessment of safety-critical interactive systems
12. Formal verification of undesired behaviours in the CERD case study
13. Lambda in motion: Controlling robots with Haskell
14. Detecting mode confusion and other automation surprises using automated formal methods
15. How in the world did I ever get into that mode? Mode error and awareness in supervisory control
16. Situated evaluation for cooperative systems
17. Approaches to mitigating complexity-driven issues in commercial autoflight systems