TY - A2的歌,Zhiguang盟——赵Changxiao盟——咚,Lei AU -李,浩盟——王,彭PY - 2021 DA - 2021/01/27 TI -安全评估的可重构综合模块化航空电子设备基于STPA SP - 8875872六世- 2021 AB -重构技术,这是新设计的重要特征综合模块化航空电子系统(IMA),使失败的航空电子设备功能模块转移到剩余正常的模块,从而提高整个系统的鲁棒性。IMA重构的基本目标是确保安全飞行和正确执行任务。解决问题缺乏有效的管理机制的IMA系统开发和安全评估、安全分析方法基于邮票/ STPA和UPPAAL IMA重新配置。方法主要关注系统特点和多方交互。这种方法的基础上,进行了一些研究和分析。首先,邮票/ STPA原理研究和用于识别不安全的控制行为的重新配置过程。其次,IMA的正式模型重构开发利用UPPAAL。最后,正式的可访问性分析模型用于分析UCAs场景和相应的损失。之间的相互作用的方法使详细描述系统的组件和一个严格的数学分析,从而稀释人为因素的影响,同时保证信息的准确性和可靠性的安全约束。SN - 1687 - 5966 UR - https://doi.org/10.1155/2021/8875872 - 10.1155 / 2021/8875872摩根富林明国际航空航天工程杂志PB - Hindawi KW - ER