学位论文 > 优秀研究生学位论文题录展示
集成设计环境基于模型的软件工具链
作 者: 鄢来琼
导 师: 谷德权
学 校: 汕头大学
专 业: 计算机软件与理论
关键词: 模型集成计算 语义锁定 工具链 混合自动机 数据流
分类号: TP311.52
类 型: 硕士论文
年 份: 2008年
下 载: 19次
引 用: 0次
阅 读: 论文下载
内容摘要
随着嵌入式系统复杂性的增加和嵌入式产品中软件比重的提升,嵌入式软件的质量和开发效率逐渐成为嵌入式产品成功与否的关键性因素,因此提高嵌入式软件质量和开发效率已成为学术界和工业界的热点问题。在此背景下,为了提高嵌入式软件开发的效率和系统的稳定性,模型集成计算(Model-Integrated Computing, MIC)方法被提出用于构建嵌入式系统。模型集成计算方法强调把模型作为构建系统的主体。在模型集成计算框架下,首先运用特定领域的建模语言(Domain Specific Modeling Language, DSML)在图形化的环境中描述系统的需求、架构及其环境,然后运用模型转换工具将系统模型转换为模型验证工具的模型,最后运用模型翻译器将系统模型翻译为特定平台上可执行代码。模型集成计算框架中的特定领域模型的建模工具、模型验证工具、模型转换工具以及用于翻译可执行代码的模型翻译器均处于同一语义单元之下,它们无缝的链接在一起,形成嵌入式系统设计软件工具链。在本论文中,我们在混合自动机(Hybrid Automaton)计算模型(Model of Computing, MoC)之下,构建一条将MatLab/SIMULINK?仿真软件下的混合系统模型转换为语义单元(Semantic Unit)SAHA模型,然后将SAHA模型转换为模型验证工具ReachLab模型的工具链。在这个工具链中,我们运用基于模型的翻译器把SAHA模型翻译为PtolemyII可以执行的MoML程序代码。同时,我们在数据流(Datafolw)计算模型(MoC)之下,构建一条将MatLab/SIMULINK?仿真软件下的滤波器模型转换为语义单元(Semantic Unit)数据流模型,然后运用基于模型的翻译器将Dataflow模型翻译为MatLab/SIMULINK?可执行的SFunction的C语言程序代码。
|
全文目录
摘要 3-4 Abstract 4-7 第一章 引言 7-12 1.1 嵌入式系统 7 1.2 基于模型的设计 7-10 1.3 研究对象:基于模型的软件工具链 10 1.4 论文内容安排 10-12 第二章 背景技术介绍 12-25 2.1 基于模型的软件工具 12-20 2.1.1 通用建模环境GME 12-14 2.1.2 图式模型转换工具GReAT 14-16 2.1.3 混合系统计算平台ReachLab 16-17 2.1.4 SIMULINK 17-18 2.1.5 Ptolemy II 18-20 2.2 特定领域建模语言DSML 20-22 2.3 语义锁定 22-25 第三章 混合系统设计软件工具链 25-41 3.1 混合系统设计软件工具链 25-27 3.2 混合自动机(HA) 27-28 3.3 DSML 元模型 28-32 3.4 DSML 之间模型转换器:T_(SL2HA)、T_(HA2RL) 32-35 3.5 模型翻译器 35-37 3.6 混合系统实例 37-39 3.6.1 飞机控制器模型在嵌入式软件工具链中模型转换 38 3.6.2 飞机控制器模型转换转为Ptolemy II 模型 38-39 3.7 本章小结 39-41 第四章 滤波器设计工具链 41-46 4.1 滤波器设计具链 41-43 4.2 模型翻译器SFunc Interpreter 43 4.3 Cascade 滤波器设计 43-45 4.4 本章小结 45-46 第五章 结语 46-48 5.1 结论 46-47 5.2 展望 47-48 参考文献 48-51 附录 51-59 附录1 MoML 的语法描述文件DTD 文件 51-54 附录2 Cascade 类型滤波器模型自动生成的C 语言S-Function 程序 54-59 致谢 59
|
相似论文
- 一种多数据流聚类异常检测算法,TP311.13
- 基于数据流异常检测的嵌入式软件容错研究,TP368.1
- 基于RFID数据流的基本事件实惠查询处理与优化,TP311.13
- 云存储系统高效数据传输机制的研究,TP333
- 网间加速技术研究与实现,TP393.2
- 安全相关软件的设计方法研究及应用,TP311.52
- 基于GPU的时间序列并行检索算法研究,TP391.41
- Web敏感信息监测优化方法研究,TP393.08
- 石油物探中数据库管理技术的研究与应用,TP311.13
- 数据流重复数据检测方法的研究,TP311.13
- 基于可变滑动窗口的数据流闭合频繁模式挖掘研究,TP311.13
- 基于数据流的关联规则挖掘方法的研究,TP311.13
- 基于数据流的快速协议判断方法研究,TP393.08
- 基于行为特征的P2P流识别技术的研究,TP393.02
- 中文网页热门主题获取系统的研究与实现,TP393.092
- 挖掘概率频繁模式恢复不确定RFID数据流,TP391.44
- 职业学校教务管理软件的开发与实现,TP311.52
- 基于模型集成计算的面向领域开发方法研究,TP311.52
- 支持无线传感器网络的实时数据库存储管理,TP311.13
- 不确定数据流上Skyline查询处理技术研究,TP311.13
- 基于元组聚类特征的不确定性数据流聚类算法研究,TP311.13
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|