Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System.
P. M. Melliar-SmithRichard L. SchwartzPublished in: IEEE Trans. Computers (1982)
Keyphrases
- fault tolerant
- formal specification
- model checking
- control system
- concurrent systems
- fault tolerance
- formal methods
- model checker
- protocol specification
- temporal logic
- process algebra
- specification languages
- distributed systems
- specification language
- object oriented design
- formal verification
- load balancing
- data abstraction
- safety critical
- state machine
- closed loop
- high alpha research vehicle
- control law
- interconnection networks
- database
- reverse engineering
- software components
- information systems
- asynchronous circuits
- peer to peer
- case study
- artificial intelligence