您的位置： 专家智库 > >

江苏省计算机信息处理技术重点实验室基金(209035)

作品数：1 被引量：4H指数：1
相关作者：李心磊倪水妹曹子宁更多>>
相关机构：安徽工业大学南京航空航天大学更多>>
发文基金：中央高校基本科研业务费专项资金中国航空科学基金江苏省计算机信息处理技术重点实验室基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇实时系统
  • 1篇数据约束
  • 1篇MARTE

机构

  • 1篇安徽工业大学
  • 1篇南京航空航天...

作者

  • 1篇曹子宁
  • 1篇倪水妹
  • 1篇李心磊

传媒

  • 1篇计算机科学

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带数据约束实时系统的模型检测被引量：4
2014年
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。
倪水妹曹子宁李心磊
关键词：数据约束实时系统MARTE
全选 清除 导出
共1页<1>
聚类工具0