期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于AADL的IMA系统配置信息的正确性检测方法
被引量：
2
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
职称材料
多余度机载系统消息映射与配置的改进设计
被引量：
1
2
作者
丁艳
谌钺
《航空计算技术》
2016年第6期100-102,107,共4页
针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性。
关键词
arinc
653
操作系统
余度
消息映射
配置
在线阅读
下载PDF
职称材料
基于FlexRay总线的无人机航电系统设计
被引量：
3
3
作者
豆海利
《现代电子技术》
2021年第23期13-17,共5页
针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计...
针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计出了综合化、网络统一化、具有蓝图配置的无人机先进航电系统架构,并通过集成配置平台,利用XML文件实现系统ICD的动态装载,能够支持系统管理、网络通信、时间同步、容错策略等功能。最后完成了系统半实物仿真实验,验证结果表明设计方案合理可行,该系统具有重构性、可扩展和健壮性,能够满足中小型无人机先进航电系统的应用要求,为未来新型分布式综合模块化航空电子系统的研究与设计提供了技术支持。
展开更多
关键词
综合模块化航空电子
无人机
FLEXRAY
arinc
653
时间触发协议
开放式系统架构
系统健康管理
蓝图
配置
在线阅读
下载PDF
职称材料
题名
一种基于AADL的IMA系统配置信息的正确性检测方法
被引量：
2
1
作者
胡军
马金晶
袁翔
刘雪
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2014年第6期920-930,共11页
基金
国家重点基础研究发展计划("九七三"计划)(2014CB744904)资助项目
回国留学人员科研启动基金(2012)资助项目
+1 种基金
611航空科研基金(2012)资助项目
南京航空航天大学青年科技创新基金(NS2014098)资助项目
文摘
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。
关键词
软件可靠性测试
综合模块化航电系统
arinc653配置信息
AADL
REAL
OSATE
Keywords
software reliability testing
integrated modular avionics
arinc
653
configuration information
AADL
REAL
OSATE
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
多余度机载系统消息映射与配置的改进设计
被引量：
1
2
作者
丁艳
谌钺
机构
中航工业第一飞机设计研究院
出处
《航空计算技术》
2016年第6期100-102,107,共4页
基金
国家重大专项项目资助(2012ZX01041-006)
文摘
针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性。
关键词
arinc
653
操作系统
余度
消息映射
配置
Keywords
arinc
653
operation system
redundancy
message mapping
configuration
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于FlexRay总线的无人机航电系统设计
被引量：
3
3
作者
豆海利
机构
空军工程大学基础部
出处
《现代电子技术》
2021年第23期13-17,共5页
基金
空军工程大学基础部科研启动基金资助(JK2021102)。
文摘
针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计出了综合化、网络统一化、具有蓝图配置的无人机先进航电系统架构,并通过集成配置平台,利用XML文件实现系统ICD的动态装载,能够支持系统管理、网络通信、时间同步、容错策略等功能。最后完成了系统半实物仿真实验,验证结果表明设计方案合理可行,该系统具有重构性、可扩展和健壮性,能够满足中小型无人机先进航电系统的应用要求,为未来新型分布式综合模块化航空电子系统的研究与设计提供了技术支持。
关键词
综合模块化航空电子
无人机
FLEXRAY
arinc
653
时间触发协议
开放式系统架构
系统健康管理
蓝图
配置
Keywords
integrated modular avionics(IMA)
UAV
FlexRay
arinc
653
time-triggered protocol(TTP)
open system architecture
system health management
blueprint configuration
分类号
TN962-34 [电子电信—信号与信息处理]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于AADL的IMA系统配置信息的正确性检测方法
胡军
马金晶
袁翔
刘雪
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2014
2
在线阅读
下载PDF
职称材料
2
多余度机载系统消息映射与配置的改进设计
丁艳
谌钺
《航空计算技术》
2016
1
在线阅读
下载PDF
职称材料
3
基于FlexRay总线的无人机航电系统设计
豆海利
《现代电子技术》
2021
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
