面向高速铁路信号系统安全分析的UML扩展设计研究

设计面向高速铁路信号系统安全分析的专用建模语言和建模方法,对于提升安全分析结果准确性具有重要意义。根据高铁信号系统STAMP安全分析模型的构成,提取该安全分析模型的特征元素。基于模型特征元素,利用UML扩展机制实现UML类和关系的构造型设计,并采用对象约束语言作为模型约束条件,设计面向高铁信号系统STAMP建模的UML建模语言。最后应用于高铁信号系统典型场景安全分析模型的构建。     

基于UML的电动汽车数据采集分析系统的开发

简要介绍了统一建模语言UML(Unified Modeling Language)的特点,并结合对一个应用在电动汽车的数据采集分析系统软件进行详细的建模描述,最后给出了基于UML开发的数据采集系统软件运行实例.     

UML&UP在VPN网管系统中的应用

介绍统一建模语言UML和统一过程UP的特点,阐述UML建模的过程,通过对VPN网管系统进行建模分析,从而有利于开发人员进行需求分析、系统设计和实现,提高系统的性能,缩短开发周期.     

UML＆UP在VPN网管系统中的应用

介绍统一建模语言UML和统一过程UP的特点,阐述UML建模的过程,通过对VPN网管系统进行建模分析,从而有利于开发人员进行需求分析、系统设计和实现,提高系统的性能,缩短开发周期。     

CTCS-3级列控系统RBC控车场景建模与验证

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。     

基于UML的列车自动监控系统分析研究

以沈阳市城市轨道交通建设为背景,介绍在城市快速发展的基础上发展起来的列车自动监控系统,从功能、结构以及面向对象设计3个方面对系统进行分析,并介绍统一建模语言UML及工具Rational Rose,同时给出系统结构图和类图.     

基于UML的铁路输送辅助决策软件设计

铁路输送辅助决策软件是C^4ISR系统的重要组成部分,其功能和质量的好坏直接影响着C^4ISR系统的整体性能。UML作为一种定义良好的统一建模语言,适用于软件系统开发过程的各个阶段,它可以从不同的角度,用简单明了的可视化图形将复杂系统表示出来,对整个软件的开发提供灵活、一致、易读的表达,能有效地增进各类人员之间的交流,提高软件的可重用性和可维护性,并降低风险。该文首先介绍UML的建模体系,然后使用UML对铁路输送辅助决策软件进行功能需求分析,在此基础上,进行问题领域分析,建立软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供支持。     

轨道交通列车自动运行仿真平台的开发研究

为了研究轨道交通列车自动运行(ATO)系统,需建立一个通用的ATO系统仿真平台,用来对ATO进行研究,以解决企业和学校的培训、教学成本高昂的困难。从体系结构软件开发的四个阶段阐述ATO系统的仿真平台开发过程,并运用UML建模语言,选用Rose可视化建模工具,采用迭代和增量的设计,对ATO仿真平台进行建模,为轨道交通控制系统的培训和教学提供有力保障。     

CTCS-3级列控系统规范建模与验证

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。     

基于多部门协同的城市轨道交通应急处置组织结构

面向城市轨道交通网络化运营条件下安全、高效的应急处置业务需求,引入多部门协同方法对城市轨道交通应急处置组织结构进行优化重组。以深圳地铁为例,构建四层十级多部门协同体系,并基于统一建模语言(UML),对优化后的城市轨道交通应急处置组织结构进行描述。该应急处置结构有助于实现应急指挥过程中各部门的多点联动及协同处置,提高运营管理部门对突发事件的应对能力、响应速度及处置效率,达到节约处置时间、保障城市轨道交通安全有序运营的目的。     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...     

基于UML与CPN的CTCS-3级列控系统建模与验证方法研究

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。     

基于沙盘的城轨控制实验室集中站联锁仿真系统

在城轨控制实验室仿真平台中,集中站联锁系统是保障列车各种作业安全的重要子系统.本文运用UML建模方法和Visio工具,对系统的需求、设计、编程实现和测试过程进行了描述和分析,建立了系统不同设计阶段的可视化模型.选取沙盘上2个典型集中站进行编程实现和测试,验证了运用UML方法对系统建模的正确性,且能够与沙盘联动控制.此外,系统还设计并实现了保护区段和侧面防护,这是地铁联锁系统的独有特点.     

基于Web的继电保护管理信息系统的UML设计

针对基于Web的继电保护管理信息系统的功能特点和开发难点,用UML实现了Web的继电保护管理信息系统的建模,为系统软件的开发奠定了基础.     

基于统一模型语言的城市轨道交通在线检测系统预研究

城市轨道交通在线检测系统负责对运行中的车辆设备、轨道设备等的工作状态及参数进行实时检测及故障诊断.因关系到安全运行,故要求其具有高可靠性和较强的数据处理能力.阐述了在线检测系统的总体结构,在UML(统一模型语言)建模技术的基础上,提出了基于UML的系统模型.     

基于UML的城市轨道交通列车超速防护系统建模

分析I-Logix公司的Rhapsody软件的主要特性,在Rhapsody开发环境下对北京地铁1号线的ATP系统车载设备进行UML建模,并介绍系统级调试功能。     

基于UML2.0活动图的车载设备测试用例生成方法研究

重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.