PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Spagnolo G. O., Martelli G., Menabeni S. Product line engineering applied to CBTC systems development. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. 5th International Symposium. (Heraclion, Crete, 15-18 October 2012). Proceedings, vol. II pp. 216 - 230. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.
 
 
Abstract
(English)
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.
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-34032-1_22?LI=true
DOI: 10.1007/978-3-642-34032-1_22
Subject CBTC
Product line engineering
Family product
B.1.2 Control Structure Performance Analysis and Design Aids


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional