-
题名面向IMA通用系统管理的STPA安全性分析
被引量：5
- 1
-
-
作者
肖国松
刘嘉琛
董磊
孙紫荆
赵长啸
-
机构
中国民航大学民航航空器适航审定技术重点实验室
中国民航大学安全科学与工程学院
天津市民用航空器适航与维修重点实验室
-
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2021年第9期8-14,共7页
-
基金
国家自然科学基金资助(U1933106)
航空科学基金资助(20185167017)
+1 种基金
中央高校基本科研业务费(3122019167)
天津市教科委科研计划项目(2019KJ134)。
-
文摘
通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证。结果表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提供形式化依据。
-
关键词
综合模块化航电(IMA)
通用系统管理(GSM)
系统理论过程分析(STPA)
动态重配置
安全性分析
-
Keywords
integrated modular avionics(IMA)
generic system management(GSM)
systematic theory process analysis(STPA)
dynamic reconfiguration
safety analysis
-
分类号
X949
[环境科学与工程—安全科学]
-
-
题名综合化航空电子的系统管理技术
被引量：6
- 2
-
-
作者
施刚
钱泰来
-
机构
华东计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第B09期43-45,共3页
-
文摘
随着微电子技术、计算机技术及信息技术的迅猛发展,航空电子系统完成的功能也越来越复杂,已经从原来独立功能子系统逐渐向高度综合化的航空电子系统方向发展。该文研究在综合化航空电子平台下,采用层次化、模块化的系统管理技术,通过健康管理、故障管理、安全管理、配置管理,解决在综合化环境下的可靠性、可用性问题。
-
关键词
综合化航空电子
通用系统管理
运行时蓝图
-
Keywords
integrated modular avionic
general system management
runtime blueprint
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名综合模块化航空电子系统的可靠性设计
被引量：16
- 3
-
-
作者
郑朝辉
陈新中
张晓先
-
机构
华东计算技术研究所
中国电子科学研究院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第23期272-273,277,共3页
-
文摘
ASAAC软件体系结构侧重于整个系统的模块化、可扩展性,其节点使用普通操作系统导致系统可靠性不够。针对该问题,将符合ARINC653标准的高可靠性分区操作系统作为ASAAC软件体系结构的节点操作系统,设计新的ASAAC通用系统管理并将其植入ARINC653的核心软件层,使两者充分融合以提高综合模块化航空电子系统的可靠性。
-
关键词
综合模块化航空电子
分区操作系统
通用系统管理
可靠性
-
Keywords
Integrated Modular Avionics（IMA）
partition operating system
general system management
reliability
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名综合航电开放式软件设计技术
被引量：11
- 4
-
-
作者
王和平
王宁
张联梅
-
机构
中国航空计算技术研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第1期4-8,196,共6页
-
基金
航空基础科学基金项目(05F31001)
-
文摘
综合航电开放式软件设计技术是新一代航电系统支持平台机载实时容错分布式计算机系统的重点,它的设计直接或间接地关系到新一代综合航电系统的性能和成本。针对先进综合航电系统的特点、性能要求,对目前机载计算机软件系统存在的可靠性、安全性低,不易移植,成本高,层次分割不清晰,功能独立性差,对系统容错支持能力弱等缺陷,提出了"三层栈结构"的软件设计新思想,通过标准接口(物理接口和逻辑接口)使得层与层、模块与模块之间得以分开,实现了功能模块化、软硬件隔离性、软件的再利用性、可剪裁性、易维护性,以适应不断增长的航空电子系统任务能力需求,为新一代航电系统支持平台机载实时容错分布式计算机系统的开发、研制提供了可靠的保证。
-
关键词
综合航电开放式系统
三层栈
虚拟通道
运行蓝图
通用系统管理
-
Keywords
integrated avionics open systems
three layer stack
virtual channel
run-time blueprints
generic system management
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
