中国安全科学学报

作者：肖国松, 刘嘉琛, 董磊, 孙紫荆, 赵长啸

单位：1 中国民航大学 民航航空器适航审定技术重点实验室;天津 300300;；2 中国民航大学 安全科学与工程学院,天津 300300;；3 天津市民用航空器适航与维修重点实验室,天津 300300

关键词：综合模块化航电(IMA),通用系统管理(GSM),系统理论过程分析(STPA),动态重配置,安全性分析

基金：国家自然科学基金资助(U1933106);航空科学基金资助(20185167017);中央高校基本科研业务费(3122019167);天津市教科委科研计划项目(2019KJ134)。

通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证。结果表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提供形式化依据。

来源：2021年第9期

《中国安全科学学报》期刊编辑部

查看中国安全科学学报杂志2021年第9期