https://www.mdu.se/

mdu.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks
University of Naples Federico II, Naples, Italy.
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.ORCID iD: 0000-0002-2833-7196
University of Campania “Luigi Vanvitelli”, Caserta, Italy.
University of Naples “Parthenope”, Naples, Italy.
Show others and affiliations
2022 (English)In: Lecture Notes in Computer Science, vol. 13704, Springer Science and Business Media Deutschland GmbH , 2022, p. 308-320Conference paper, Published paper (Refereed)
Abstract [en]

The emergence of 5G technologies opens up new opportunities for railway communications. One of the foundational aspects of 5G architecture is its control-plane programmability, which can be achieved through Software Defined Networking (SDN). In railway scenarios, this can be used to dynamically reconfigure the network for a more effective and efficient management of communication flows produced by moving trains. The paper presents a framework for integrating modelling and analysis tools into a programmable control plane specifically tailored to railway communications. We introduce the concept of domain-awareness in the network control plane as an SDN-enabled feature that allows achieving application-specific advantages besides those purely expressed in terms of key performance indicators such as the quality of service. We propose a reference architecture in which domain-awareness in the control plane is obtained by considering information gathered by network devices and ad-hoc communication gateways that are able to detect relevant signalling events. In the architecture, the actual behaviour of the SDN controller is governed by applications that are able to react to specific triggers and re-configure network devices accordingly. We also provide a methodological framework based on model-driven engineering and formal methods, including dynamic state machines, for the automatic generation of SDN control plane logic. 

Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH , 2022. p. 308-320
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 13704 LNCS
Keywords [en]
Control plane, DSTM, ERTMS/ETCS, Formal methods, FRMCS, MDE, NG2R, QoS, Railways, SDN, 5G mobile communication systems, Benchmarking, Computer circuits, Network architecture, Quality control, Railroads, Automatic Generation, Control planes, Railway, Railway communications, Software-defined networkings, Quality of service
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-61160DOI: 10.1007/978-3-031-19762-8_23Scopus ID: 2-s2.0-85142692213ISBN: 9783031197611 (print)OAI: oai:DiVA.org:mdh-61160DiVA, id: diva2:1717033
Conference
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, 22 October 2022 through 30 October 2022
Available from: 2022-12-07 Created: 2022-12-07 Last updated: 2022-12-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Innovation and Product Realisation
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 57 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf