2024年8月26日
星期一
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
李泽林
作品数:
5
被引量:3
H指数:1
供职机构:
北京航空航天大学
更多>>
相关领域:
航空宇航科学技术
理学
一般工业技术
更多>>
合作作者
王世海
北京航空航天大学可靠性与系统工...
赵廷弟
北京航空航天大学
刘畅
中国航空无线电电子研究所
谷涛
中国航空无线电电子研究所
周庆
中国航空无线电电子研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
4篇
专利
1篇
期刊文章
领域
1篇
航空宇航科学...
1篇
一般工业技术
1篇
理学
主题
5篇
AADL
3篇
模型转换方法
2篇
虚拟处理器
2篇
软件实现
2篇
时间函数
2篇
子系统
2篇
模态
2篇
建模方法
2篇
关键资源
2篇
航电
2篇
航电系统
2篇
航空电子
2篇
航空电子系统
2篇
处理器
1篇
语言
1篇
着色PETR...
1篇
资源分配
1篇
架构
1篇
CPN
1篇
触发
机构
5篇
北京航空航天...
1篇
中国航空无线...
作者
5篇
李泽林
5篇
王世海
4篇
赵廷弟
1篇
周庆
1篇
谷涛
1篇
刘畅
传媒
1篇
北京航空航天...
年份
2篇
2018
3篇
2016
共
5
条 记 录,以下是 1-5
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于AADL的IMA动态重构建模方法
本发明是一种基于AADL的IMA动态重构建模方法,用于航电系统安全性建模。本方法包括:确立动态重构过程要素,分解动态重构过程为一个个子状态,确立每个状态配置情况和状态之间转换需要的触发和转换动作;利用ARINC653附件...
鞠宏艳
王世海
李泽林
赵廷弟
文献传递
面向IMA资源安全性分析的AADL到ECPN模型转换方法
本发明是一种面向IMA资源安全性分析的AADL到ECPN模型转换方法,用于航空电子系统建模与分析。本方法将IMA系统映射的AADL模型作为源模型,基于CPN,扩展定义了变迁点火的时间函数和颜色集,修改了变迁点火规则;将处...
李泽林
王世海
鞠宏艳
赵廷弟
文献传递
基于AADL的IMA动态重构建模方法
本发明是一种基于AADL的IMA动态重构建模方法,用于航电系统安全性建模。本方法包括:确立动态重构过程要素,分解动态重构过程为一个个子状态,确立每个状态配置情况和状态之间转换需要的触发和转换动作;利用ARINC653附件...
鞠宏艳
王世海
李泽林
赵廷弟
文献传递
面向IMA资源安全性分析的AADL到ECPN模型转换方法
本发明是一种面向IMA资源安全性分析的AADL到ECPN模型转换方法,用于航空电子系统建模与分析。本方法将IMA系统映射的AADL模型作为源模型,基于CPN,扩展定义了变迁点火的时间函数和颜色集,修改了变迁点火规则;将处...
李泽林
王世海
鞠宏艳
赵廷弟
文献传递
AADL2ECPN模型转换方法及其在IMA上的应用
被引量:3
2016年
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。
刘畅
谷涛
周庆
王世海
李泽林
关键词:
资源分配
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张