学位论文 > 优秀研究生学位论文题录展示
基于UML与时序逻辑的嵌入式实时软件建模及应用
作 者: 张姝
导 师: 张广泉
学 校: 重庆师范大学
专 业: 计算机软件与理论
关键词: 嵌入式实时软件 建模 UML2.0 XYZ/E 时序逻辑 形式化语法 形式化语义
分类号: TP311.52
类 型: 硕士论文
年 份: 2008年
下 载: 72次
引 用: 0次
阅 读: 论文下载
内容摘要
嵌入式系统是近年来国内外计算机科学与控制论领域研究的一个热点课题。随着嵌入式系统的规模和复杂性不断增大,建模在嵌入式实时软件开发过程中的作用也越来越重要。统一建模语言UML是一个通用的可视化建模语言,尤其适用于大型、复杂系统的建模。但由于UML缺乏精确语义,难以对所建模的系统行为进行分析和验证。而时序逻辑语言XYZ/E具有精确的语义,既能表示系统的动态语义,又能表示其规范的静态语义。基于此,本文将UML2.0与XYZ/E相结合,为嵌入式实时软件建模提供一种新的解决方案。本文分析和比较了当前国内外几种典型嵌入式实时软件建模的思想和方法,指出了它们各自存在的问题:分析了UML在嵌入式实时软件建模方面的不足,在对目前常见的UML扩展技术和方法进行研究的基础上,提出了一种将UML2.0与XYZ/E相结合对嵌入式实时软件建模的新方法;定义了UML2.0各个交互视图的形式化语法和XYZ/E时序逻辑语义;最后通过对一个汽车驾驶辅助系统进行建模,把本文提出的建模方法应用到嵌入式实时软件的实例中。本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来对嵌入式实时软件建模,对嵌入式实时软件建模研究、UML2.0形式化语义研究和形式化方法在软件开发中的应用等方面都有一定的积极意义。
|
全文目录
中文摘要 3-4 英文摘要 4-7 1 绪论 7-12 1.1 研究背景及意义 7-9 1.1.1 嵌入式实时软件的定义 7-8 1.1.2 嵌入式实时软件的特征 8 1.1.3 嵌入式实时软件建模的意义 8-9 1.2 国内外研究现状 9-10 1.3 本文的研究内容及组织结构 10-12 2 基于UML与时序逻辑的嵌入式实时软件建模 12-23 2.1 UML2.0及其扩展方法分析 12-19 2.1.1 UML2.0概述 12-16 2.1.2 UML2.0交互图 16-17 2.1.3 UML扩展方法分析与比较 17-19 2.2 时序逻辑语言XYZ/E的相关概念 19-21 2.2.1 XYZ/E的基本内容 19-21 2.2.2 实时XYZ/E 21 2.3 UML2.0与XYZ/E相结合的嵌入式实时软件建模 21-22 2.4 本章小结 22-23 3 UML2.0交互图的XYZ/E时序逻辑语义 23-46 3.1 UML2.0顺序图的XYZ/E时序逻辑语义 23-29 3.1.1 UML2.0顺序图的语法 24-25 3.1.2 形式化语义 25-27 3.1.3 一个例子 27-29 3.2 UML2.0通信图的XYZ/E时序逻辑语义 29-35 3.2.1 UML2.0通信图的语法 30-32 3.2.2 形式化语义 32-33 3.2.3 一个例子 33-35 3.3 UML2.0时序图的XYZ/E时序逻辑语义 35-40 3.3.1 UML2.0时序图的语法 36-37 3.3.2 形式化语义 37-38 3.3.3 一个例子 38-40 3.4 UML2.0交互概况图的XYZ/E时序逻辑语义 40-45 3.4.1 UML2.0交互概况图的语法 41-42 3.4.2 形式化语义 42-43 3.4.3 一个例子 43-45 3.5 本章小结 45-46 4 实例分析:一个汽车驾驶辅助系统的建模研究 46-56 4.1 系统介绍 46 4.2 系统建模 46-55 4.2.1 自适应巡航控制系统 47-50 4.2.2 智能安全气囊系统 50-53 4.2.3 系统的整体模型 53-55 4.3 本章小结 55-56 5 总结与展望 56-58 5.1 本文工作总结 56 5.2 下一步工作 56-58 参考文献 58-60 附:作者在攻读硕士学位期间发表的论文目录、科研情况 60-61 致谢 61-62
|
相似论文
- 基于SVM的常压塔石脑油干点软测量建模研究,TE622.1
- 非正交面齿轮齿面建模及加工误差分析,TH132.41
- 混凝土高拱坝三维非线性有限元坝肩稳定分析研究,TV642.4
- HID灯整流效应的研究,TM923.32
- 面向SMDA的服务建模方法及工具实现,TP311.52
- 导弹虚拟试验可视化技术研究,TP391.9
- 飞行模拟中飞行管理计算机系统CDU组件设计与仿真,TP391.9
- 基于测量的Internet链路延迟建模,TP393.4
- 基于测量的Internet延迟分析与建模,TP393.4
- 空中目标抗干扰识别跟踪系统,TN215
- 军队后勤物资管理系统设计与实现,TP311.52
- 拖拉机电控液压动力转向系统的转向机构及液压系统设计,S219.02
- 数学建模在高中数学教学中的实践与探索,G633.6
- 近红外光谱分析技术在尖椒叶片生长信息获取中的应用,S641.3
- 板球系统的控制算法研究,TP13
- 环流MBR处理头孢菌素中间体废水的运行效果及影响因素,X787
- 基于运动目标轨迹分析的智能交通监控系统,TP277
- 机载雷达天线座快速设计系统的研究与开发,TN959.73
- 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
- 一种可视化的分布式数据集成模型的研究与实现,TP311.52
- 基于模块化建模方法的舰用燃气轮机装置的仿真技术研究,U674.703
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|