您的位置： 专家智库 > >

江苏省科技计划项目(BE2012184)

作品数：1 被引量：1H指数：1
相关作者：李江伟胡晨骏李刚郑晓梅更多>>
相关机构：南京中医药大学南京大学更多>>
发文基金：江苏省科技计划项目国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇实时嵌入式
  • 1篇实时嵌入式系...
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇自动机
  • 1篇接口
  • 1篇接口自动机
  • 1篇AADL
  • 1篇MDE

机构

  • 1篇南京大学
  • 1篇南京中医药大...

作者

  • 1篇郑晓梅
  • 1篇李刚
  • 1篇胡晨骏
  • 1篇李江伟

传媒

  • 1篇计算机工程与...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于MDE的AADL构件组合兼容的方法被引量：1
2014年
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
郑晓梅胡晨骏李刚李江伟
关键词：实时嵌入式系统接口自动机
全选 清除 导出
共1页<1>
聚类工具0