Modelling of Railways Signalling System Requirements by Controlled Natural Languages: A Case Study

Interdisciplinary Research Group in Socio-technical Cybersecurity

Modelling of Railways Signalling System Requirements by Controlled Natural Languages: A Case Study

Gabriele Lenzini, Marinella Petrocchi
Abstract:
The railway sector has been a source of inspiration for generations of researchers challenged to develop models and tools to analyze safety and reliability. Threats were coming mainly from within, due to occasionally faults in hardware components. With the advent of smart trains, the railway industry is venturing into cybersecurity and the railway sector will become more and more compelled to protect assets from threats against information & communication technology. We discuss this revolution at large, while speculating that instruments developed for security requirements engineering can then come in support of in the railway sector. And we explore the use of one of them: the Controlled Natural Language for Data Sharing Agreement (CNL4DSA). We use it to formalize a few exemplifying signal management system requirements. Since CNL4DSA enables the automatic generation of enforceable access control policies, our exercise is preparatory to implementing the security-by design principle in railway signalling management engineering.
Authors:
Gabriele Lenzini, Marinella Petrocchi
Publication date:
9 October, 2019
Published in:
Lecture Notes in Computer Science
Reference:
Lenzini, G., & Petrocchi, M. (2019). Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study. In From Software Engineering to Formal Methods and Tools, and Back (pp. 502-518). Springer, Cham.

Get in touch with us

SnT – Interdisciplinary Centre for Security, Reliability and Trust
29, Avenue J.F Kennedy L-1855 Luxembourg
info-irisc-lab@uni.lu