ARTiSAN Real-time Studio在CBTC车载三模冗余系统中的研究与应用
发布时间：2023-12-11 19:33
针对目前嵌入式实时系统开发的迫切需求,旨在改进当前建模技术中不利于嵌入式实时系统开发的方面,本文引入了嵌入式实时系统开发的新方法ARTISAN实时透视法(RtP),以及基于实时UML的建模工具ARTISAN Real-timeStudio(RTS),以降低嵌入式实时系统开发的复杂度,缩短开发周期。 论文介绍了避错容错技术的概念和分类,以及容错技术在轨道交通信号系统中的应用,研究了面向对象的建模技术和统一建模语言UML的应用发展情况,分析了由UML模型到代码自动生成的必要性。 论文详细阐述了ARTISAN实时透视法的体系结构和开发过程,对基于实时UML的嵌入式实时系统开发环境进行了选型分析,并对RTS下的代码生成与同步开发平台进行了描述。通过对新方法RtP和建模工具RTS的介绍,以及与传统开发方法和工具的比较,明确了采用RtP和RTS的原因和优势。最后对RTS图的类型和扩展机制进行了介绍。 本课题结合基于ARTISAN实时透视法的建模设计分析方法,对CBTC车载三模冗余系统进行了探索性的研究。首先分析了ARTISAN实时透视法在车载三模冗余系统中应用的可行性,然后分别从系统需求体系结构、...
【文章页数】：78 页
【学位级别】：硕士
【文章目录】：
致谢
中文摘要
ABSTRACT
1 引言
1.1 选题目的和意义
1.2 计算机系统可靠性技术概况
1.2.1 避错和容错技术的概念
1.2.2 避错和容错技术的分类
1.2.3 容错技术在轨道交通信号系统中的应用
1.3 面向对象的建模方法
1.3.1 面向对象的建模技术
1.3.2 面向对象的建模语言UML
1.3.3 利用UML建模
1.4 UML模型到代码的自动生成
1.5 论文研究内容及组织结构
1.6 本章小结
2 基于ARTiSAN实时透视法的建模设计分析方法
2.1 ARTiSAN实时透视法浅析
2.1.1 实时透视法简介
2.1.2 实时透视法的体系结构
2.1.3 实时透视法的开发过程
2.1.4 与传统开发模式的比较
2.2 RTS在嵌入式实时系统中的应用分析
2.2.1 基于实时UML的嵌入式实时系统开发环境选型分析
2.2.2 RTS代码生成与同步开发平台简介
2.2.3 RTS与其他建模工具的比较
2.3 RTS图的类型及扩展属性
2.3.1 RTS图的类型
2.3.2 UML扩展机制
2.4 本章小结
3 基于ARTiSAN实时透视法的车载三模冗余系统建模与实现
3.1 ARTiSAN实时透视法在车载三模冗余系统中的应用分析
3.1.1 CBTC系统及车载设备结构介绍
3.1.2 应用ARTiSAN实时透视法的可行性分析
3.2 系统需求体系结构设计
3.2.1 定义系统需求
3.2.2 定义软件需求
3.3 系统解决方案体系结构设计
3.3.1 物理架构设计
3.3.2 系统类图的建立
3.3.3 定义系统间交互
3.3.4 系统软件平台工作流程
3.3.5 创建系统行为模型
3.3.6 通信任务并发图的建立
3.4 系统模型行为验证
3.5 本章小结
4 车载三模冗余系统模型到代码的自动生成
4.1 代码自动生成技术简介
4.1.1 代码自动生成技术的实现方法
4.1.2 基于ARTiSAN C++ Synchronizer的代码生成与同步
4.2 基于分层思想的代码生成系统结构功能定义
4.3 车载三模冗余系统类模型到代码的转换
4.3.1 定义类模型的UML扩展集
4.3.2 基于车载三模冗余系统创建并应用扩展集
4.3.3 ARTiSAN C++ Synchronizer中类模型到代码的映射
4.3.4 类模型到代码的生成
4.4 车载三模冗余系统类模型与代码的同步
4.5 实际应用分析
4.5.1 问题总结与分析
4.5.2 VxWorks仿真机模拟测试
4.6 本章小结
5 总结与展望
参考文献
图索引
表索引
作者简历
学位论文数据集
本文编号：3873231
【文章页数】：78 页
【学位级别】：硕士
【文章目录】：
致谢
中文摘要
ABSTRACT
1 引言
1.1 选题目的和意义
1.2 计算机系统可靠性技术概况
1.2.1 避错和容错技术的概念
1.2.2 避错和容错技术的分类
1.2.3 容错技术在轨道交通信号系统中的应用
1.3 面向对象的建模方法
1.3.1 面向对象的建模技术
1.3.2 面向对象的建模语言UML
1.3.3 利用UML建模
1.4 UML模型到代码的自动生成
1.5 论文研究内容及组织结构
1.6 本章小结
2 基于ARTiSAN实时透视法的建模设计分析方法
2.1 ARTiSAN实时透视法浅析
2.1.1 实时透视法简介
2.1.2 实时透视法的体系结构
2.1.3 实时透视法的开发过程
2.1.4 与传统开发模式的比较
2.2 RTS在嵌入式实时系统中的应用分析
2.2.1 基于实时UML的嵌入式实时系统开发环境选型分析
2.2.2 RTS代码生成与同步开发平台简介
2.2.3 RTS与其他建模工具的比较
2.3 RTS图的类型及扩展属性
2.3.1 RTS图的类型
2.3.2 UML扩展机制
2.4 本章小结
3 基于ARTiSAN实时透视法的车载三模冗余系统建模与实现
3.1 ARTiSAN实时透视法在车载三模冗余系统中的应用分析
3.1.1 CBTC系统及车载设备结构介绍
3.1.2 应用ARTiSAN实时透视法的可行性分析
3.2 系统需求体系结构设计
3.2.1 定义系统需求
3.2.2 定义软件需求
3.3 系统解决方案体系结构设计
3.3.1 物理架构设计
3.3.2 系统类图的建立
3.3.3 定义系统间交互
3.3.4 系统软件平台工作流程
3.3.5 创建系统行为模型
3.3.6 通信任务并发图的建立
3.4 系统模型行为验证
3.5 本章小结
4 车载三模冗余系统模型到代码的自动生成
4.1 代码自动生成技术简介
4.1.1 代码自动生成技术的实现方法
4.1.2 基于ARTiSAN C++ Synchronizer的代码生成与同步
4.2 基于分层思想的代码生成系统结构功能定义
4.3 车载三模冗余系统类模型到代码的转换
4.3.1 定义类模型的UML扩展集
4.3.2 基于车载三模冗余系统创建并应用扩展集
4.3.3 ARTiSAN C++ Synchronizer中类模型到代码的映射
4.3.4 类模型到代码的生成
4.4 车载三模冗余系统类模型与代码的同步
4.5 实际应用分析
4.5.1 问题总结与分析
4.5.2 VxWorks仿真机模拟测试
4.6 本章小结
5 总结与展望
参考文献
图索引
表索引
作者简历
学位论文数据集
本文编号：3873231
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/3873231.html
