【摘 要】
：
嵌入式系统是一个包含软件和硬件的异质系统,该文研究形式化方法在嵌入式系统设计中的应用,重点是从较高的层次上进行规范、设计表示和验证,提出以形式化计算模型来规范系统
论文部分内容阅读
嵌入式系统是一个包含软件和硬件的异质系统,该文研究形式化方法在嵌入式系统设计中的应用,重点是从较高的层次上进行规范、设计表示和验证,提出以形式化计算模型来规范系统设计、用基于自动机理论的验证技术来验证系统设计的设计方法.该文主要贡献包括：1.提出以CFSM模型作为设计的计算模型、以自动机理论作为验证技术、实现功能与结构分离的嵌入式系统设计方法.2.通过研究CFSM模型的有限自动机语义,提出一套转化规则,将CFSM模型转换为有限自动机模型,以便用基于自动机的理论进行验证.3.分析各种形式化验证技术,提出结合语言包容和模型检查、应用组合验证思想和抽象技术的验证框架.4.用基于CFSM模型的嵌入式系统设计方法实现了一个汽车安全带控制带系统的详细设计.
其他文献
该文介绍了一种应用于WindowsNT操作系统下,采用双宿主主机体系结构的包过滤式防火墙(Firewall-ZX).文中详细讲述了该防火墙的设计原理、功能架构以及实现细节.该文以实际开
该文基于嵌入式操作系统、智能高速网络、CROWNFS流文件瓶颈问题解决算法及网络电视、数字电视ATVEF相关标准提出了一个新的S/C服务模式——DTVSP架构.DTVSP的设计参考了原有
该文介绍了电子商务的概念和发展,网上银行的概念、国内外发展状况和java、servlet、seblogic、证书等网上银行的实现技术,分析了完整的网上银行所应具有的各方面的功能,并对
处在知识经济时代的今天，知识管理已成为企业提升竞争力的核心要素。信息技术是知识管理技术的基础。知识管理技术不是新生儿，而是现有技术的重新组合，其中最重要的是文档管理、
随着教育信息技术的发展，教学活动网络化、集成化是当前教育的又一特征。开发基于网络的教师集体备课系统正符合当今时代的要求。本文首先对基于网络的教师集体备课活动进行了
随着数据库技术的发展,其应用领域越来越广泛,而网络技术的出现,更使得数据量急剧增长;并且,数据格式也随着处理手段的多样化及各种应用的需要而变得越来越多样化.以至于当人
该课题的设计目标是研制与开发一个面向嵌入式系统,特别是无线通信的应用程序开发环境(ADE).嵌入式系统ADE是一个面向嵌入式系统程序开发的集成CASE环境,它涉及计算机领域,尤
Linux操作系统作为自由软件的代表,其优良的性能得到业界人士的肯定,它的应用也日益广泛.分析Linux源代码对于学习和研究开发操作系统是非常有必要的.该论文重点对Linux系统
该文对集群系统中的检查点算法进行了较为全面的系统分析和研究,提出了独具特色的新方法,对如何在用户层实现全局一致检查点算法,分析其设计思想和实现技术.主要思想是使用BS
该文在讨论调试器的原理以及技术基础上,介绍了CodeWarrior这种高性能的可扩展的集成开发环境的架构,和Kyoto公司开发的PARTNERETII硬件调试盒的一些特性.然后详细探讨了在Co