您的位置： 专家智库 > >

刘畅

作品数：1 被引量：3H指数：1
供职机构：中国航空无线电电子研究所更多>>
相关领域：航空宇航科学技术理学一般工业技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇航空宇航科学...
  • 1篇一般工业技术
  • 1篇理学

主题

  • 1篇着色PETR...
  • 1篇资源分配
  • 1篇模型转换方法
  • 1篇架构
  • 1篇AADL
  • 1篇CPN

机构

  • 1篇北京航空航天...
  • 1篇中国航空无线...

作者

  • 1篇周庆
  • 1篇李泽林
  • 1篇王世海
  • 1篇谷涛
  • 1篇刘畅

传媒

  • 1篇北京航空航天...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
AADL2ECPN模型转换方法及其在IMA上的应用被引量：3
2016年
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。
刘畅谷涛周庆王世海李泽林
关键词：资源分配
全选 清除 导出
共1页<1>
聚类工具0