广东省科技计划工业攻关项目(2002C1020407)
- 作品数：3 被引量：11H指数：3
- 相关作者：李迪宋柱梅苏兆港肖舒华郑建华更多>>
- 相关机构：华南理工大学仲恺农业技术学院更多>>
- 发文基金：广东省科技计划工业攻关项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 实时嵌入式系统形式化自动验证的研究与应用被引量：4
- 2007年
- 实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的分析和验证。在此基础上本文给出了时间自动机的定义和验证性工具UPPAAL的介绍,并对行人优先可控交通灯控制系统实例做了详细的建模、验证分析,结果表明该系统满足预定的各种特性要求。
- 郑建华李迪肖舒华苏兆港
- 关键词：实时嵌入式系统UPPAAL时间自动机交通灯控制
- 一种面向嵌入式装备控制系统的建模方法被引量：4
- 2005年
- 为研究嵌入式系统面向装备控制领域的扩展技术,提出采用模型集成计算理论构建嵌入式装备控制系统的建模语言.针对控制子系统中的信号处理模块,分别从类图、视图、属性和约束四个方面定义该模块的元模型,并根据元模型修改相应的模型解释器. 通过元模型解释器将元模型解释成图形化的建模语言.采用该建模语言搭建了两个信号处理应用程序的模型,并通过模型解释器将其解释成相应的应用程序.结果表明,采用该方法能够实现对领域应用的快速开发.
- 宋柱梅李迪
- 关键词：元模型模型集成计算
- 基于MIC理论构建嵌入式装备控制领域建模语言的研究被引量：3
- 2005年
- 现有的嵌入式系统开发成本高,采用通用的开发环境,应用领域的工程人员难以开发。由此,研究嵌入式系统面向装备控制的领域扩展技术。基于模型集成计算理论搭建嵌入式装备控制系统的元模型,解释成面向领域的图形化建模语言,使装备控制领域的工程人员能够对不同的嵌入式装备控制系统快速搭建模型。通过建立模型解释器,实现从应用系统模型到代码的映射。通过面向该领域软件构架的研究,探索面向系统的嵌入式组件设计方法。
- 宋柱梅李迪
- 关键词：元模型模型集成计算嵌入式控制系统
