云南高校图书馆联盟文献共享服务平台- 刘畅

刘畅: 作品数：1被引量：4H指数：1; 导出分析报告; 供职机构：中国航空无线电电子研究所更多>>; 发文主题：CPNAADL架构模型转换方法资源分配更多>>; 发文领域：航空宇航科学技术理学一般工业技术更多>>; 发文期刊：《北京航空航天大学学报》更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

AADL2ECPN模型转换方法及其在IMA上的应用被引量：4: 《北京航空航天大学学报》2016年第9期1884-1891,共8页刘畅谷涛周庆王世海李泽林; 国防基础科学研究计划(JCKY2013205C003)~~; 在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,...; 关键词：架构分析和设计语言(AADL) 着色Petri网(CPN) 资源分配综合模块化航空电子(IMA) 模型转换