Architecture assessment for safety critical plant operation using reachability analysis of timed automata.
David GouyonJean-François PétinThomas CochardCatherine DevicPublished in: Reliab. Eng. Syst. Saf. (2020)
Keyphrases
- reachability analysis
- timed automata
- safety critical
- nuclear power plant
- model checking
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- temporal logic
- theorem prover
- markov decision processes
- real time systems
- theorem proving
- agent architecture
- real time
- formal specification
- control system
- first order logic
- management system
- support systems
- adaptive systems
- regulatory requirements
- incremental algorithms
- cooperative
- knowledge acquisition
- state space
- knowledge base
- machine learning