基于UML的车站信号软件建模-交通信息工程及控制专业论文.docxVIP

中文摘要摘要：铁路计算机联锁系统是以计算机技术为核心，通过采用通信、可靠性和容 中文摘要 摘要：铁路计算机联锁系统是以计算机技术为核心，通过采用通信、可靠性和容 错以及“故障～安全技术，实现联锁要求的实时控制系统。车站信号联锁软件 作为计算机联锁系统的核心，是一种保证站内行车安全、提高行车效率的典型安 全苛求性软件。以联锁基本原理为基础，采用统一建模语言UML，基于模型驱动 开发技术，为联锁软件建立通用设计模型。进一步对所建立模型进行验证，保证 基本联锁功能的实现，完成设计级纠错。 本文以铁路车站信号联锁控制系统为背景，结合软件工程理论，研究基于UML 对联锁软件进行建模，主要进行了以下研究工作： 1．对计算机联锁系统进行功能需求分析，并结合系统的硬件结构，从整体上 对联锁软件进行架构，建立用例角度的UML模型视图。 2．从静态角度，对计算机联锁系统结构进行建模分析。根据联锁系统的特点， 主要对室外信号设备(包括信号机、道岔、轨道电路和进路)提出了状态变化角 度的静态结构模型。 3．从动态角度，对联锁系统的核心一进路控制过程进行分析和子模块划分， 并对各个子过程建立了动态过程模型(即子过程UML活动图模型)。 4．利用Rhapsody的仿真模拟功能(Animation)，对所建模型进行调试和动态 模拟，实现模型级纠错和验证。并结合Windows平台下，采用Visual Studio 6．0开 发环境，基于C++语言，搭建GUI图形用户界面驱动模型，再次对所建模型进行 设计级的调试。 最终建立从需求规格分析定义到系统实现的完整铁路车站信号系统模型。本 文创新之处主要在于采用基于Rhapsody的模型驱动功能来进行调试和动态模拟， 实现模型级的纠错和验证。一方面保证联锁软件的高可靠性和安全性，改进领域 专家和开发人员的交流；另一方面在软件开发初期尽早发现系统的设计错误或缺 陷，从而较早地确定或降低项目的风险和开发成本。验证结果表明，所建联锁系 统模型可靠、稳定。 关键词：UML；车站信号；联锁软件；建模 分类号：U284．362 AB AB STRACT ABSTRACT：Railway signal computer interlocking system is a real-time controlling system which implements the demands of railway interlocking．Being the kernel of interlocking system，it combines the techniques of communications，reliability, redundancy and‘fail—safe’．Computer interlocking software is a typical safety-critical one which ensures the traveling safety and improves the traveling efficiency．Based on the interlocking theory,UML and the model·driven architecture，the general model of interlocking system is made．It Can debug at the stage of designing,ensure the high reliability and safety．Furthermore,we validate the model to ensure the implement of interlocking and complete debugging of design． On the background of interlocking system and the theoretic of software engineering, the thesis researches on the modeling of interlocking system based on UML．It has done the jobs as following： 1．Based on the real computer interlocking system，it analyzes the function and requirements．Being associated with the entire framework of interlocking system，the corresponding UML diagrams were made． 2．Combine