基于V模型的ATS软件验证方法研究

轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。     

基于元模型的通用性列控仿真平台基础环境研究

为实现列控仿真系统可重用性、可扩展性及可组合性的目标奠定底层基础,提出将列控系统分为控制器和控制对象,即列车控制策略和列车运行基本环境,在列控仿真系统中将控制器和控制对象分离设计。通过总结不同轨道交通系统运行的共性特征,将线路拓扑结构、列车模型和驾驶模型作为列车运行基础环境的3部分,采用元模型思想形式化描述列车运行基础环境的3部分,设计了基础线路数据库与仿真线路拓扑结构映射的关键算法和列车运行规则。采用高速铁路线路数据实现了列车运行基础环境,结果表明:所做研究在满足列控仿真平台需求的基础上,达到了列控仿真系统平台运行基础环境通用性目标。     

基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

CTCS-3级列控系统避撞协议的建模、设计和实现

CTCS-3级列控系统中的车载设备和RBC之间通过避撞协议进行协调控制。根据列车避撞安全需求,采用安全UML中的安全用例图和安全类图表示避撞协议模型,实现在任意时间间隔内,列车运行速度不超过期望速度,并且列车位置永远不能越过行车许可(MA)的安全功能。避撞协议的安全功能通过连续避撞策略和离散避撞策略的形式化精化实现。前者给出了列车速度和位置为连续变量的情况下,避撞协议的静态结构、动态交互和连续控制策略;后者利用离散逻辑实现了连续避撞策略的离散化。通过对离散避撞策略的进一步精化,生成避撞协议的实时程序代码。严格的形式逻辑WDC*的推理保证了连续避撞策略、离散避撞策略和最终代码精化的正确性和安全性。     

基于交换式以太网安全通信协议的模型和仿真研究

在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介绍构建于UDP协议之上的ZC内部安全通信协议的设计与实现,利用OP-NET网络仿真工具对该协议进行建模,并模拟VxWorks实时操作系统的多任务调度环境,构建基于交换式以太网的通信性能仿真研究平台。根据ZC的实际运行情况,对通信过程进行仿真,分析了发送窗口对报文最大时延的影响。仿真结果表明,适当的发送窗口数量可以兼顾通信效率和时间精度。     

客运专线CTCS-3级列控系统无线闭塞中心的建模与验证

本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。     

述评 全国主要港口

2011年8月份，我国港口生产经营形势稳定，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比均实现较快增长。     

9月份全国主要港口运行综述

1-9月份港口生产经营继续保持好的发展势头，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。     

VxWorks在ATP车载设备中的应用

主要研究实时操作系统VxWorks在列车超速防护（ATP）系统车载设备软件设计中的应用。为了提升系统性能，研究一种新的软件设计方法从而对各种资源进行有效管理很有必要。基于VxWorks的ATP车载设备软件设计利用嵌入式实时操作系统的优势，简化了系统资源管理，在保证系统实时性、安全性的前提下，有效地降低了软件设计的复杂度，并使得软件具有良好的层次性和可移植性。作者首先简单介绍实时操作系统VxWorks，其次描述了ATP车载设备的功能以及硬件实现方法，重点研究了基于实时操作系统VxWorks下三模冗余结构的ATP车载设备的软件实现方法，最后探讨了VxWorks在应用开发过程中的优势。