Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
International Journal on Software Tools for Technology Transfer
Erschienen in: International Journal on Software Tools for Technology Transfer 6/2014

01.11.2014 | FMRCS

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

verfasst von: Alessio Ferrari, Giorgio O. Spagnolo, Giacomo Martelli, Simone Menabeni

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 6/2014

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.
Vorheriger Artikel Formal methods for railway control systems
Nächster Artikel Towards Model-Driven V&V assessment of railway control systems

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
10
Please refer to http://​www.​uic.​org for a complete list of references concerning ERTMS/ETCS systems.
 
Literatur
1.
2.
Batory, D.S.: Feature models, grammars, and propositional formulas. In: Proceedings of SPLC, pp. 7–20 (2005)
3.
Bitsch, F.: Process model for the development of system requirements specifications for railway systems. In: Workshop on Software Specification of Safety Relevant Transportation Control Tasks (2002)
4.
Bohn, J., Damm, W., Wittke, H., Klose, J., Moik, A.: Modeling and validating train system applications using statemate and live sequence charts. In: Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002)
5.
Boyd, S., Zowghi, D., Farroukh, A.: Measuring the expressiveness of a constrained natural language: an empirical study. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp. 339–349 (2005)
6.
Boyd, S., Zowghi, D., Gervasi, V.: Optimal-constraint lexicons for requirements specifications. In: Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ’07, pp. 203–217. Springer, Berlin (2007)
7.
Bucchiarone, A., Gnesi, S., Fantechi, A., Trentanni, G.: An experience in using a tool for evaluating a large set of natural language requirements. In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C.-C. (eds.) SAC, pp. 281–286. ACM (2010)
8.
CENELEC: EN 50129, railway applications—communications, signalling and processing systems—safety related electronic systems for signalling (2003)
9.
CENELEC: EN 50128, railway applications—communications, signalling and processing systems—software for railway control and protection systems (2011)
10.
CENELEC: EN 50126, railway applications—the specification and demonstration of reliability, availability, maintainability and safety (RAMS)—part 1: generic RAMS process (2012)
11.
Chastek, G., Donohoe, P., Kang, K.C., Thiel, S.: Product line analysis: a practical introduction. Technical Report CMU/SEI-2001-TR-001. Software Engineering Institute, Carnegie Mellon University (2001)
12.
Clements, P.C., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Inc., Boston (2001)
13.
Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. ACM Press/Addison-Wesley, New York (2000)
14.
Denger, C., Berry, D.M., Kamsties, E.: Higher quality requirements specifications through natural language patterns. In: Proceedings of the IEEE International Conference on Software Science Technology and Engineering, pp. 80–91. IEEE Computer Society (2003)
15.
Essamé, D., Dolé, D.: B in large-scale projects: the canarsie line CBTC experience. In: Computer Science, vol. 4355/2006, pp. 252–254 (2006)
16.
Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. In: Software Engineering Workshop, 2001. Proceedings of the 26th Annual NASA Goddard, pp. 97–105. IEEE (2001)
17.
Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proceedings of SPLC, pp. 193–202 (2008)
18.
Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3), 16 (2012)CrossRef
19.
Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting requirement formalization by means of natural language translation. Form. Methods Syst. Des. 4(3), 243–263 (1994)CrossRefMATH
20.
Fatwanto, A.: Specifying translatable software requirements using constrained natural language. In: 7th International Conference on Computer Science Education (ICCSE), pp. 1047–1052 (2012)
21.
Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE Softw. 30(3), 28–34 (2013)
22.
Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The metrô rio case study. Sci. Comput. Progr. 78(7), 828–842 (2013)CrossRef
23.
Ferrari, A., Gnesi, S.: Using collective intelligence to detect pragmatic ambiguities. In: 20th IEEE International Conference on Requirements Engineering (RE), pp. 191–200. IEEE (2012)
24.
Ferrari, A., Gnesi, S., Tolomei, G.: Using clustering to improve the structure of natural language requirements documents. In: Doerr, J., Opdahl, A.L. (eds.) Requirements Engineering: Foundation for Software Quality. Lecture Notes in Computer Science, vol. 7830, pp. 34–49. Springer, Berlin (2013)
25.
Ferrari, A., Spagnolo, G.O., dell’Orletta, F.: Mining commonalities and variabilities from natural language documents. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) SPLC, pp. 116–120. ACM (2013)
26.
27.
Gomaa, H.: The impact of rapid prototyping on specifying user requirements. SIGSOFT Softw. Eng. Notes 8(2), 17–27 (1983)MathSciNetCrossRef
28.
Grover, C., Holt, A., Klein, E., Moens, M.: Designing a controlled language for interactive model checking. In: Proceedings of the Third International Workshop on Controlled Language Applications, pp. 29–30 (2000)
29.
IEC 62290-1: Railway applications: urban guided transport management and command/control systems. Part 1: system principles and fundamental concepts (2007)
30.
IEC 62290-2: Railway applications: urban guided transport management and command/control systems. Part 2: functional requirements specification (2011)
31.
Institute of Electrical and Electronics Engineers. IEEE Standard for Communications Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)
32.
33.
Jansen, L., Meyer Zu Horste, M., Schnieder, E.: Technical issues in modelling the European Train Control System (ETCS) using Coloured Petri Nets and the Design/CPN tools (1998)
34.
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute (1990)
35.
Kuun, E.: Open standards for CBTC and CBTC radio based communications. In: APTA Rail Rail Transit Conference Proceedings (2004)
36.
Mendonca, M., Branco, M., Cowan, D.: Splot: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761–762. ACM (2009)
37.
Nelken, R., Francez, N.: Automatic translation of natural language system specifications into temporal logic. In: Computer Aided Verification, pp. 360–371. Springer, Berlin (1996)
38.
Pascoe, R.D., Eichorn, T.N.: What is communication-based train control? IEEE Vehicular Technology Magazine (2009)
39.
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Secaucus (2005)CrossRef
40.
Rampelli, S., Virivinti, S.D.: Architectural design pattern representation for communications-based train control system (CBTCS). Int. J. Eng. Res. Technol. (2012)
41.
Roos-Frantz, F.: Automated analysis of software product lines with orthogonal variability models: extending the fama ecosystem. PhD thesis, University of Seville (2012)
42.
Schwaber, K.: Agile Project Management with Scrum. Microsoft Press, USA (2004)
43.
Schwitter, R.: English as a formal specification language. In: DEXA Workshops, pp. 228–232. IEEE Computer Society (2002)
44.
45.
46.
47.
Sutcliffe, A.: Scenario-based requirements engineering. In: Proceedings of the 11th IEEE International Conference on Requirements Engineering, RE ’03, pp. 320–329, Washington, DC, USA. IEEE Computer Society (2003)
48.
Tang, W., Ning, B., Xu, T., Zhao, L.: Scenario-based modeling and verification for ctcs-3 system requirement specification. In: 2nd International Conference on Computer Engineering and Technology (ICCET), vol. 1, pp. V1-400–V1-403 (2010)
49.
ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Progr. 76(2), 119–135 (2011)CrossRefMATH
50.
51.
Wang, H., Liu, S.: Modeling communications based train control system: a case study. In: Proceedings of ICIMA, pp. 453–456 (2010)
52.
Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated analysis of requirement specifications. In: Proceedings of ICSE ’97, pp. 161–171, New York, NY, USA. ACM (1997)
53.
Yang, C.S., Lim, J.S., Um, J.K., Han, J.M., Bang, Y., Kim, H.H., Yun, Y.H., Kim, C.J., G. Cho, Y.: Developing CBTC software using model-driven development approach. In: Proceedings of WCRR (2008)
54.
Yuan, L., Tang, T., Li, K.: Modelling and verification of the system requirement specification of train control system using SDL. In: Proceedings of ISADS, pp. 81–85 (2011)
Metadaten
Titel
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
verfasst von
Alessio Ferrari
Giorgio O. Spagnolo
Giacomo Martelli
Simone Menabeni
Publikationsdatum
01.11.2014
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal on Software Tools for Technology Transfer / Ausgabe 6/2014
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-013-0298-6

Weitere Artikel der Ausgabe 6/2014

International Journal on Software Tools for Technology Transfer 6/2014 Zur Ausgabe

FMRCS

Techniques for modelling and verifying railway interlockings

FMRCS

Towards Model-Driven V&V assessment of railway control systems

Introduction

Formal methods for railway control systems

Regular Paper

Survey on test data generation tools

Regular Paper

Model checking evaluation of airplane landing trajectories

FMRCS

Automated generation of formal safety conditions from railway interlocking tables

Premium Partner

    Bildnachweise