2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)最新文献_第2页

A model-based test case generation method for function testing of Train Control Systems 基于模型的列车控制系统功能测试用例生成方法

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588752

J. Lv, Haifeng Wang, Hongjie Liu, Lu Zhang, T. Tang

{"title":"A model-based test case generation method for function testing of Train Control Systems","authors":"J. Lv, Haifeng Wang, Hongjie Liu, Lu Zhang, T. Tang","doi":"10.1109/ICIRT.2016.7588752","DOIUrl":"https://doi.org/10.1109/ICIRT.2016.7588752","url":null,"abstract":"Potential faults in safety critical systems may lead to system failures thus bring huge human injuries. How to ensure the correctness of the system during the system development is very important. System function testing has been regarded as an effective approach which normally applied in the final stage of system development to ensure the consistence of system functions and specifications. In this paper, an integrated model-based test case generation method combining Hybrid Communicating Sequential Processes (HCSP) and Timed Automata is introduced, in which HCSP is used to formally model the scenarios of the system, while Timed Automata is used to verify the system properties in HCSP models. To bridge the gap between the HCSP model and Timed Automata model, transition rules are defined according to the characteristics of systems. Based on the Network Timed Automaton model, a tool chain (UPPAAL and CoVer) is presented to automatically generate test case with coverage criteria in a simple and flexible manner. The tool chain is also applied to analyze the typical Radio Block Center (RBC) handover scenario in Chinese Train Control System Level 3 (CTCS-3). Logical and timing properties of the case study are verified and different test case suites of Vital Computer (VC) components in RBC handover model are automatically generated with different coverage criteria.","PeriodicalId":427580,"journal":{"name":"2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114783306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line 面向铁路站场设计的综合仿真与正式验证——基于英国东海岸干线的经验报告

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588753

Lei Chen, Phillip James, D. Kirkwood, Hoang Nga Nguyen, G. Nicholson, M. Roggenbach

{"title":"Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line","authors":"Lei Chen, Phillip James, D. Kirkwood, Hoang Nga Nguyen, G. Nicholson, M. Roggenbach","doi":"10.1109/ICIRT.2016.7588753","DOIUrl":"https://doi.org/10.1109/ICIRT.2016.7588753","url":null,"abstract":"The development of railway systems is often supported by a range of tools, each addressing individual, but overlapping concerns such as, e.g., performance or safety analysis. However, it is a challenge for users to organise work-flows; results are often in different, non-aligning data formats; furthermore, tools work on different levels of abstraction from macro to microscopic. Thus, tool integration would be beneficial, and also allow for more playful, experimental prototyping and design. This paper reports on lessons learned from the integration of BRaVE - the Birmingham Railway Virtual Environment - and OnTrack from Swansea University. BRaVE is an easy-to-use railway simulation software for development, modelling and flow analysis. OnTrack allows for the automatic verification of scheme plans against a number of safety properties via different formal methods. We present an approach that bridges the gap that occurs from varying details in data sources through automated transformations. This integration provides a first step towards a seamless environment for prototyping, concept development, and safety analysis under ”one roof”. We demonstrate the usefulness of our approach by giving integrated simulation and verification results for the UK East Coast Main Line. This work is part of the wider RSSB's Future Traffic Regulation Optimisation research programme.","PeriodicalId":427580,"journal":{"name":"2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123485651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Verification of metro track signalling layout based on microscopic simulation 基于微观仿真的地铁轨道信号布置图验证

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588774

Jinwen Wei, Qian Xu, D. Kirkwood, Yuemiao Wang, Lei Chen, L. Jidong, Jingwei Sun

引用次数: 0

Investigation into train positioning systems for saving energy with optimised train trajectories 基于优化列车轨道的节能列车定位系统研究

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588769

H. Hamid, G. Nicholson, H. Douglas, N. Zhao, C. Roberts

{"title":"Investigation into train positioning systems for saving energy with optimised train trajectories","authors":"H. Hamid, G. Nicholson, H. Douglas, N. Zhao, C. Roberts","doi":"10.1109/ICIRT.2016.7588769","DOIUrl":"https://doi.org/10.1109/ICIRT.2016.7588769","url":null,"abstract":"One approach to reduce energy consumption in railway systems is to implement optimised train trajectories. These are speed profiles that reduce energy consumption without foregoing customer comfort or running times. This is achieved by avoiding unnecessary braking and running at reduced speed whilst maintaining planned arrival times. An optimised train trajectory can be realised using a driver advisory system (DAS). The optimal train trajectory approach needs a variety of input data, such as the train's position, speed, direction, gradient, maximum speed, dwell time, and station locations. Many studies assume the availability of a very accurate train position in real time. However, providing and using high precision positioning data is not always the most cost-effective solution. The aim of this research is to investigate the use of appropriate positioning systems, with regard to their performance and cost specifications, with optimised trajectories. This paper first presents a single train trajectory optimisation to minimise overall energy consumption. It then explores how errors in train position data affect the total consumed energy, with regard to the tractive force due to gradient when following the optimised trajectory. A genetic algorithm is used to optimise the train speed profile. The results from simulation indicate that a basic GPS system for specifying train position is sufficient to save energy via an optimised train trajectory. The authors investigate the effect of error in positioning data, to guarantee the reliability of employing the optimised solution for saving energy whilst maintaining an acceptable journey time.","PeriodicalId":427580,"journal":{"name":"2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130233280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

A train regulation approach for energy-saving: A case study for Beijing metro line 以北京地铁为例的列车节能调控方法

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588773

S. Su, T. Tang, J. Xun, F. Cao, Yihui Wang

引用次数: 0

Study on the effect of compensation capacitors on broken rail detection in audiofrequency track circuits 补偿电容在高频轨道电路断轨检测中的作用研究

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588746

Xinsheng Zhou, Zhixin Wang, Zhiming Liu

引用次数: 1

System energy optimisation of metro-transit system using Monte Carlo Algorithm 基于蒙特卡罗算法的地铁系统能量优化

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588768

Z. Tian, P. Weston, S. Hillmansen, C. Roberts, N. Zhao

引用次数: 8

Low power and low cost sensor for train velocity estimation 用于列车速度估计的低功耗低成本传感器

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588742

Max Spindler, Denis Stein, M. Lauer

引用次数: 8

Real world verbal protocol data analysis of European Rail Traffic Management System train driving and conventional train driving 欧洲轨道交通管理系统列车驾驶与常规列车驾驶的真实世界口头协议数据分析

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588731

A. Naghiyev, S. Sharples, B. Ryan, A. Coplestone, M. Carey

{"title":"Real world verbal protocol data analysis of European Rail Traffic Management System train driving and conventional train driving","authors":"A. Naghiyev, S. Sharples, B. Ryan, A. Coplestone, M. Carey","doi":"10.1109/ICIRT.2016.7588731","DOIUrl":"https://doi.org/10.1109/ICIRT.2016.7588731","url":null,"abstract":"The European Train Control System (ETCS) as part of the ERTMS (European Rail Traffic Management System) is a train automation and control system, which has been introduced into the UK rail network, triggering a need to understand its impact on the train driving task and train driver behaviour. In particular, an industry requirement for Human Factors (HF) research and the necessity to understand the effect ERTMS has on drivers' cognitive strategies and demands. A real world exploratory eye-tracking study was conducted with both conventional and ERTMS drivers on their normal timetabled routes. In addition to the eye movement measures, a mixture of concurrent and retrospective verbal protocol data was collected and analysed using thematic analysis. The verbal dataset provides explanations for any differences in visual behaviour between ERTMS drivers and conventional drivers. The findings provide some deeper qualitative analysis to the reason behind the shift of typical visual attentional strategy from monitoring outside on the tracks to speed information inside the cab.","PeriodicalId":427580,"journal":{"name":"2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134023637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Supervision and rescheduling of a mixed CBTC traffic on a suburban railway line 城郊铁路混合CBTC交通的监督与重新调度

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2016-08-01 DOI: 10.1109/ICIRT.2016.7588547

Juliette Pochet, Sylvain Baro, G. Sandou

{"title":"Supervision and rescheduling of a mixed CBTC traffic on a suburban railway line","authors":"Juliette Pochet, Sylvain Baro, G. Sandou","doi":"10.1109/ICIRT.2016.7588547","DOIUrl":"https://doi.org/10.1109/ICIRT.2016.7588547","url":null,"abstract":"Railway companies need to achieve higher capacities on existing infrastructures such as high density suburban mainlines. Communication based train control (CBTC) systems have been widely deployed on dedicated subway lines. However, deployment on shared rail infrastructure, where CBTC and non-CBTC trains run, leads to a mixed positioning and controlling system with different precision levels and restrictions. New performance and complexity issues are to arise. In this paper, a method for rescheduling adapted to a CBTC system running in a mixed traffic, is introduced. The proposed method is based on a model predictive control (MPC) approach. In each step, a genetic algorithm with new mutation mechanisms solves the problem to optimize the cost function. It determines the dwell times and running times of CBTC trains, taking into account the non-CBTC trains planning and fixed-block localization. In addition, reordering can be allowed by modifying the problem constraints. The work is supported by a simulation tool developed by SNCF and adapted to mixed traffic study. The approach is illustrated with a case study based on a part of an East/West line in the Paris region network, proving the ability of the method to find good feasible solutions when delays occur in traffic.","PeriodicalId":427580,"journal":{"name":"2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124066299","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6