Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Product Line Engineering Applied to CBTC Systems Development

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Product family; Route interlocking; Product architecture; Train control; Track circuit
Elenco autori:
Ferrari, Alessio; Spagnolo, GIORGIO ORONZO
Autori di Ateneo:
FERRARI ALESSIO
SPAGNOLO GIORGIO ORONZO
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/452294
Titolo del libro:
Leveraging Applications of Formal Methods, Verification and Validation
  • Dati Generali

Dati Generali

URL

https://link.springer.com/chapter/10.1007/978-3-642-34032-1_22
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)