一种航空电子系统安全性需求验证方法

• 作者: 丁明 张书玲 张军 张琛
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 航空电子系统 安全性 形式化方法 模型检测
• 年，卷（期）: 2019,（3）
• 页码范围: 66-73
• 页数: 8页
• 分类号: TP311
• 字数: 6056字
• 语种: 中文
• DOI: 10.19665/j.issn1001-2400.2019.03.011

摘要

针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法.该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证.实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张琛	西安电子科技大学计算机科学与技术学院	10	41	4.0	6.0
2	张书玲	西北大学信息科学与技术学院	37	293	9.0	15.0
3	丁明	西北大学信息科学与技术学院	5	11	2.0	3.0
5	张军		13	34	3.0	5.0