Document - Product Line Engineering Applied to CBTC Systems Development

2012

Conference article Restricted

Product Line Engineering Applied to CBTC Systems Development

Ferrari A., Spagnolo G. O., Martelli G., Menabeni S.

Train control Product family Abstract levels Track circuit Global models Intermediate results International standards Route interlocking Product architecture

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.

Source: ISoLA 2012 - 5th International Symposium on Leveraging Applications of Formal Methods, pp. 216–230, Heraklion, Greece, 15-18/10/2012

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:490425,
	title = {Product Line Engineering Applied to CBTC Systems Development},
	author = {Ferrari A. and Spagnolo G. O. and Martelli G. and Menabeni S.},
	doi = {10.1007/978-3-642-34032-1_22},
	booktitle = {ISoLA 2012 - 5th International Symposium on Leveraging Applications of Formal Methods, pp. 216–230, Heraklion, Greece, 15-18/10/2012},
	year = {2012}
}