期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
一种基于AADL的IMA系统配置信息的正确性检测方法 被引量:1
1
作者 胡军 马金晶 +1 位作者 袁翔 刘雪 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第6期920-930,共11页
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65... 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。 展开更多
关键词 软件可靠性测试 综合模块化航电系统 arinc653配置信息 AADL REAL OSATE
下载PDF
模型驱动的安全关键系统重配置信息验证方法 被引量:4
2
作者 胡军 马金晶 +3 位作者 刘雪 程桢 石娇洁 黄志球 《计算机科学与探索》 CSCD 北大核心 2015年第4期385-402,共18页
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。 展开更多
关键词 系统配置信息验证 MARTE 模型驱动工程 arinc653 综合模块化航电系统(IMA)
下载PDF
基于XSLT的配置数据生成方法研究
3
作者 李晓龙 林卓 张磊 《电脑编程技巧与维护》 2023年第3期76-78,共3页
传统嵌入式操作系统配置数据生成目标机可加载数据,一般采用与功能代码联编的方法,并且每个用户的配置数据并未隔离,任意一项配置数据的更改都需要整个系统的重新编译、生成、加载,这种配置数据生成方式极大地降低了嵌入式系统升级迭代... 传统嵌入式操作系统配置数据生成目标机可加载数据,一般采用与功能代码联编的方法,并且每个用户的配置数据并未隔离,任意一项配置数据的更改都需要整个系统的重新编译、生成、加载,这种配置数据生成方式极大地降低了嵌入式系统升级迭代的效率。针对上述问题,提出了一种基于可扩展样式表转换语言(Extensible Stylesheet Language Transformations,XSLT)的嵌入式操作系统配置数据生成方法。首先,扩充XSLT的接口函数使得其能完善支持对配置数据的提取、计算、生成,并以基于服务的方式对外提供数据处理接口;其次,设计了脚本服务解释器,提供脚本输入接口,每一个配置数据目标文件的生成都由一个独立的脚本控制。基于XSLT的配置数据生成提出的方法很好地解决了配置数据独立编译生成的问题,摆脱了对编译器的依赖,且配置数据能够独立开发、独立生成、独立加载运行,极大地提升了嵌入式系统开发者的开发效率,具有很高的应用价值。 展开更多
关键词 arinc653标准 XSLT工具 配置数据生成 嵌入式系统配置 独立编译
下载PDF
IMA系统模块配置数据生成技术的研究与实现
4
作者 王婷 《计算机光盘软件与应用》 2013年第4期52-54,共3页
ARINC 653标准(航电应用软件标准接口)在基于IMA(综合模块化航空电子)系统的安全性航电系统开发中已经处于领导地位[1]。该标准提供了IMA系统中配置信息的XML Schema的定义,并建议开发工具来完成配置信息到直接可用于IMA系统的二进制表... ARINC 653标准(航电应用软件标准接口)在基于IMA(综合模块化航空电子)系统的安全性航电系统开发中已经处于领导地位[1]。该标准提供了IMA系统中配置信息的XML Schema的定义,并建议开发工具来完成配置信息到直接可用于IMA系统的二进制表示的转换[2]。本文基于该标准的要求,首先分析了配置数据的作用,然后研究并实现了一种配置生成工具,通过使用嵌入Schema的标记来检验并处理含有配置数据的XML文件,将其翻译为能用于IMA系统的二进制目标文件,该技术已经应用于自主研制的操作系统及开发环境中。 展开更多
关键词 arinc 653 XML SCHEMA 模块配置数据 操作系统 IMA
下载PDF
多余度机载系统消息映射与配置的改进设计
5
作者 丁艳 谌钺 《航空计算技术》 2016年第6期100-102,107,共4页
针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性。
关键词 arinc653操作系统 余度 消息映射 配置
下载PDF
机载远程数据集中器协议转换方法研究 被引量:3
6
作者 周德新 赵济舟 马腾达 《计算机测量与控制》 2015年第7期2521-2523,2527,共4页
针对机载远程数据集中器(RDC)的数据转换功能,在对ARINC429和AFDX两种机载数据总线分析的基础上,提出了一种基于配置信息中虚拟链路(VL,virtual link)与ARINC429数据标号的适配关系的数据转换方法;对RDC功能需求进行分析并给出整体设计... 针对机载远程数据集中器(RDC)的数据转换功能,在对ARINC429和AFDX两种机载数据总线分析的基础上,提出了一种基于配置信息中虚拟链路(VL,virtual link)与ARINC429数据标号的适配关系的数据转换方法;对RDC功能需求进行分析并给出整体设计方案,采用模块化设计并对各模块功能进行了详细的介绍,其中配置信息模块的应用增加了RDC数据转换功能的灵活性;在新型航电系统架构下,通过对RDC之间基于VL的通信过程中的数据转换过程进行仿真和分析,验证此方法的可行性;协议转换方法的研究为RDC的整体功能仿真研究奠定了基础。 展开更多
关键词 arinc429 AFDX 虚拟链路 标号 配置信息
下载PDF
基于FlexRay总线的无人机航电系统设计 被引量:3
7
作者 豆海利 《现代电子技术》 2021年第23期13-17,共5页
针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计... 针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计出了综合化、网络统一化、具有蓝图配置的无人机先进航电系统架构,并通过集成配置平台,利用XML文件实现系统ICD的动态装载,能够支持系统管理、网络通信、时间同步、容错策略等功能。最后完成了系统半实物仿真实验,验证结果表明设计方案合理可行,该系统具有重构性、可扩展和健壮性,能够满足中小型无人机先进航电系统的应用要求,为未来新型分布式综合模块化航空电子系统的研究与设计提供了技术支持。 展开更多
关键词 综合模块化航空电子 无人机 FLEXRAY arinc653 时间触发协议 开放式系统架构 系统健康管理 蓝图配置
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部