文档介绍：⑧洳专:硕士学位论文论文题目邀△——所在学院三盔至三且提交日期.
嵌入式系统全系统模拟器框架设计与实现摘要针对全系统模拟器定制的构件模型和接口规范的设计;其次,针对传统全系统模拟器开发模型存在的问题,该文引入基于领域特定语言的模型驱动技术,和软件工程领域的新范型——产生式编程,来改进传统的开发机制。这些技术的应用,随着消费电子产业的蓬勃发展,嵌入式系统领域的研究和开发工作也日益活跃。而全系统模拟器作为嵌入式系统领域十分重要的开发工具,也随之得到学术界和工业界的普遍重视。在该文中,描述了围绕嵌入式系统领域全系统模拟器软件框架设计的一系列研究工作,研究内容首先涉及一种基于构件的全系统模拟器软件框架的设计和实现,这部分工作涵盖低衬D馄魅砑芄股杓疲提高了全系统模拟器的开发效率并增强了可维护性,使开发过程从传统的“一种一次——猭”模型向“系统族蹦P脱荼洹I鲜鲅究工作在浙江大学嵌入式系统研发中心开发的模拟器7⒋械靡允迪郑媚D馄髂苣D釧、、戎髁髑度胧较低体系结构,以及与之配套的外部设备,从而实现对目标系统的全系统模拟;同时亦提供了内建的调试能力,以及冻痰魇孕榈拇砟?椋淮佣G度胧较统开发者提供虚拟的软件运行一调试一验证平台。关键词:全系统模拟器,基于构件的软件设计,模型驱动软件开发,产生式编程浙江大学计算机利学与技术学院硕士学位论文
:,,,猟瓵..琈瓸—.瑆琩篊珻—狣珿浙江大学计算机科学与技术学院硕士学位论文..
表格С值腃体系结构情况⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一一调试子系统⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一一图腥低衬D狻图指令集模拟方法一解释执行⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯噶罴D夥椒ㄒ淮┫叽搿一图指令集模拟方法一静态编译⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图内存空间映射机制⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯J降腢类图和序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一廾涌凇多线程接口⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一处理机核心接口⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯∥⋯⋯一·诖嫦低泛型涌凇图馍泛型涌凇图映象加裁器接口⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·图用户交互模块接口.⋯⋯⋯⋯⋯⋯.⋯⋯.⋯⋯⋯⋯⋯⋯⋯一:⋯⋯⋯⋯⋯⋯⋯⋯.一·图全系统模拟器的产生式模型驱动开发概览⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.一图模型驱动开发流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一·图模型驱动的指令集模拟插件开发流程⋯⋯⋯⋯⋯~⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一一浙江大学计算机科学与技术学院硕士学位论文嵌入式系统全系统攘拟器框架设计与实现表格图图】...一一一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.一.
髀引言模拟技术酌理论基础需要追溯到图灵机而圈灵这样定义“模拟”的概念:当一台或乒劳舅税莓疗一爹赏。⒈碇摹堵劭杉扑愕氖约捌湓谂卸ㄎ侍庵械挠τ谩芬晃,文中提出了图灵机的概念,奠定了计算理论的基石。图灵机模型三部分组成:。图灵机的基本模型可图示如下:图剂榛P图灵机不断根据读写头当前指向格子的符号和有穷控制器的当前状态,依次执行按照转移函数的规则改变有穷控制器的状态;诒簧璧牡ピ8裆洗蛴∫桓龇牛男丛械姆牛蛘刂贫列赐废蜃蠡蛳蛴乙贫桓龅ピ!形式上,图灵机梢杂靡桓鑫逶W】硎荆其中:丘是状态的有穷集合;三是字母表,即合法带符号的有穷集合;蔏是初始状态:闕峭;刺募希是转移函数,,,挠成洹著名的丘奇一图灵命题】赋觯阂磺锌杉扑愕拿题都可以被图灵机计算,该命题的另一种推论形式则是,当前的所有计算机。在理论上都是可以被图灵机模拟的。⒆刺∑鞯淖刺D隆输几和输出酵。便说该计算枧罢在模拙这台机器笳。这便是计算机模拟技术的的理论基础。嵌入式系统全系统模拟器框架设计与实现如下操作:琩,琀浙江大学计算机科学与技术学院硬士学位论文琲甌.
全系统模拟器拟幂,全系统模拟母拍睿侵冈谌砑忝妫暾啬D饧扑慊槌芍械乃众所周知,现代所有的计算机都符合冯诺依曼的存储程序模型该模型如下图所示:图搿づ狄缆P在冯·诺依曼模型中,计算机由控制器、存储器、运算器、输入设备、输出设备五大部件组成。,即中央处理器淮