期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于AADL的航空电子系统架构建模与多维特性分析评估方法研究
1
作者
杨承儒
徐晨
+1 位作者
王世海
安东
《航空电子技术》
2025年第1期21-30,共10页
航空电子系统向综合化、智能化方向演进,其高复杂特征使系统架构设计面临新挑战。为应对航空电子系统架构设计的新需求,本文提出基于架构分析与设计语言的航空电子系统架构建模与多维特性分析评估方法;通过软硬件分离的分层建模体系,构...
航空电子系统向综合化、智能化方向演进,其高复杂特征使系统架构设计面临新挑战。为应对航空电子系统架构设计的新需求,本文提出基于架构分析与设计语言的航空电子系统架构建模与多维特性分析评估方法;通过软硬件分离的分层建模体系,构建硬件、软件和系统部署关系的架构模型;基于时间网络图转换法、有向加权网络分析及参数累加方法,构建实时性、交互复杂性及功耗三项核心特性的量化分析模型和计算框架;提出功能型与性能型分型评估体系,构建系统架构量化评估框架。实例表明,该方法能有效解耦系统组件关系、显性化架构特征,为航空电子系统架构设计的方案选型与迭代优化提供量化决策依据。
展开更多
关键词
架构分析与设计语言
建模
实时性
分析
交互复杂性
多维特性评估
在线阅读
下载PDF
职称材料
基于AADL的分布式综合模块化航电系统架构建模与分析
被引量：
5
2
作者
邢亮
《电光与控制》
CSCD
北大核心
2020年第2期64-69,97,共7页
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的...
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。
展开更多
关键词
分布式综合模块化航空电子
架构分析与设计语言
可调度性
架构
设计
在线阅读
下载PDF
职称材料
基于AADL的综合模块化航空电子通信调度分析与建模
被引量：
2
3
作者
孙毅刚
李浩
+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的航空电子系统架构建模与多维特性分析评估方法研究
1
作者
杨承儒
徐晨
王世海
安东
机构
北京航空航天大学可靠性与系统工程学院
出处
《航空电子技术》
2025年第1期21-30,共10页
文摘
航空电子系统向综合化、智能化方向演进,其高复杂特征使系统架构设计面临新挑战。为应对航空电子系统架构设计的新需求,本文提出基于架构分析与设计语言的航空电子系统架构建模与多维特性分析评估方法;通过软硬件分离的分层建模体系,构建硬件、软件和系统部署关系的架构模型;基于时间网络图转换法、有向加权网络分析及参数累加方法,构建实时性、交互复杂性及功耗三项核心特性的量化分析模型和计算框架;提出功能型与性能型分型评估体系,构建系统架构量化评估框架。实例表明,该方法能有效解耦系统组件关系、显性化架构特征,为航空电子系统架构设计的方案选型与迭代优化提供量化决策依据。
关键词
架构分析与设计语言
建模
实时性
分析
交互复杂性
多维特性评估
Keywords
architecture analysis and design language(AADL)modeling
real-time performance analysis
interaction complexity
multi-dimensional evaluation
分类号
V243 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
基于AADL的分布式综合模块化航电系统架构建模与分析
被引量：
5
2
作者
邢亮
机构
航空工业西安航空计算技术研究所
出处
《电光与控制》
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
3
作者
孙毅刚
李浩
赵珍
樊智勇
机构
中国民航大学航空自动化学院
中国民航大学工程训练中心
出处
《南京航空航天大学学报》
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的航空电子系统架构建模与多维特性分析评估方法研究
杨承儒
徐晨
王世海
安东
《航空电子技术》
2025
0
在线阅读
下载PDF
职称材料
2
基于AADL的分布式综合模块化航电系统架构建模与分析
邢亮
《电光与控制》
CSCD
北大核心
2020
5
在线阅读
下载PDF
职称材料
3
基于AADL的综合模块化航空电子通信调度分析与建模
孙毅刚
李浩
赵珍
樊智勇
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
