From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
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, sco...
Gespeichert in:
Veröffentlicht in: | International journal on software tools for technology transfer 2014-11, Vol.16 (6), p.647-667 |
---|---|
Hauptverfasser: | , , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 667 |
---|---|
container_issue | 6 |
container_start_page | 647 |
container_title | International journal on software tools for technology transfer |
container_volume | 16 |
creator | Ferrari, Alessio Spagnolo, Giorgio O. Martelli, Giacomo Menabeni, Simone |
description | 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. |
doi_str_mv | 10.1007/s10009-013-0298-6 |
format | Article |
fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1642250591</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1642250591</sourcerecordid><originalsourceid>FETCH-LOGICAL-c528t-a8d00ca539ecf1591798390e90260368683f502dd19bdf2ff7fca2e0a6888d563</originalsourceid><addsrcrecordid>eNp1kEFLwzAUx4soOKcfwFvAi5fqS7qmiTctToWBl3kOMX3ZOtqkS1ph397OiYjg5eURfu_Pn1-SXFK4oQDFbRwnyBRolgKTIuVHyYTOsixlhSiOf_ZCniZnMW4AaMELOUnqefAtMb5tMZhaN6TyZmjR9ZH0nsRd7LElAbdDHfDr-45oR3TXBa_NmlgfSL9Ggm5VO8RQuxXxljj_gQ0pH5Ylib4Z-tq7eJ6cWN1EvPh-p8nb_HFZPqeL16eX8n6RmpyJPtWiAjA6zyQaS3NJCykyCSiBcci44CKzObCqovK9sszawhrNEDQXQlQ5z6bJ9SF3rLgdMPaqraPBptEO_RAV5TPGchiTR_TqD7rxQ3Bju5GidJZzxtlI0QNlgo8xoFVdqFsddoqC2stXB_lqlK_28tW-BDvcxG7vBMOv5H-PPgGwGIc4</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1611456262</pqid></control><display><type>article</type><title>From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions</title><source>SpringerNature Journals</source><creator>Ferrari, Alessio ; Spagnolo, Giorgio O. ; Martelli, Giacomo ; Menabeni, Simone</creator><creatorcontrib>Ferrari, Alessio ; Spagnolo, Giorgio O. ; Martelli, Giacomo ; Menabeni, Simone</creatorcontrib><description>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.</description><identifier>ISSN: 1433-2779</identifier><identifier>EISSN: 1433-2787</identifier><identifier>DOI: 10.1007/s10009-013-0298-6</identifier><language>eng</language><publisher>Berlin/Heidelberg: Springer Berlin Heidelberg</publisher><subject>Complex systems ; Computer programs ; Computer Science ; Control systems ; Fmrcs ; Markets ; Mathematical models ; Methodology ; Process engineering ; Software Engineering ; Software Engineering/Programming and Operating Systems ; Systems development ; Theory of Computation ; Trains</subject><ispartof>International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.647-667</ispartof><rights>Springer-Verlag Berlin Heidelberg 2014</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c528t-a8d00ca539ecf1591798390e90260368683f502dd19bdf2ff7fca2e0a6888d563</citedby><cites>FETCH-LOGICAL-c528t-a8d00ca539ecf1591798390e90260368683f502dd19bdf2ff7fca2e0a6888d563</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s10009-013-0298-6$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s10009-013-0298-6$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,41488,42557,51319</link.rule.ids></links><search><creatorcontrib>Ferrari, Alessio</creatorcontrib><creatorcontrib>Spagnolo, Giorgio O.</creatorcontrib><creatorcontrib>Martelli, Giacomo</creatorcontrib><creatorcontrib>Menabeni, Simone</creatorcontrib><title>From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions</title><title>International journal on software tools for technology transfer</title><addtitle>Int J Softw Tools Technol Transfer</addtitle><description>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.</description><subject>Complex systems</subject><subject>Computer programs</subject><subject>Computer Science</subject><subject>Control systems</subject><subject>Fmrcs</subject><subject>Markets</subject><subject>Mathematical models</subject><subject>Methodology</subject><subject>Process engineering</subject><subject>Software Engineering</subject><subject>Software Engineering/Programming and Operating Systems</subject><subject>Systems development</subject><subject>Theory of Computation</subject><subject>Trains</subject><issn>1433-2779</issn><issn>1433-2787</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNp1kEFLwzAUx4soOKcfwFvAi5fqS7qmiTctToWBl3kOMX3ZOtqkS1ph397OiYjg5eURfu_Pn1-SXFK4oQDFbRwnyBRolgKTIuVHyYTOsixlhSiOf_ZCniZnMW4AaMELOUnqefAtMb5tMZhaN6TyZmjR9ZH0nsRd7LElAbdDHfDr-45oR3TXBa_NmlgfSL9Ggm5VO8RQuxXxljj_gQ0pH5Ylib4Z-tq7eJ6cWN1EvPh-p8nb_HFZPqeL16eX8n6RmpyJPtWiAjA6zyQaS3NJCykyCSiBcci44CKzObCqovK9sszawhrNEDQXQlQ5z6bJ9SF3rLgdMPaqraPBptEO_RAV5TPGchiTR_TqD7rxQ3Bju5GidJZzxtlI0QNlgo8xoFVdqFsddoqC2stXB_lqlK_28tW-BDvcxG7vBMOv5H-PPgGwGIc4</recordid><startdate>20141101</startdate><enddate>20141101</enddate><creator>Ferrari, Alessio</creator><creator>Spagnolo, Giorgio O.</creator><creator>Martelli, Giacomo</creator><creator>Menabeni, Simone</creator><general>Springer Berlin Heidelberg</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8AO</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M2O</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PADUT</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope></search><sort><creationdate>20141101</creationdate><title>From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions</title><author>Ferrari, Alessio ; Spagnolo, Giorgio O. ; Martelli, Giacomo ; Menabeni, Simone</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c528t-a8d00ca539ecf1591798390e90260368683f502dd19bdf2ff7fca2e0a6888d563</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Complex systems</topic><topic>Computer programs</topic><topic>Computer Science</topic><topic>Control systems</topic><topic>Fmrcs</topic><topic>Markets</topic><topic>Mathematical models</topic><topic>Methodology</topic><topic>Process engineering</topic><topic>Software Engineering</topic><topic>Software Engineering/Programming and Operating Systems</topic><topic>Systems development</topic><topic>Theory of Computation</topic><topic>Trains</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Ferrari, Alessio</creatorcontrib><creatorcontrib>Spagnolo, Giorgio O.</creatorcontrib><creatorcontrib>Martelli, Giacomo</creatorcontrib><creatorcontrib>Menabeni, Simone</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest Pharma Collection</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Research Library</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>Research Library China</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>International journal on software tools for technology transfer</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ferrari, Alessio</au><au>Spagnolo, Giorgio O.</au><au>Martelli, Giacomo</au><au>Menabeni, Simone</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions</atitle><jtitle>International journal on software tools for technology transfer</jtitle><stitle>Int J Softw Tools Technol Transfer</stitle><date>2014-11-01</date><risdate>2014</risdate><volume>16</volume><issue>6</issue><spage>647</spage><epage>667</epage><pages>647-667</pages><issn>1433-2779</issn><eissn>1433-2787</eissn><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.</abstract><cop>Berlin/Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/s10009-013-0298-6</doi><tpages>21</tpages><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | ISSN: 1433-2779 |
ispartof | International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.647-667 |
issn | 1433-2779 1433-2787 |
language | eng |
recordid | cdi_proquest_miscellaneous_1642250591 |
source | SpringerNature Journals |
subjects | Complex systems Computer programs Computer Science Control systems Fmrcs Markets Mathematical models Methodology Process engineering Software Engineering Software Engineering/Programming and Operating Systems Systems development Theory of Computation Trains |
title | From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T16%3A03%3A12IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=From%20commercial%20documents%20to%20system%20requirements:%20an%20approach%20for%20the%20engineering%20of%20novel%20CBTC%20solutions&rft.jtitle=International%20journal%20on%20software%20tools%20for%20technology%20transfer&rft.au=Ferrari,%20Alessio&rft.date=2014-11-01&rft.volume=16&rft.issue=6&rft.spage=647&rft.epage=667&rft.pages=647-667&rft.issn=1433-2779&rft.eissn=1433-2787&rft_id=info:doi/10.1007/s10009-013-0298-6&rft_dat=%3Cproquest_cross%3E1642250591%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1611456262&rft_id=info:pmid/&rfr_iscdi=true |