嵌入式系统多语言设计的一种框架

来源 :华东理工大学 | 被引量 : 0次 | 上传用户:ullige000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
包括控制领域和迁移领域的嵌入式系统通常用不同的语言进行描述.这些语言有着各自不同的语义和应用领域,同时也能够根据各自领域的特点进行特殊的设计和优化.另一方面,原有系统设计的复用也要求能够在新的设计中引入原有的、可能采用不同语言描述的设计.目前还不能够完全用一种语言或计算模型完全取代这些不同的语言.良好的设计过程应该能够充分利用各种不同语言和工具的能力,并且能够为用不同语言或计算模型描述的设计提供验证和分析方面的支持.该文提出了一个由Timed CPN和FSM并行组合而成的计算模型,并在此基础上给出了一个设计框架来解决上述的嵌入式系统多语言设计问题.该文还在这个模型的基础上给出了一种应用于异步电路设计和综合的方法.
其他文献
论文的主要工作包括:网络视频领域相关技术的研究与学习,嵌入式Linux系统的设计,Linux下的视频采集和MPEG-4视频压缩的开发,网络传输部分的开发以及在嵌入式硬件平台上的移植
该文围绕人工智能领域中时空推理(Spatio-temporal reasoning)及应用的若干关键问题进行了研究和探讨.时空推理由时态推理和空间推理发展而来,已成为近年来人工智能以及地理
借鉴传统图书馆的知识组织理论,该文根据DL环境的要求对传统的知识组织工具——分类法和主题词表加以改造,并结合DL中最重要的信息资源——语义元数据的特点,将它们三者集成
作者目前工作的北京住力电通光电技术有限公司准备实施一套ERP系统,从产品的介绍到与供应商的交谈和演示中能了解到这套系统的质量管理的功能不够理想,只能够作为生产部质量管
互联网已经成为信息社会的重要基础设施。而随着社会的发展,当今互联网出现了路由扩展性、动态性、安全性、可管理性、可靠性、QoS以及能耗等方面的问题,已经不能满足高信息时
本文综合已有安全操作系统方面的实际研究成果和经验,提出了一种能从应用层动态载入、具有模块化结构的操作系统安全内核的构建模型。KNumen就是根据该模型在Linux平台上开发
模式匹配(也称为串匹配)是计算机科学中基本问题之一,已经广泛地应用到了生物研究、音乐信息检索和序列模式挖掘等各个领域。在模式匹配中,有的仅仅考虑最后一个模式子串在序
穿戴计算是移动计算技术向纵深发展的高级阶段,穿戴计算机是一种能够随合作者任意移动的新型计算机系统,具有可再编程能力、解放使用者的双手、网络连接能力、连续操作和交互
该文以开发通用的档案信息管理系统为目标,把面向对象技术的构件化开发方法应用到档案信息管理系统的开发过程中,对改进现有应用软件系统的开发方法具有积极意义.该文首先介
随着计算机网络技术、多媒体技术以及数字传输技术的不断发展,以及摄像机、手机、平板电脑等数码设备的不断普及,视频的数据量急剧增长。因此,在网络、广电、出版等各大领域使用