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

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

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

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

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法(简称EPN)将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统.由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模.同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真.本文主要对列车控制系统中的连挂和解编过程进行建模.通过模型验证采用EPN分析系统的有效性和便捷性.     

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

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

基于IFC的铁路信号UML建模及应用研究

以铁路IFC国际标准项目为依托,研究了铁路信号IFC数据需求、编制过程,以及UML建模目的;从类、属性、关系3个核心要素方面举例,阐述了从数据需求到UML概念模型的技术流程;提出了基于IFC的铁路信号UML建模内容和方法,并分别从实体构件、空间结构、线性定位3个方面对铁路信号UML建模进行分析说明;提出了铁路信号UML...     

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

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

UML在油压减震器计算机测试系统中的应用

应用UML对油压减震器计算机测试系统进行面向对象的描述和建模,从问题域出发,定义问题和解决问题.通过使用UML的图形,先从系统的软硬件边界、系统服务、操作者与系统交互的角度去发现对象,根据对象定义类,然后使用VC++完成程序设计.UML对油压减震器计算机测试系统的描述应用于从需求分析到程序实现、程序测试的整个软件过程.     

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

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

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

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

联锁系统UML模型的建立与形式化验证

针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法。以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再列出它与NuSMV之间的映射关系并实现将UML模型自动转换为NuSMV形式化模型,最后完成对计算机联锁系统的验证,检测其需求中可能存在的漏洞。该方法能够降低对计算机联锁系统形式化建模与验证的难度与减少人工建模时可能出现的错误,为计算机联锁系统形式化模型的建立与验证提供一种新思路。