基于NuSMV的系统安全性分析平台开发和应用

• 作者: 刘超 吴海桥
• 来源期刊: 飞机设计
• 学科: 地球科学
• 关键词: 系统安全性分析 模型检验 可靠性工程
• 年，卷（期）: 2013,（2）
• 页码范围: 68-71
• 页数: 4页
• 分类号: N945.1
• 语种: 中文

摘要

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响.模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求.将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以+5V电源监控系统为例,对其安全性进行了分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴海桥		40	585	15.0	23.0
2	刘超		19	57	5.0	6.0