期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于AADL的综合航电分区系统可调度性判定
被引量：
5
1
作者
袁翔
胡军
+1 位作者
马金晶
刘雪
《计算机工程》
CAS
CSCD
2014年第10期52-60,共9页
综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的...
综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。
展开更多
关键词
综合模块化航电
ARINC653
系统
分区系统
架构分析和设计语言
Cheddar工具
可调度性判定
仿真方法
在线阅读
下载PDF
职称材料
AADL2ECPN模型转换方法及其在IMA上的应用
被引量：
4
2
作者
刘畅
谷涛
+2 位作者
周庆
王世海
李泽林
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2016年第9期1884-1891,共8页
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,...
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。
展开更多
关键词
架构分析和设计语言
(AADL)
着色Petri网(CPN)
资源分配
综合模块化航空电子(IMA)
模型转换
在线阅读
下载PDF
职称材料
题名
基于AADL的综合航电分区系统可调度性判定
被引量：
5
1
作者
袁翔
胡军
马金晶
刘雪
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
出处
《计算机工程》
CAS
CSCD
2014年第10期52-60,共9页
基金
国家自然科学基金资助项目(61272083)
江苏省普通高校研究生科研创新计划基金资助项目(CXZZ11_0218)
文摘
综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。
关键词
综合模块化航电
ARINC653
系统
分区系统
架构分析和设计语言
Cheddar工具
可调度性判定
仿真方法
Keywords
Integrated Modular Avionics （IMA）
ARINC653 system
partitioned system
Architecture Analysis andDesign Language （AADL）
Cheddar tool
schedulability determination
simulation method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
AADL2ECPN模型转换方法及其在IMA上的应用
被引量：
4
2
作者
刘畅
谷涛
周庆
王世海
李泽林
机构
中国航空无线电电子研究所航空电子系统综合技术重点实验室
北京航空航天大学可靠性与系统工程学院
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2016年第9期1884-1891,共8页
基金
国防基础科学研究计划(JCKY2013205C003)~~
文摘
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。
关键词
架构分析和设计语言
(AADL)
着色Petri网(CPN)
资源分配
综合模块化航空电子(IMA)
模型转换
Keywords
architecture analysis and design language （AADL）
colored Petri net （CPN）
resource allocation
integrated modular avionics （IMA）
model transformation
分类号
V221.3 [航空宇航科学与技术—飞行器设计]
TB553 [理学—声学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于AADL的综合航电分区系统可调度性判定
袁翔
胡军
马金晶
刘雪
《计算机工程》
CAS
CSCD
2014
5
在线阅读
下载PDF
职称材料
2
AADL2ECPN模型转换方法及其在IMA上的应用
刘畅
谷涛
周庆
王世海
李泽林
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2016
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
