An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.
L. AndriantsiferanaJean-Pierre CourtiatRoberto C. de OliveiraL. PicciPublished in: FORTE (1997)
Keyphrases
- monitoring system
- formal specification
- scheduling algorithm
- nuclear power plant
- model checking
- formal methods
- safety critical
- safe operation
- formal specification language
- concurrent systems
- heterogeneous wireless sensor networks
- model checker
- response time
- specification language
- protocol specification
- distributed systems
- temporal logic
- grid environment
- health monitoring
- formal verification
- distributed environment
- reverse engineering
- condition monitoring
- asynchronous circuits
- fault tolerant
- peer to peer
- patient care
- real time