增强视景系统形式化安全性分析方法研究

摘要：

针对传统方法分析增强视景系统所产生的工作量大、依赖安全性分析人员经验、容易出现疏漏等问题,提出了增强视景系统形式化安全性分析方法,即在分析系统需求和安全性需求基础上,利用形式化分层建模方法建立增强视景系统名义模型和失效模型,并针对典型失效状态进行形式化安全性分析,得出定性和定量安全性分析结论.研究结果表明,所提出的方法能够提高安全性分析效率,可降低安全性分析工作量.

关键词：增强视景系统、形式化模型、安全性分析、分层建模

所属期刊栏目：36

分类号：V241.8(航空仪表、航空设备、飞行控制与导航)

资助基金：中央高校基本科研业务费专项资金;中国民航大学科研启动基金

在线出版日期：2020-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：41-47,136