基于系统多维要素的安全关键软件验证方法 (Systemic Muti-factors Based Verification Method for Safety-critical Software).
Xiaohu LvXiaodong HanJianglei GongZhijie WangXiaokun LiuPublished in: 计算机科学 (2019)
Keyphrases
- safety critical
- verification method
- formal methods
- model checking
- safety analysis
- embedded systems
- fault tolerant
- agent architecture
- nuclear power plant
- temporal logic
- support systems
- regulatory requirements
- adaptive systems
- software intensive systems
- formal specification
- medical data
- data mining
- decision support
- management system
- learning process
- decision making