共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM... 相似文献
3.
UML在软件系统分析设计中的应用 总被引:3,自引:0,他引:3
对软件系统开发过程中使用的传统软件建模技术和面向对象的建模技术进行了比较和分析.介绍了UML系统建模的组成要素.并以人力资源管理系统为例,说明UML在系统动态行为建模中的具体应用. 相似文献
4.
基于UML的电动汽车数据采集分析系统的开发 总被引:1,自引:0,他引:1
闫四玉 《变流技术与电力牵引》2005,(4):23-26
简要介绍了统一建模语言UML(Unified Modeling Language)的特点,并结合对一个应用在电动汽车的数据采集分析系统软件进行详细的建模描述,最后给出了基于UML开发的数据采集系统软件运行实例. 相似文献
5.
6.
城市轨道交通在线检测系统负责对运行中的车辆设备、轨道设备等的工作状态及参数进行实时检测及故障诊断.因关系到安全运行,故要求其具有高可靠性和较强的数据处理能力.阐述了在线检测系统的总体结构,在UML(统一模型语言)建模技术的基础上,提出了基于UML的系统模型. 相似文献
7.
应用UML对油压减震器计算机测试系统进行面向对象的描述和建模,从问题域出发,定义问题和解决问题.通过使用UML的图形,先从系统的软硬件边界、系统服务、操作者与系统交互的角度去发现对象,根据对象定义类,然后使用VC++完成程序设计.UML对油压减震器计算机测试系统的描述应用于从需求分析到程序实现、程序测试的整个软件过程. 相似文献
8.
以沈阳市城市轨道交通建设为背景,介绍在城市快速发展的基础上发展起来的列车自动监控系统,从功能、结构以及面向对象设计3个方面对系统进行分析,并介绍统一建模语言UML及工具Rational Rose,同时给出系统结构图和类图. 相似文献
9.
10.
铁路输送辅助决策软件是C^4ISR系统的重要组成部分,其功能和质量的好坏直接影响着C^4ISR系统的整体性能。UML作为一种定义良好的统一建模语言,适用于软件系统开发过程的各个阶段,它可以从不同的角度,用简单明了的可视化图形将复杂系统表示出来,对整个软件的开发提供灵活、一致、易读的表达,能有效地增进各类人员之间的交流,提高软件的可重用性和可维护性,并降低风险。该文首先介绍UML的建模体系,然后使用UML对铁路输送辅助决策软件进行功能需求分析,在此基础上,进行问题领域分析,建立软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供支持。 相似文献
11.
针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法。以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再列出它与NuSMV之间的映射关系并实现将UML模型自动转换为NuSMV形式化模型,最后完成对计算机联锁系统的验证,检测其需求中可能存在的漏洞。该方法能够降低对计算机联锁系统形式化建模与验证的难度与减少人工建模时可能出现的错误,为计算机联锁系统形式化模型的建立与验证提供一种新思路。 相似文献
12.
13.
在城轨控制实验室仿真平台中,集中站联锁系统是保障列车各种作业安全的重要子系统.本文运用UML建模方法和Visio工具,对系统的需求、设计、编程实现和测试过程进行了描述和分析,建立了系统不同设计阶段的可视化模型.选取沙盘上2个典型集中站进行编程实现和测试,验证了运用UML方法对系统建模的正确性,且能够与沙盘联动控制.此外,系统还设计并实现了保护区段和侧面防护,这是地铁联锁系统的独有特点. 相似文献
14.
为了研究轨道交通列车自动运行(ATO)系统,需建立一个通用的ATO系统仿真平台,用来对ATO进行研究,以解决企业和学校的培训、教学成本高昂的困难。从体系结构软件开发的四个阶段阐述ATO系统的仿真平台开发过程,并运用UML建模语言,选用Rose可视化建模工具,采用迭代和增量的设计,对ATO仿真平台进行建模,为轨道交通控制系统的培训和教学提供有力保障。 相似文献
15.
16.
17.
分析I-Logix公司的Rhapsody软件的主要特性,在Rhapsody开发环境下对北京地铁1号线的ATP系统车载设备进行UML建模,并介绍系统级调试功能。 相似文献
18.
基于GIS的铁路选线智能环境及领域本体建模方法 总被引:1,自引:0,他引:1
提出基于GIS的铁路选线智能环境(GBRLIE)的智能选线综合解决方案。铁路选线智能环境的既有研究,以及GIS技术、人工智能技术和其他计算机技术的发展为解决方案的研究奠定了基础。在GBRLIE的知识表达上,本体提供了信息共享、互操作的中间件,可保证知识系统从概念分析到系统建立的概念一致性,能保持数据和知识的语义统一。本体位于GBRLIE的逻辑表示层,包括领域本体、方法本体和应用本体。领域本体是对研究领域可共享和重用静态知识的描述,采用UML和面向对象技术进行表示,可克服专用本体描述语言和表示方法的不足。领域本体的形式化描述把关系和规则当作概念处理,用UML表示本体、概念、关系、规则、约束、公理。应用提出的领域本体表示方法描述了铁路选线几何构成本体,列出选线设计中的部分规则及约束。 相似文献
19.
一种基于场景的CTCS-3列车控制系统建模方法研究 总被引:1,自引:0,他引:1
对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。 相似文献
20.
区域控制器(Zone Controller,ZC)通过与联锁系统(Computer Interlocking,CI)、车载控制器(Vehicle On Board Controller,VOBC)和列车自动监督系统(Automatic Train Supervision,ATS)等其他子系统信息交互来为列车计算移动授权,是基于通信的列车运行控制系统(Communication Based Train Control,CBTC)重要的地面安全设备。研究区域控制器的功能需求,构建满足边界切换实时性、安全性特点的模型有助于保证列车在线路上高效、安全的运行。在现有建模方式的基础上,采用统一建模语言(Unified Modeling Language,UML)和层次时间有色Petri网(Hierarchical Timed Colored Petri Net,HTCPN)相结合的方法对ZC边界切换场景下的区域控制器和车载子系统之间的信息交互过程进行分析。从车载VOBC状态变化的角度构建用于验证切换场景安全性的UML模型和HTCPN模型,并以CPN Tools作为仿真平台对其进行验证。根据CPN ... 相似文献