Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems.
Jingyue LiAltin QeriqiMartin SteffenIngrid Chieh YuPublished in: NIK (2016)
Keyphrases
- safety critical
- model checking
- formal methods
- control system
- model checker
- symbolic model checking
- temporal logic
- finite state machines
- fuzzy logic
- formal specification
- finite state
- formal verification
- fault tolerant
- real time
- agent architecture
- embedded systems
- knowledge based systems
- knowledge base
- support systems
- reinforcement learning
- software engineering
- data mining