期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于AADL的分布式综合模块化航电系统架构建模与分析
被引量：
5
1
作者
邢亮
《电光与控制》
CSCD
北大核心
2020年第2期64-69,97,共7页
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的...
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。
展开更多
关键词
分布式综合模块化航空电子
架构分析与设计语言
可调度性
架构
设计
在线阅读
下载PDF
职称材料
基于AADL的综合模块化航空电子通信调度分析与建模
被引量：
2
2
作者
孙毅刚
李浩
+1 位作者
赵珍
樊智勇
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015年第4期497-507,共11页
针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言...
针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language,AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。
展开更多
关键词
综合模块化航空电子
通信调度
通信流
架构分析与设计语言
在线阅读
下载PDF
职称材料
题名
基于AADL的分布式综合模块化航电系统架构建模与分析
被引量：
5
1
作者
邢亮
机构
航空工业西安航空计算技术研究所
出处
《电光与控制》
CSCD
北大核心
2020年第2期64-69,97,共7页
基金
国家重大科技专项基金(2012ZX01041-006)
文摘
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。
关键词
分布式综合模块化航空电子
架构分析与设计语言
可调度性
架构
设计
Keywords
distributed integrated modular avionics
architecture analysis and design language
schedulability
architecture design
分类号
V243 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
基于AADL的综合模块化航空电子通信调度分析与建模
被引量：
2
2
作者
孙毅刚
李浩
赵珍
樊智勇
机构
中国民航大学航空自动化学院
中国民航大学工程训练中心
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015年第4期497-507,共11页
基金
国家重点基础研究发展计划("九七三"计划)(2014CB744904)资助项目
文摘
针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language,AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。
关键词
综合模块化航空电子
通信调度
通信流
架构分析与设计语言
Keywords
integrated modular avionics
communication schedule
communication flows
architectureanalysis and design language
分类号
V556.7 [航空宇航科学与技术—人机与环境工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于AADL的分布式综合模块化航电系统架构建模与分析
邢亮
《电光与控制》
CSCD
北大核心
2020
5
在线阅读
下载PDF
职称材料
2
基于AADL的综合模块化航空电子通信调度分析与建模
孙毅刚
李浩
赵珍
樊智勇
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
