| 摘要: |
| 平视显示（Head-up Display，HUD）系统属于航电安全关键系统，可以提高低能见度下的飞机运行安全，需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加，传统方法很难捕获系统组件交互带来的危险。为此，采用系统理论过程分析（Systematic Theory Process Analysis，STPA）对HUD进行分析，充分考虑系统的多方交互，识别系统潜在的不安全控制行为，同时利用时间自动机理论及其工具UPPAAL对系统进行建模，验证STPA识别的不安全控制行为；最后设计了一个路径算法，对导致其发生的危险路径进行检索。结果表明，该方法能够识别出系统潜在的危险及其原因，减少了人为因素对分析的影响。 |
| 关键词: 民用飞机 航空电子系统 平视显示系统 安全性分析 系统理论过程分析 时间自动机 |
| DOI： |
|
| 基金项目:国家自然科学基金委员会-中国民航局民航联合研究基金（U1533105） |
|
| Safety analysis of head-up display system based on STPA |
| WANG Peng,LI Hao,ZHAO Changxiao,XING Peipei |
| (a.Key Laboratory of Civil Aircraft Airworthiness Technology;b.School of Airworthiness,Civil Aviation University of China,Tianjin 300300,China;a.Key Laboratory of Civil Aircraft Airworthiness Technology;c.Sino-European Institute of Aviation Engineering,Civil Aviation University of China,Tianjin 300300,China) |
| Abstract: |
| The head-up display system(HUD) is a key system for avionics that can improve operational safety of aircraft under low visibility.It is necessary to carry out complete safety analysis during development process.Traditional methods are difficult to capture hazards of interactions among components due to the increasing complexity of the avionics system.Therefore，the HUD system is analyzed by systematic theory process analysis(STPA),which pays more attention to interaction among components,and potential unsafe control actions are identified.Meanwhile,the formal model of HUD system is established and unsafe control actions identified are verified by the formalization tool based on Timed Automata——UPPAAL.Finally,a UPPAAL path algorithm is designed to search causes of unsafe control actions.The result shows that this method can identify the potential hazards of the system and analyze its causes effectively.It reduces the influence of human factors on the analysis. |
| Key words: civil aircraft avionics system head-up display(HUD) system safety analysis systematic theory process analysis(STPA) timed automata |
《电讯技术》编辑部 