-
题名模型驱动的安全关键系统重配置信息验证方法
被引量：4
- 1
-
-
作者
胡军
马金晶
刘雪
程桢
石娇洁
黄志球
-
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机科学与探索》
CSCD
北大核心
2015年第4期385-402,共18页
-
基金
国家重点基础研究发展计划(973计划)Grant No.2014CB744904
教育部留学回国人员科研启动基金Grant No.2012
+1 种基金
611航空科研基金Grant No.2012
南京航空航天大学青年科技创新基金Grant No.NS2014098~~
-
文摘
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。
-
关键词
系统配置信息验证
MARTE
模型驱动工程
ARINC653
综合模块化航电系统(ima)
-
Keywords
verification of system configuration information
MARTE
model driven engineering
ARINC653
inte-grated modular avionics （ima）
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向民机综合化航电系统的安全例证法研究
被引量：4
- 2
-
-
作者
赵长啸
阎芳
邢培培
王鹏
-
机构
中国民航大学天津市民用航空器适航与维修重点实验室
-
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2017年第7期82-87,共6页
-
基金
国家自然基金-民航联合资助(U1533105)
国家重点基础研究发展("973")计划项目(2014CB744902)
中央高校基金资助(3122017090)
-
文摘
为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分析安全例证法的适用性和基本结构,从安全性需求、框架、实施3个层面分析安全例证法在民机IMA中的应用,讨论基于过程和产品的2种不同安全论证方式,以系统管理功能为例,利用目标结构化标记(GSN)语言,论证IMA的安全性。结果表明:安全例证法可与民机系统开发流程对应,有效地整合安全性分析过程中的安全证据资源,并在系统安全性需求与安全性证据间建立明确的关系。
-
关键词
民用飞机
系统安全性评估
综合模块化航电系统(ima)
安全例证目标结构化标记(GSN)
适航
-
Keywords
civil aircraft
system safety assessment
integrated modular avionics（ima）
safety case
goal structuring notation（GSN）
airworthiness
-
分类号
X949
[环境科学与工程—安全科学]
-
-
题名民用飞机综合模块化航电系统资源状态监控技术研究
被引量：2
- 3
-
-
作者
李念霏
陈福
陈宁
王佳明
-
机构
航空工业西安航空计算技术研究所
-
出处
《民用飞机设计与研究》
2020年第1期49-53,共5页
-
文摘
随着处理器和机载嵌入式实时分区操作系统等相关技术的不断升级换代,IMA系统功能的集成度也越来越高,高集成度增加了系统资源分配的难度,需要通过对系统资源状态进行实时监控和分析进而不断优化系统配置。首先对IMA系统的分区特性进行了深入研究,基于探针插桩监控数据采集技术,提出了一种系统行为和时间资源状态监控的策略。研究了数据监控采集系统的软件架构,在此基础上设计和实现了系统行为监视器和时间资源监视器,并在某民机重点预研课题中进行了应用验证。结果表明,能够有效帮助应用开发者和系统综合者直观分析系统时间性能瓶颈,优化资源配置方案,实现计算资源的负载均衡。对IMA系统资源状态监控及资源配置优化具有一定的指导意义和实用价值。
-
关键词
综合模块化航电系统(ima)
资源状态
系统行为
时间资源
性能分析
-
Keywords
ima
resource status
system behavior
time resources
performance analysis
-
分类号
V243
[航空宇航科学与技术—飞行器设计]
-
