国内刊号:51-1267/TN
国际刊号:1001-893X
发布日期:
作者:王鹏,李浩,赵长啸,邢培培
单位:(中国民航大学 a.民航航空器适航审定技术重点实验室;b.适航学院,天津 300300;c.中欧航空工程师学院,天津 300300)
关键词:民用飞机;航空电子系统;平视显示系统;安全性分析;系统理论过程分析;时间自动机;
基金:国家自然科学基金委员会-中国民航局民航联合研究基金(U1533105)
平视显示(Head-up Display,HUD)系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加,传统方法很难捕获系统组件交互带来的危险。为此,采用系统理论过程分析(Systematic Theory Process Analysis,STPA)对HUD进行分析,充分考虑系统的多方交互,识别系统潜在的不安全控制行为,同时利用时间自动机理论及其工具UPPAAL对系统进行建模,验证STPA识别的不安全控制行为;最后设计了一个路径算法,对导致其发生的危险路径进行检索。结果表明,该方法能够识别出系统潜在的危险及其原因,减少了人为因素对分析的影响。?
来源:2019年第12期
《电讯技术》期刊编辑部