实时嵌入式软构件模型及构件组装方法研究

发布时间：2021-03-17 12:23

　　随着当今实时嵌入式应用的迅速发展,快速高效地开发出适合市场需要的高质量软件已经成为一个实时嵌入式产品能否成功的重要条件。基于构件的软件工程及软件开发（CBSE/CBSD）已在通用系统开发中大量应用并占据重要地位,而由于实时嵌入式系统的复杂特性及特殊应用使CBSE/CBSD在该领域的应用还尚未成熟。目前的一些应用于实时嵌入式领域的构件模型虽对CBSE/CBSE开发提出了有效的解决方案,但大多局限于具体领域及特定平台,大多缺乏对实时行为及时间性的开放描述,并在构件可复用性方面仍不完善,难以做到开放性、普适性及把CBSE/CBSD思想贯穿在整个开发周期中。鉴于以上现状,本文基于软件工程学理论进行实时嵌入式系统开发的可重用技术研究,以研究构件组装机制与组装方法为核心,基于构件技术与形式化技术提出了一种具有较好普适性并能够准确描述实时嵌入式系统功能及非功能特性、行为及时间性的抽象软件构件模型——ESDCM。该模型给出了一套可行的模型描述理论体系,定义了形式规约机制,支持图形化构件组装建模设计并使用基于规约推导的方法完成构件的组装。本文首先介绍实时嵌入式软件构件技术及相关形式化技术,提出ESDCM... 

【文章来源】：昆明理工大学云南省

【文章页数】：104 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
目录
第一章 绪论
    1.1 课题背景
    1.2 国内外相关课题研究状况
    1.3 课题内容
    1.4 本文组织结构
    1.5 设计的技术路线
    1.6 完成此课题的意义
    1.7 本章小结
第二章 实时嵌入式软件构件开发及相关技术
    2.1 实时嵌入式系统的特点
    2.2 软件复用技术
    2.3 基于构件的软件开发技术
        2.3.1 软件构件的概念
        2.3.2 形式化方法在构件技术中的应用
        2.3.3 实时嵌入式软构件的特征
    2.4 ESDCM构件模型概述
    2.5 课题相关形式化描述语言概述
        2.5.1 Wright描述语言
        2.5.2 Wright语言的行为描述机制
            2.5.2.1 通讯顺序进程（CSP）
            2.5.2.2 TCSP语言
    2.6 本章小结
第三章 ESDCM构件模型
    3.1 ESDCM构件模型概念
    3.2 ESDCM构件模型元素
    3.3 ESDCM构件模型规约机制
    3.4 ESDCM构件模型接口规约
        3.4.1 E构件功能性接口规约
        3.4.2 E构件非功能性接口规约
            3.4.2.1 配置接口规约
            3.4.2.2 状态接口规约
    3.5 本章小结
第四章 E构件组装机制及组装规约
    4.1 E构件连接方式
    4.2 E构件基本组装方法
    4.3 使用组装模式的组装方法
    4.4 E构件组装规约
    4.5 本章小结
第五章 E构件行为描述及行为组装推导
    5.1 E构件非实时行为描述
    5.2 E构件实时行为描述
    5.3 E构件进程变换方法
    5.4 E构件的行为组装推导
    5.5 本章小结
第六章 E构件时间性描述及时间组装推导
    6.1 E构件时间规约描述定义
    6.2 E构件时间规约描述语法
    6.3 E构件时间属性的配置方法
    6.4 E构件时间属性的组装推导
        6.4.1 E构件时间属性的组装推导原则
        6.4.2 E构件执行时间的组装推导方法
    6.5 E构件时间约束描述方法
    6.6 本章小结
第七章 基于ESDCM构件模型的实时嵌入式系统开发实例
    7.1 E构件组装开发策略
    7.2 实时嵌入式系统开发实例
        7.2.1 GAMS系统简介
        7.2.2 GAMS系统组成构件的拟定
        7.2.3 GAMS系统组装构件的确定
            7.2.3.1 接口规约分析
            7.2.3.2 GAMS系统实际组成构件
        7.2.4 GAMS系统的构件组装
            7.2.4.1 第一次组装
            7.2.4.2 第二次组装
            7.2.4.3 第三次组装
    7.3 本章小结
第八章 总结与展望
    8.1 论文工作总结
    8.2 后续工作展望
致谢
参考文献
附录


【参考文献】：
期刊论文
[1]工业嵌入式控制系统软件构件的设计[J]. 陈晓侠,陆坦,张晓艳.  计算机测量与控制. 2007(08)
[2]基于XML的构件组装平台的设计与实现[J]. 何毅俊,徐楠,陈松乔.  计算机测量与控制. 2007(07)
[3]构件适应和组装的形式化语义描述[J]. 谢兄,张维石.  计算机工程与应用. 2007(21)
[4]实时系统构件非功能性接口语义规约[J]. 刘晓燕,张云生,J-J.Schwarz,李俊昌.  计算机科学. 2007(06)
[5]基于C/S关系的实时系统构件交互规约[J]. 刘晓燕,张云生,J-J.Schwarz,李俊昌.  计算机工程与应用. 2007(17)
[6]基于构件的软件体系结构技术[J]. 沈楠.  科技信息. 2007(10)
[7]一种嵌入式软件构件模型和构件库[J]. 李涛,董云卫.  计算机科学. 2006(11)
[8]Timed CSP在硬件高层设计中的应用[J]. 崔小欣,于敦山,崔小乐,盛世敏.  计算机工程. 2006(07)
[9]基于软件体系结构连接器的构件组装技术研究[J]. 许峰,刘英,黄皓,王志坚.  计算机应用. 2006(04)
[10]车用嵌入式开放系统的软构件研究[J]. 栾鑫颖,孙晓民.  计算机应用研究. 2006(04)

硕士论文
[1]基于软件体系结构的构件组装技术研究[D]. 马维纲.西安理工大学 2007
[2]形式化方法在基于构件软件重用中的应用研究[D]. 朱建林.河北大学 2006
[3]基于XML和软件体系结构的构件组装技术的研究[D]. 甘国华.哈尔滨工程大学 2005



本文编号：3087133