A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram.
Chuanlin HuangZhiqiu HuangJun HuZhipeng WuSiqi WangPublished in: J. Softw. (2015)
Keyphrases
- safety analysis
- formal methods
- nuclear power plant
- safety critical
- control system
- symbolic model checking
- fault model
- model checking
- state transition
- human activities
- black box
- modeling language
- face verification
- artificial intelligence
- formal verification
- activity patterns
- asynchronous circuits
- reinforcement learning