公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

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

嵌入式数控系统模型层验证设计策略研究被引量：2: 2008年; 在分析传统嵌入式数控的开发方法上的不足,以及目前对其开发方法的诸多变革的基础上,提出并实现将特定领域模型驱动开发融入到嵌入式数控系统的开发,构建了嵌入式数控系统模型层验证框架。该方法为嵌入式数控系统的开发提升了相应的抽象层次,提高了模型在系统开发中的作用,并利于提高系统的可操作性、可靠性、开发效率。通过对数控系统不同工作模式在第三方工具(StateFlow)的仿真实例,详述了该方法在特定领域建模语言的构建、模型转换的实现等方面的细节,并给出了转换后的对应StateFlow模型图。; 郑建华李迪朱蓉肖苏华苏兆港; 关键词：数控系统

全选清除导出

共1页<1>

苏兆港