Publication Date:
2012
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Product family; Route interlocking; Product architecture; Train control; Track circuit
List of contributors:
Ferrari, Alessio; Spagnolo, GIORGIO ORONZO
Book title:
Leveraging Applications of Formal Methods, Verification and Validation