Product Line Engineering Applied to CBTC Systems Development

Communications-based Train Control (CBTC) systems are the new frontier of automated train control and operation. Currently developed CBTC platforms are actually very complex systems including several functionalities, and every installed system, developed by a different company, varies in extent, scope, number, and even names of the implemented functionalities. International standards have emerged, but they remain at a quite abstract level, mostly setting terminology. This paper reports intermediate results in an effort aimed at defining a global model of CBTC, by mixing semi-formal modelling and product line engineering. The effort has been based on an in-depth market analysis, not limiting to particular aspects but considering as far as possible the whole picture. The adopted methodology is discussed and a preliminary model is presented.

[1]  Antonio Bucchiarone,et al.  An experience in using a tool for evaluating a large set of natural language requirements , 2010, SAC '10.

[2]  Stefania Gnesi,et al.  Formal Modeling for Product Families Engineering , 2008, 2008 12th International Software Product Line Conference.

[3]  H. S. Osborne,et al.  The international electrotechnical commission , 1953, Electrical Engineering.

[4]  E. Schnieder TECHNICAL ISSUES IN MODELLING THE EUROPEAN TRAIN CONTROL SYSTEM (ETCS) USING COLOURED PETRI NETS AND THE DESIGN/CPN TOOLS , 1998 .

[5]  Jacques Julliand,et al.  B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings , 2006, B.

[6]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[7]  H. Glickenstein,et al.  Transportation systems , 2006, IEEE Vehicular Technology Magazine.

[8]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[9]  Patrick Donohoe,et al.  Product Line Analysis: A Practical Introduction , 2001 .

[10]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[11]  Haifeng Wang,et al.  Modeling Communications-Based Train Control system:A case study , 2010, 2010 The 2nd International Conference on Industrial Mechatronics and Automation.

[12]  L. Yuan,et al.  Modelling and Verification of the System Requirement Specification of Train Control System Using SDL , 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.

[13]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[14]  R.D. Pascoe,et al.  What is communication-based train control? , 2009, IEEE Vehicular Technology Magazine.

[15]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[16]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[17]  H. H. Kim,et al.  Developing CBTC Software Using Model-Driven Development Approach , 2008 .

[18]  Daniel Dollé,et al.  B in Large-Scale Projects: The Canarsie Line CBTC Experience , 2007, B.

[19]  F. Whitwom Integration of wireless network technology with signaling in the rail transit industry , 2003 .

[20]  W. Rickard,et al.  Open standards for CBTC and CCTV radio-based communication , 2004 .