您的位置： 专家智库 > >

国家自然科学基金(61225007)

作品数：2 被引量：4H指数：1
相关作者：王金波张路张涛更多>>
相关机构：华为技术有限公司北京大学中国科学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化定义
  • 1篇实时嵌入式
  • 1篇实时嵌入式软...
  • 1篇嵌入式
  • 1篇嵌入式软件
  • 1篇状态机
  • 1篇建模语言
  • 1篇抽象状态机

机构

  • 1篇北京大学
  • 1篇中国科学院
  • 1篇华为技术有限...

作者

  • 1篇张涛
  • 1篇张路
  • 1篇王金波

传媒

  • 1篇北京大学学报...

年份

  • 1篇2019
共 2 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
实时嵌入式软件时间抽象状态机的扩展被引量：4
2019年
针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。
单锦辉张路王金波张涛
关键词：嵌入式软件形式化定义
全选 清除 导出
共1页<1>
聚类工具0