学位论文 > 优秀研究生学位论文题录展示

基于实时对象建模的嵌入式软件开发研究

作　者: 秦祖立
导　师: 王文海
学　校: 浙江大学
专　业: 控制理论与控制工程
关键词: 实时对象建模嵌入式软件模型驱动开发可调度性分析
分类号: TP311.52
类　型: 硕士论文
年　份: 2005年
下　载: 279次
引　用: 4次
阅　读: 论文下载

内容摘要

随着信息技术、电子技术以及通讯技术的发展，嵌入式系统作为一种新的计算平台已经获得了空前的应用和发展。嵌入式软件是运行在嵌入式系统中、完成特定功能的专门软件，影响其品质的关键因素是及时性、并行性、可靠性、可移植性等非功能要求。随着应用领域系统功能复杂程度的提高，传统的以编程为中心的嵌入式软件开发方法已难以满足市场对嵌入式软件开发效率和开发质量的要求。本课题的主要目的就是从实现者的角度对嵌入式软件的开发方法进行研究，这无论是对于从事嵌入式软件开发理论研究的学者还是对于从事具体软件项目开发的工程师都具有积极的借鉴意义。本课题围绕当前嵌入式软件开发领域最新的研究理论——实时面向对象建模，并紧紧结合浙大中自集成控制股份有限公司的PCC500集成控制器项目开发背景，从而使得本课题的研究具有非常强烈的理论探索和实际应用价值。总结起来，本文的研究工作主要包括： (1) 对当前嵌入式软件实时面向对象建模领域的最新研究作了回顾和总结，着重阐述了基于模型驱动的嵌入式软件开发方法和实时面向对象建模的思想与方法，并介绍了SDL、ROOM和UML-RT三种实时面向对象语言及其支持工具； (2) 对一个具体的嵌入式软件开发项目——SunyHMI实时监控软件展开分析和讨论，从系统应用背景和需求分析的角度深入阐述了SunyHMI的开发要求与功能实现，以及开发过程中面临的非功能限制，并采用纯面向对象方法对软件系统的整体框架和程序流程作了设计： (3) 采用用例驱动的方法对SunyHMI监控软件的功能实现进行描述和归纳，并应用实时面向对象建模方法和Rhapsody实时对象建模工具对SunyHMI监控软件的结构和运行行为进行了建模； (4) 实现了SunyHMI实时监控系统的活动对象框架以及窗口控件层次和RTOS属性封装代码，并在实现模型综合过程中给出了系统的可调度性分析。

全文目录

摘要  3-4
ABSTRACT  4-7
第一章绪论  7-11
  1.1 嵌入式软件综述  7-8
    1.1.1 嵌入式系统  7
    1.1.2 嵌入式软件  7-8
    1.1.3 嵌入式软件应用  8
  1.2 嵌入式软件开发  8-10
    1.2.1 嵌入式软件开发模式  8-9
    1.2.2 嵌入式软件开发特点  9-10
    1.2.3 嵌入式软件开发面临挑战  10
  1.3 课题背景和目标  10-11
    1.3.1 课题背景  10
    1.3.2 课题任务和目标  10-11
第二章文献综述  11-21
  2.1 模型驱动开发  11-13
    2.1.1 模型驱动开发介绍  11-12
    2.1.2 嵌入式软件基于模型驱动开发的迫切性  12
    2.1.3 模型驱动开发的优势  12-13
    2.1.4 模型驱动开发工具简介  13
  2.2 面向对象开发方法  13-15
    2.2.1 面向对象开发方法综述  13-14
    2.2.2 面向对象分析与设计  14
    2.2.3 设计模式与框架  14-15
    2.2.4 面向时象编程的性能问题  15
  2.3 实时面向对象模式  15-18
  2.4 实时面向对象建模语言及工具介绍  18-20
    2.4.1 声明描述语言(SDL)  18-19
    2.4.2 实时面向对象建模语言(ROOM)  19
    2.4.3 统一建模语言实时扩展(UML-RT)  19-20
  2.5 小结  20-21
第三章 PCC500软硬件架构设计  21-32
  3.1 项目背景  21-23
    3.1.1 需求背景分析  21-22
    3.1.2 PCC500控制系统功能与结构  22-23
  3.2 软件结构设计  23-25
    3.2.1 系统软件结构  23-24
    3.2.2 系统软件功能  24-25
  3.3 SunyHMI实时监控软件架构设计  25-30
    3.3.1 功能分析  25-27
    3.3.2 架构设计  27-29
    3.3.3 程序运行流程  29-30
  3.4 RTOS平台选择  30-31
  3.5 小结  31-32
第四章 SunyHMI实时对象模型开发  32-56
  4.1 需求分析建模  32-37
    4.1.1 功能与非功能描述  32-33
    4.1.2 系统事件分析  33-35
    4.1.3 需求分析模型  35-37
  4.2 静态结构建模  37-46
    4.2.1 包图  37-38
    4.2.2 类识别  38-40
    4.2.3 类图  40-46
  4.3 动态行为建模  46-55
    4.3.1 时序图描述  47-49
    4.3.2 协作图描述  49-50
    4.3.3 状态表描述  50-55
  4.4 小结  55-56
第五章实现模型与可调度性分析  56-75
  5.1 主体代码实现  56-71
    5.1.1 活动类框架  56-64
    5.1.2 RTOS封装实现  64-66
    5.1.3 窗口控件框架  66-71
  5.2 模型综合与可调度性分析  71-74
    5.2.1 模型综合实现  71-73
    5.2.2 可调度性分析  73-74
  5.3 小结  74-75
第六章总结与展望  75-78
参考文献  78-82
论文与项目  82-83
致谢  83

相似论文

数字电视中间件中图形界面引擎的研究与应用,TP391.41
面向Seam框架的PIM到PSM转换研究,TP311.52
基于CAN总线的簇绒地毯机控制系统集成技术研究,TP273
安全相关软件的设计方法研究及应用,TP311.52
基于模型驱动的遗留系统到云平台的移植方法,TP311.52
可重配置硬件系统调度算法的模拟与分析,TN791
基于CBM方法论的模型驱动开发方法研究与应用实践,TP311.52
基于模型集成计算的领域建模研究与应用,TP311.52
特定领域动态元建模语言研究,TP311.52
基于Uppaal的多处理器实时系统的可调度性分析,TP316.2
多核系统上的调度策略建模与分析,TP332
基于Rhapsody的嵌入式无人机飞控软件系统建模及验证,TP368.1
基于ECLIPSE的WEB应用可视化组件管理平台的研究与实现,TP311.52
模型驱动的构件代码生成工具的研究与实现,TP311.52
模型驱动的服务构件开发工具,TP311.52
面向Struts2框架的模型驱动开发方法研究,TP311.52
基于HSDPA的NodeB-Tester冲击测试平台研究与实现,TN929.533
基于Agent的模型转换技术的研究,TP311.52
支持多目标框架的Web应用开发方法,TP311.52
基于状态图模型的HFC网络设备管理代理开发研究,TP311.52
汽车电子系统中基于模型驱动的嵌入式软件设计研究,TP311.52