您的位置： 专家智库 > >

肖舒华

作品数：1 被引量：4H指数：1
供职机构：华南理工大学机械与汽车工程学院更多>>
发文基金：广东省科技计划工业攻关项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇灯控
  • 1篇形式化
  • 1篇时间自动机
  • 1篇实时嵌入式
  • 1篇实时嵌入式系...
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇自动机
  • 1篇交通灯
  • 1篇交通灯控制
  • 1篇UPPAAL

机构

  • 1篇华南理工大学
  • 1篇仲恺农业技术...

作者

  • 1篇郑建华
  • 1篇李迪
  • 1篇肖舒华
  • 1篇苏兆港

传媒

  • 1篇制造业自动化

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
实时嵌入式系统形式化自动验证的研究与应用被引量：4
2007年
实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的分析和验证。在此基础上本文给出了时间自动机的定义和验证性工具UPPAAL的介绍,并对行人优先可控交通灯控制系统实例做了详细的建模、验证分析,结果表明该系统满足预定的各种特性要求。
郑建华李迪肖舒华苏兆港
关键词：实时嵌入式系统UPPAAL时间自动机交通灯控制
全选 清除 导出
共1页<1>
聚类工具0