期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
IMA平台分区分析方法研究
被引量：
3
1
作者
郭庆
孔德岐
赵茜
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2017年第S1期136-139,共4页
依照综合模块化航空电子系统(Integrated modular avionics,IMA)平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持...
依照综合模块化航空电子系统(Integrated modular avionics,IMA)平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块(General processing module,GPM)、航空数据网络ARINC664交换机和远程数据集中器(Remote data concentrator,RDC)进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。
展开更多
关键词
IMA平台
分区分析
通用处理模块
ARINC664交换机
远程数据集中器
下载PDF
职称材料
基于AADL的RDC架构建模与关键特性仿真
被引量：
1
2
作者
朱国锋
于乐
吉沛琦
《航空电子技术》
2019年第2期25-31,共7页
随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针...
随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针对远程数据集中器(RDC),通过结构分析与设计语言(AADL)建立其架构模型,并对调度性和流延迟等关键特性进行仿真分析与评估,从而支持设计方案的验证与优化,该方法具有较高的使用价值和指导意义。
展开更多
关键词
建模技术
远程数据集中器(
rdc
)
结构分析与设计语言(AADL)
调度性
流延迟
下载PDF
职称材料
题名
IMA平台分区分析方法研究
被引量：
3
1
作者
郭庆
孔德岐
赵茜
机构
中航工业西安航空计算技术研究所
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2017年第S1期136-139,共4页
文摘
依照综合模块化航空电子系统(Integrated modular avionics,IMA)平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块(General processing module,GPM)、航空数据网络ARINC664交换机和远程数据集中器(Remote data concentrator,RDC)进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。
关键词
IMA平台
分区分析
通用处理模块
ARINC664交换机
远程数据集中器
Keywords
IMA
platform
partition
analysis
general
processing
module(GPM)
ARINC664
switch
remote
data
concentrator
(
rdc
)
分类号
V243 [航空宇航科学与技术—飞行器设计]
下载PDF
职称材料
题名
基于AADL的RDC架构建模与关键特性仿真
被引量：
1
2
作者
朱国锋
于乐
吉沛琦
机构
中国航空无线电电子研究所
出处
《航空电子技术》
2019年第2期25-31,共7页
文摘
随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针对远程数据集中器(RDC),通过结构分析与设计语言(AADL)建立其架构模型,并对调度性和流延迟等关键特性进行仿真分析与评估,从而支持设计方案的验证与优化,该方法具有较高的使用价值和指导意义。
关键词
建模技术
远程数据集中器(
rdc
)
结构分析与设计语言(AADL)
调度性
流延迟
Keywords
modeling
technology
remote
data
concentrator
(
rdc
)
architecture
analysis
and
design
language
(AADL)
schedulability
flow
latency
分类号
TP391.92 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
IMA平台分区分析方法研究
郭庆
孔德岐
赵茜
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2017
3
下载PDF
职称材料
2
基于AADL的RDC架构建模与关键特性仿真
朱国锋
于乐
吉沛琦
《航空电子技术》
2019
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
