Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
IEC 62290-1: Railway applications: Urban guided transport management and command/control systems. Part 1: System principles and fundamental concepts (2007)
IEC 62290-2: Railway applications: Urban guided transport management and command/control systems. Part 2: Functional requirements specification (2011)
Ansaldo STS. CBTC Brochure (2011), http://goo.gl/3Kmb0
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Bucchiarone, A., Fantechi, A., Gnesi, S., Trentanni, G.: An experience in using a tool for evaluating a large set of natural language requirements. In: Proc. of SAC, pp. 281–286 (2010)
Chastek, G., Donohoe, P., Kang, K.C., Thiel, S.: Product Line Analysis: A Practical Introduction. Technical Report CMU/SEI-2001-TR-001, Software Engineering Institute, Carnegie Mellon University (2001)
Clements, P.C., Northrop, L.: Software product lines: practices and patterns. Addison-Wesley Longman, Inc., Boston (2001)
Czarnecki, K., Eisenecker, U.: Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley, New York, NY, USA (2000)
Essamé, D., Dollé, D.: B in Large-Scale Projects: The Canarsie Line CBTC Experience. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 252–254. Springer, Heidelberg (2006)
Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proc. of SPLC, pp. 193–202 (2008)
Institute of Electrical and Electronics Engineers. IEEE Standard for Communications Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)
Invensys Rail. SIRIUS Brochure (2009), http://goo.gl/YFUiL
Jansen, L., Horste, M.M.Z., Schnieder, E.: Technical issues in modelling the European Train Control System (ETCS) using Coloured Petri Nets and the Design/CPN tools (1998)
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Carnegie-Mellon University Software Engineering Institute (1990)
Kuun, E.: Open Standards for CBTC and CBTC Radio Based Communications. In: APTA Rail Rail Transit Conference Proceedings (2004)
Pascoe, R.D., Eichorn, T.N.: What is Communication-Based Train Control? IEEE Vehicular Technology Magazine (2009)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)
Siemens Transportation Systems. Trainguard MT CBTC (2006), http://goo.gl/Xi0h0 ; The Moving Block Communications Based Train Control Solution
Signalling Solutions Limited. URBALIS Communication Based Train Control (CBTC) Delivery Performance and Flexibility (2009), http://goo.gl/G3hEe
Stover, J.S.: CITYFLO 650 System Overview (2006), http://goo.gl/e26SZ
Thales Transportation. Seltrac Brochure (2009), http://goo.gl/OjhvK
Wang, H., Liu, S.: Modeling Communications Based Train Control system: A case study. In: Proc. of ICIMA, pp. 453–456 (2010)
Yang, C., Lim, J., Um, J., Han, J., Bang, Y., Kim, H., Yun, Y., Kim, C., Cho, G.Y.: Developing CBTC Software Using Model-Driven Development Approach. In: Proc. of WCRR (2008)
Yuan, L., Tang, T., Li, K.: Modelling and Verification of the System Requirement Specification of Train Control System Using SDL. In: Proc. of ISADS, pp. 81–85 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S. (2012). Product Line Engineering Applied to CBTC Systems Development. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)