您的位置： 专家智库 > >

李泽林

作品数：5 被引量：3H指数：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