论文部分内容阅读
针对目前嵌入式实时系统开发的迫切需求,旨在改进当前建模技术中不利于嵌入式实时系统开发的方面,本文引入了嵌入式实时系统开发的新方法ARTISAN实时透视法(RtP),以及基于实时UML的建模工具ARTISAN Real-timeStudio(RTS),以降低嵌入式实时系统开发的复杂度,缩短开发周期。论文介绍了避错容错技术的概念和分类,以及容错技术在轨道交通信号系统中的应用,研究了面向对象的建模技术和统一建模语言UML的应用发展情况,分析了由UML模型到代码自动生成的必要性。论文详细阐述了ARTISAN实时透视法的体系结构和开发过程,对基于实时UML的嵌入式实时系统开发环境进行了选型分析,并对RTS下的代码生成与同步开发平台进行了描述。通过对新方法RtP和建模工具RTS的介绍,以及与传统开发方法和工具的比较,明确了采用RtP和RTS的原因和优势。最后对RTS图的类型和扩展机制进行了介绍。本课题结合基于ARTISAN实时透视法的建模设计分析方法,对CBTC车载三模冗余系统进行了探索性的研究。首先分析了ARTISAN实时透视法在车载三模冗余系统中应用的可行性,然后分别从系统需求体系结构、系统解决方案体系结构和系统模型行为验证等方面进行了设计和分析,初步实现了从系统需求分析到建模实现的过程。整个过程遵循了ARTISAN实时透视法的体系结构和开发过程,使得应用系统的缺陷能较早的被捕获,降低了系统的风险,保证了系统在安全可靠性方面的要求。本文对代码自动生成技术的实现方法以及ARTISAN C++Synchronizer下的代码生成和同步过程进行了研究,并针对车载三模冗余系统模型进行了探索性的应用。首先定义了UML扩展集,扩展了类图的有效信息,并对更新后的类模型进行了代码生成和同步的应用。最后对代码生成和同步中存在的问题进行了分析和总结,并进行了VxWorks下的仿真机模拟测试。