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

基于源码构件模型的嵌入式软件生成技术的研究与实现

作　者: 邓勇
导　师: 桑楠
学　校: 电子科技大学
专　业: 计算机应用技术
关键词: 智能家电源码构件代码片段构件描述块形式化生成
分类号: TP311.52
类　型: 硕士论文
年　份: 2007年
下　载: 144次
引　用: 4次
阅　读: 论文下载

内容摘要

随着智能家电类产品嵌入式软件功能和性能复杂度的不断提高,如何高效开发已成为一个严峻的挑战。智能家电类产品是典型的单片机控制程序应用系统,其软件开发已呈现出一些显著的特点:其一是行业内技术人员流动频繁,行业内缺少经验复用的技术手段;其二市场竞争激烈要求产品的成本更低以及研发周期加快。传统的软件开发方法虽然能可靠的设计和开发智能家电嵌入式软件系统,但不能解决所呈现出来的新问题。因此,一些新的开发方法,如构件化开发方法,开始引入单片机控制程序应用系统开发之中。本论文通过对智能家电嵌入式软件开发的可重用技术研究,提出了一种适用于无操作系统支持的嵌入式软件开发的源码构件模型。基于此模型,研究了嵌入式软件的构件化技术以及与其形式化技术的结合,给出了源码构件的形式化描述,提出了源码构件以及基于构件的嵌入式软件的形式化生成方法。利用所研究成果,实现了一个实用嵌入式软件构件化开发平台,提供了软件构件化辅助划分、源码构件生成、应用软件组装和构件信息管理等工具,可以覆盖智能家电类产品嵌入式软件开发的全过程,并实际应用于空调类产品的控制程序开发过程中。本论文的特色和创新之处包括:1)提出了一种适用于无操作系统领域嵌入式软件开发的嵌入式源码构件模型,并分析该模型的层次结构。2)分析了智能家电类产品嵌入式软件开发的共性,给出其软件构件化划分策略、构件的生成方法、以及基于构件的嵌入式软件组装方式。3)给出了源码构件的形式化描述,提出了基于该形式化模型的源码构件和应用代码生成方法,以及形式化生成的优化定理。4)设计了智能家电类产品嵌入式软件构件化开发平台的体系结构,并依此实现了一个实用的空调嵌入式软件构件化开发平台。本论文关于源码构件模型的研究将为构件化开发技术在无操作系统的单片机程序开发领域的应用和推广提供理论和技术支持。

全文目录

中文摘要  4-5
ABSTRACT  5-12
第一章绪论  12-20
  1.1 课题研究背景  12-13
  1.2 研究意义  13
  1.3 国内外研究现状  13-17
  1.4 课题来源及研究内容  17-18
  1.5 相关概念的澄清  18
  1.6 论文组织  18-20
第二章构件技术模型  20-34
  2.1 引言  20
  2.2 构件  20-21
  2.3 通用构件模型  21-28
  2.4 嵌入式构件模型  28-32
  2.5 一种适用于无嵌入式操作系统支持的源码构件模型  32-33
  2.6 小结  33-34
第三章构件化的重用开发技术  34-45
  3.1 引言  34
  3.2 基于构件的复用工程技术  34-40
  3.3 智能家电嵌入式软件的构件化开发  40-44
  3.4 小结  44-45
第四章基于源码片段的源码构件模型  45-56
  4.1 引言  45
  4.2 模型的提出  45-46
  4.3 模型的设计原则  46
  4.4 源码构件模型  46-48
  4.5 源码构件的生成  48-50
  4.6 源码构件生成实例  50-53
  4.7 应用程序生成实例  53-54
  4.8 小结  54-56
第五章源码构件形式化生成技术  56-63
  5.1 引言  56
  5.2 源码构件逻辑模式  56-58
  5.3 源码构件的运算  58-61
  5.4 构件设计合理性  61-62
  5.5 小结  62-63
第六章应用代码形式化生成技术  63-66
  6.1 引言  63
  6.2 应用代码形式化生成过程  63-64
  6.3 形式化生成过程优化  64
  6.4 形式化生成实例  64-65
  6.5 小结  65-66
第七章实用的嵌入式软件构件化开发平台  66-72
  7.1 引言  66
  7.2 整体架构  66-68
  7.3 系统功能模块  68-70
  7.4 可靠性和实用性保障  70-71
  7.5 小结  71-72
第八章结束语  72-75
  8.1 总结  72-73
  8.2 进一步研究工作  73-75
致谢  75-76
参考文献  76-82
攻硕期间取得的成果  82-83

基于源码构件模型的嵌入式软件生成技术的研究与实现

内容摘要

全文目录

相似论文