论文摘要
针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率。
论文目录
文章来源
类型: 期刊论文
作者: 丁明,张书玲,张琛,张军
关键词: 航空电子系统,安全性,形式化方法,模型检测
来源: 西安电子科技大学学报 2019年03期
年度: 2019
分类: 信息科技,工程科技Ⅱ辑
专业: 航空航天科学与工程
单位: 西北大学信息科学与技术学院,西安航空计算技术研究所,西安电子科技大学计算机科学与技术学院
基金: 国家自然科学基金(61502365),陕西省重点研发计划一般项目(2019GY-042)
分类号: V243
DOI: 10.19665/j.issn1001-2400.2019.03.011
页码: 66-73
总页数: 8
文件大小: 1368K
下载量: 189
相关论文文献
- [1].多窗口传输协议及其在航空电子系统大数据传输中的应用[J]. 航空工程进展 2020(02)
- [2].解析综合化航空电子系统安全技术[J]. 科技创新导报 2019(19)
- [3].多核虚拟化分区技术在航空电子系统中的应用[J]. 计算机测量与控制 2019(11)
- [4].综合模块化航空电子系统远程加载技术研究及性能分析[J]. 航空电子技术 2016(04)
- [5].航空电子系统的自动化设计[J]. 黑龙江科学 2016(24)
- [6].综合化航空电子系统网络传输延迟测试软件设计[J]. 测控技术 2017(03)
- [7].非航空电子系统监控处理机设计技术研究[J]. 科技风 2017(09)
- [8].航空电子系统光纤通道性能研究[J]. 重庆理工大学学报(自然科学) 2017(08)
- [9].新一代航空电子总线系统结构研究[J]. 电子测试 2017(19)
- [10].航空电子系统技术及发展方向分析[J]. 通讯世界 2017(21)
- [11].综合航空电子系统故障诊断与健康管理技术发展[J]. 电子技术与软件工程 2016(01)
- [12].航空电子系统的模块化软件技术研究[J]. 信息通信 2016(04)
- [13].综合模块化航空电子系统[J]. 科技视界 2016(13)
- [14].综合化航空电子系统中的热重启动设计[J]. 电讯技术 2016(07)
- [15].航空电子系统的使用特点[J]. 黑龙江科技信息 2016(30)
- [16].飞行器航空电子系统发展及组成结构研究[J]. 航空制造技术 2015(04)
- [17].航空电子系统技术及发展方向分析[J]. 电子世界 2014(18)
- [18].民用航空电子系统发展及新技术研究[J]. 科技创新与应用 2015(25)
- [19].航空电子系统的发展历程及发展建议[J]. 数码世界 2019(08)
- [20].现代大型飞行航空电子系统的现状与发展趋势[J]. 饮食科学 2018(14)
- [21].综合化航空电子系统可信保障关键技术分析[J]. 科技致富向导 2015(09)
- [22].航空电子系统保障性设计探讨[J]. 电子制作 2013(20)
- [23].航空电子系统仿真可信度评估方法研究[J]. 计算机仿真 2019(11)
- [24].浅谈航空电子数据总线技术[J]. 科学技术创新 2020(01)
- [25].基于时间触发通信的机载网络可靠性[J]. 计算机工程与设计 2020(05)
- [26].新一代军用飞机航空电子系统发展趋势与发展现状[J]. 教练机 2019(03)
- [27].DIMA系统网络通信技术方案选择[J]. 电光与控制 2019(11)
- [28].航空电子系统故障预测与健康管理技术探究[J]. 科技资讯 2017(34)
- [29].某非航空电子系统监控处理机动态仿真测试系统的设计与实现[J]. 信息通信 2017(02)
- [30].航空电子系统发展及展望[J]. 科技资讯 2014(03)