http://www.cnr.it/ontology/cnr/individuo/prodotto/ID278607

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (Articolo in rivista)

Type

Prodotto della ricerca (Classe)
Articolo in rivista (Classe)

Label

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (Articolo in rivista) (literal)

Anno

2014-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

10.1007/s10009-013-0298-6 (literal)

Alternative label

Ferrari, A., Spagnolo, G.O., Menabeni, S., Martelli, G. (2014)
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
in International journal on software tools for technology transfer (Print); Springer-Verlag, Berlin Heidelberg (Germania)
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Ferrari, A., Spagnolo, G.O., Menabeni, S., Martelli, G. (literal)

Pagina inizio

1 (literal)

Pagina fine

21 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

Progetto: Train Control Enhancement via Information Technology Acronimo: TRACE-IT Grant agreement:PAR FAS 2007--2013 Tipo Progetto: EU_FP7 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

http://link.springer.com/article/10.1007/s10009-013-0298-6 (literal)

Rivista

International journal on software tools for technology transfer (Rivista)

Note

Scopu (literal)
PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; Univ. of Firenze, Firenze, Italy; Univ. of Firenze, Firenze, Italy; (literal)

Titolo

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (literal)

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 presents the results of an experience in 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 paper also describes a methodology to derive novel CBTC products from the global model, and to define system requirements for the individual CBTC components. To this end, the proposed methodology employs scenario-based requirements elicitation aided with rapid prototyping. To enhance the quality of the requirements, these are written in a constrained natural language (CNL), and evaluated with natural language processing (NLP) techniques. The final goal is to go toward a formal representation of the requirements for CBTC systems. The overall approach is discussed, and the current experience with the implementation of the method is presented. In particular, we show how the presented methodology has been used in practice to derive a novel CBTC architecture. (literal)

Editore