基于 STAMP 的集成航空电子设备中人机交互的风险识别和安全评估

IF 1.9 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Journal of Systems Engineering and Electronics Pub Date : 2024-04-23 DOI:10.23919/jsee.2024.000031
Changxiao Zhao, Hao Li, Wei Zhang, Jun Dai, Lei Dong
{"title":"基于 STAMP 的集成航空电子设备中人机交互的风险识别和安全评估","authors":"Changxiao Zhao, Hao Li, Wei Zhang, Jun Dai, Lei Dong","doi":"10.23919/jsee.2024.000031","DOIUrl":null,"url":null,"abstract":"To solve the problem of risk identification and quantitative assessment for human-computer interaction (HCI) in complex avionics systems, an HCI safety analysis framework based on system-theoretical process analysis (STPA) and cognitive reliability and error analysis method (CREAM) is proposed. STPA-CREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically. The common performance conditions (CPC) of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out. Taking the head-up display (HUD) system interaction process as an example, a case analysis is carried out, the layered safety control structure and formal model of the HUD interaction process are established. For the interactive behavior “Pilots approaching with HUD”, four unsafe control actions and 35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed. The results show that HUD's HCI level gradually improves as the scores of CPC increase, and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI. Through case analysis, it is shown that STPA-CREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.","PeriodicalId":50030,"journal":{"name":"Journal of Systems Engineering and Electronics","volume":"16 1","pages":""},"PeriodicalIF":1.9000,"publicationDate":"2024-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Risk Identification and Safety Assessment of Human-Computer Interaction in Integrated Avionics Based on STAMP\",\"authors\":\"Changxiao Zhao, Hao Li, Wei Zhang, Jun Dai, Lei Dong\",\"doi\":\"10.23919/jsee.2024.000031\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"To solve the problem of risk identification and quantitative assessment for human-computer interaction (HCI) in complex avionics systems, an HCI safety analysis framework based on system-theoretical process analysis (STPA) and cognitive reliability and error analysis method (CREAM) is proposed. STPA-CREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically. The common performance conditions (CPC) of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out. Taking the head-up display (HUD) system interaction process as an example, a case analysis is carried out, the layered safety control structure and formal model of the HUD interaction process are established. For the interactive behavior “Pilots approaching with HUD”, four unsafe control actions and 35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed. The results show that HUD's HCI level gradually improves as the scores of CPC increase, and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI. Through case analysis, it is shown that STPA-CREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.\",\"PeriodicalId\":50030,\"journal\":{\"name\":\"Journal of Systems Engineering and Electronics\",\"volume\":\"16 1\",\"pages\":\"\"},\"PeriodicalIF\":1.9000,\"publicationDate\":\"2024-04-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Systems Engineering and Electronics\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.23919/jsee.2024.000031\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Systems Engineering and Electronics","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.23919/jsee.2024.000031","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0

摘要

为解决复杂航空电子系统中人机交互(HCI)的风险识别和定量评估问题,提出了基于系统理论过程分析(STPA)和认知可靠性与错误分析方法(CREAM)的人机交互安全分析框架。STPA-CREAM 可在形式验证工具的帮助下,自动识别不安全的控制动作,并找到航电系统与飞行员交互过程中的因果路径。建立了航空环境中航电系统的常见性能条件(CPC),并对人为故障进行了定量分析。以平视显示器(HUD)系统交互过程为例,进行了案例分析,建立了平视显示器交互过程的分层安全控制结构和形式化模型。针对 "飞行员使用 HUD 接近 "这一交互行为,确定了 4 种不安全控制行为和 35 种因果情景,并分析了不同层次的常见性能条件对飞行员决策模型的影响。结果表明,随着 CPC 分数的增加,HUD 的人机交互水平逐渐提高,而机组成员的合作质量和任务的时间充分性是其人机交互的关键。通过案例分析表明,STPA-CREAM 可以定量评估人机交互中的危险,并识别影响安全的关键因素。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Risk Identification and Safety Assessment of Human-Computer Interaction in Integrated Avionics Based on STAMP
To solve the problem of risk identification and quantitative assessment for human-computer interaction (HCI) in complex avionics systems, an HCI safety analysis framework based on system-theoretical process analysis (STPA) and cognitive reliability and error analysis method (CREAM) is proposed. STPA-CREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically. The common performance conditions (CPC) of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out. Taking the head-up display (HUD) system interaction process as an example, a case analysis is carried out, the layered safety control structure and formal model of the HUD interaction process are established. For the interactive behavior “Pilots approaching with HUD”, four unsafe control actions and 35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed. The results show that HUD's HCI level gradually improves as the scores of CPC increase, and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI. Through case analysis, it is shown that STPA-CREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Journal of Systems Engineering and Electronics
Journal of Systems Engineering and Electronics 工程技术-工程:电子与电气
CiteScore
4.10
自引率
14.30%
发文量
131
审稿时长
7.5 months
期刊介绍: Information not localized
期刊最新文献
System Error Iterative Identification for Underwater Positioning Based on Spectral Clustering Cloud Control for IIoT in a Cloud-Edge Environment Multi-Network-Region Traffic Cooperative Scheduling in Large-Scale LEO Satellite Networks Quantitative Method for Calculating Spatial Release Region for Laser-Guided Bomb Early Warning of Core Network Capacity in Space-Terrestrial Integrated Networks
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1