Reference : Modelling of Railways Signalling System Requirements by Controlled Natural Languages:...
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
Security, Reliability and Trust
Modelling of Railways Signalling System Requirements by Controlled Natural Languages: A Case Study
Lenzini, Gabriele mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Petrocchi, Marinella []
From Software Engineering to Formal Methods and Tools, and Back
Springer, Cham
Lecture Notes In Computer Science, volume 11865
[en] System Modelling ; Railway Systems ; CNL4DSA
[en] 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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)
Fonds National de la Recherche - FnR
FnR ; FNR10404786 > Gabriele LENZINI > DAPRECO > Data Protection Regulation Compliance > 01/01/2016 > 31/12/2018 > 2015

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.