Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication NetworksShow 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
2022-12-072022-12-072022-12-07Bibliographically approved