基于DeltaOS的AADL行为附件模型到C转换及其应用
发布时间：2020-12-21 04:34
随着经济社会飞速发展,嵌入式软件需求越来越大,人们对嵌入式软件的功能要求也越来越高,再加上行业之间竞争不断加剧,以及新技术的不断涌现,这使得传统以编程语言为中心的嵌入式软件开发模式不能满足嵌入式产业发展的需要。这种以编程语言为中心的嵌入式软件开发方式要求软件开发人员在了解软件具体细节的基础之上,必须编写大量的程序代码,这不但耗费大量的精力,而且往往会造成人为的错误,有些时候编写代码成了重复性的体力劳动。代码自动生成技术承担了软件开发过程中的代码编写任务,它使得软件开发者从繁琐的代码编写任务中解脱出来,把更多的精力投入到软件开发的其它研究上。自动代码生成技术体现了MDA (Model Driven Architecture)思想,它是一种从模型到可执行代码的自动转换机制,它把软件开发提升到更高一级的抽象级别——模型级别,最终达到分离业务逻辑和具体实现平台的目的,保护已经建立的“业务逻辑”安然无恙,避免了“平台易变性”的风险。本论文是以DeltaOS嵌入式操作系统为目标平台,对AADL(Architecture Analysis & Design Language)行为附件模型到D...
【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校
【文章页数】：68 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第1章 绪论
1.1 课题研究的背景及意义
1.2 AADL行为附件
1.3 国内外关于AADL模型到代码的自动生成研究状况
1.4 本文论文研究的意义与主要内容
第2章 基于模型编程MDA
2.1 传统软件开发方法
2.2 传统软件开发方法的缺陷
2.3 MDA基本思想
2.4 模型驱动开发方式的优点
2.5 本章小结
第3章 代码自动生成器设计
3.1 代码自动生成器功能模块
3.2 代码自动生成器运行流程
3.3 代码自动生成器设计原理
3.4 本章小结
第4章 基于DeltaOS的AADL行为附件到c映射规则
4.1 目标平台简介
4.2 AADL行为附件到DeltaOS c映射规则研究
4.2.1 周期性线程组件转换规则
4.2.2 子程序转换规则
4.2.3 行为附件数据转换规则
4.2.4 行为附件语义转换规则
4.3 本章小结
第5章 代码自动生成器实现
5.1 模型到交互类对象转换
5.1.1 模型信息提取
5.1.2 相关数据结构和接口设计
5.1.3 Dom4j解析XML文档工作原理
5.2 交互类对象集合到DeltaOS c转换
5.2.1 规则引擎工作原理
5.2.2 Drools规则引擎
5.2.3 Drools规则引擎在代码转换系统中的应用
5.3 本章小结
第6章 代码自动生成器与lambdMDE平台的集成
6.1 LambdaMDE简介
6.2 工具使用
6.3 本章小结
总结与展望
致谢
参考文献
攻读硕士学位期间发表论文及其科研成果
【参考文献】：
期刊论文
[1]模型驱动的实时嵌入式系统结构设计与属性分析[J]. 杨楠,黎鹏,万明. 计算机与现代化. 2008(12)
[2]一个支持模型驱动开发的元建模平台的研制[J]. 麻志毅,刘辉,何啸,张乐,吉喆,戈牧. 电子学报. 2008(04)
[3]基于模型驱动架构的软件开发模式研究[J]. 薛振伟,吴志杰,杨德成. 兵工自动化. 2007(05)
[4]代码生成技术在MDA中的实现[J]. 陈翔,王学斌,吴泉源. 计算机应用研究. 2006(01)
[5]嵌入式软件建模、实现与验证:研究与进展[J]. 胡军,张岩,于笑丰,王林章,李宣东,郑国梁. 计算机科学. 2005(12)
[6]基于DeltaOS的系统软件设计[J]. 张蕴玉,唐祖平,胡修林. 微计算机信息. 2005(13)
[7]软件非功能属性研究[J]. 杨放春,龙湘明. 北京邮电大学学报. 2004(03)
[8]基于UML的集成化软件开发环境的研究与实现[J]. 田丽从,张莉,周伯生. 北京航空航天大学学报. 2003(10)
[9]一种改进的区域自动机构造方法[J]. 宋煌,庄雷,苏锦祥,周清雷. 计算机研究与发展. 2002(05)
[10]基于UML的CASE平台的代码自动生成[J]. 刘然,陈英,赵小林. 北京理工大学学报. 2002(02)
硕士论文
[1]基于体系结构分析设计语言的建模工具应用研究[D]. 刘雪琴.电子科技大学 2009
[2]基于时间自动机的实时系统形式化建模与验证[D]. 许丹.苏州大学 2007
[3]基于Eclipse的嵌入式开发平台的研究与实现[D]. 车叔平.电子科技大学 2007
[4]基于模型驱动架构的软件生成技术研究[D]. 王建光.太原理工大学 2007
[5]基于时间自动机的模型验证理论及应用研究[D]. 王静.郑州大学 2005
[6]关于时间自动机及其构造区域自动机的算法[D]. 宋煌.郑州大学 2001
本文编号：2929194
【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校
【文章页数】：68 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第1章 绪论
1.1 课题研究的背景及意义
1.2 AADL行为附件
1.3 国内外关于AADL模型到代码的自动生成研究状况
1.4 本文论文研究的意义与主要内容
第2章 基于模型编程MDA
2.1 传统软件开发方法
2.2 传统软件开发方法的缺陷
2.3 MDA基本思想
2.4 模型驱动开发方式的优点
2.5 本章小结
第3章 代码自动生成器设计
3.1 代码自动生成器功能模块
3.2 代码自动生成器运行流程
3.3 代码自动生成器设计原理
3.4 本章小结
第4章 基于DeltaOS的AADL行为附件到c映射规则
4.1 目标平台简介
4.2 AADL行为附件到DeltaOS c映射规则研究
4.2.1 周期性线程组件转换规则
4.2.2 子程序转换规则
4.2.3 行为附件数据转换规则
4.2.4 行为附件语义转换规则
4.3 本章小结
第5章 代码自动生成器实现
5.1 模型到交互类对象转换
5.1.1 模型信息提取
5.1.2 相关数据结构和接口设计
5.1.3 Dom4j解析XML文档工作原理
5.2 交互类对象集合到DeltaOS c转换
5.2.1 规则引擎工作原理
5.2.2 Drools规则引擎
5.2.3 Drools规则引擎在代码转换系统中的应用
5.3 本章小结
第6章 代码自动生成器与lambdMDE平台的集成
6.1 LambdaMDE简介
6.2 工具使用
6.3 本章小结
总结与展望
致谢
参考文献
攻读硕士学位期间发表论文及其科研成果
【参考文献】：
期刊论文
[1]模型驱动的实时嵌入式系统结构设计与属性分析[J]. 杨楠,黎鹏,万明. 计算机与现代化. 2008(12)
[2]一个支持模型驱动开发的元建模平台的研制[J]. 麻志毅,刘辉,何啸,张乐,吉喆,戈牧. 电子学报. 2008(04)
[3]基于模型驱动架构的软件开发模式研究[J]. 薛振伟,吴志杰,杨德成. 兵工自动化. 2007(05)
[4]代码生成技术在MDA中的实现[J]. 陈翔,王学斌,吴泉源. 计算机应用研究. 2006(01)
[5]嵌入式软件建模、实现与验证:研究与进展[J]. 胡军,张岩,于笑丰,王林章,李宣东,郑国梁. 计算机科学. 2005(12)
[6]基于DeltaOS的系统软件设计[J]. 张蕴玉,唐祖平,胡修林. 微计算机信息. 2005(13)
[7]软件非功能属性研究[J]. 杨放春,龙湘明. 北京邮电大学学报. 2004(03)
[8]基于UML的集成化软件开发环境的研究与实现[J]. 田丽从,张莉,周伯生. 北京航空航天大学学报. 2003(10)
[9]一种改进的区域自动机构造方法[J]. 宋煌,庄雷,苏锦祥,周清雷. 计算机研究与发展. 2002(05)
[10]基于UML的CASE平台的代码自动生成[J]. 刘然,陈英,赵小林. 北京理工大学学报. 2002(02)
硕士论文
[1]基于体系结构分析设计语言的建模工具应用研究[D]. 刘雪琴.电子科技大学 2009
[2]基于时间自动机的实时系统形式化建模与验证[D]. 许丹.苏州大学 2007
[3]基于Eclipse的嵌入式开发平台的研究与实现[D]. 车叔平.电子科技大学 2007
[4]基于模型驱动架构的软件生成技术研究[D]. 王建光.太原理工大学 2007
[5]基于时间自动机的模型验证理论及应用研究[D]. 王静.郑州大学 2005
[6]关于时间自动机及其构造区域自动机的算法[D]. 宋煌.郑州大学 2001
本文编号：2929194
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/2929194.html
