Title: On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

Authors: Francesco Flammini

Addresses: Ansaldo STS, Via Argine 425, 80147 Naples, Italy

Abstract: Computer-based transit systems are increasingly large, distributed and heterogeneous; in one word: complex. Being 'complex' and 'open' systems, their protection against both natural faults and deliberate attacks is far from being trivial. In this paper, we report a survey of a ten years industrial experience in infrastructure and threat modelling for the assurance of reliability, safety and security in different phases of the life-cycle of rail transit systems. Described by a set of case-study applications, the experience highlights the importance of mastering advanced modelling paradigms through a strict and constant cooperation with universities and research institutes.

Keywords: dependability; critical systems; railways; rail transit systems; survey; experience; report; security; computer-based systems; critical infrastructures; threat modelling; reliability; safety.

DOI: 10.1504/IJCCBS.2012.050311

International Journal of Critical Computer-Based Systems, 2012 Vol.3 No.3, pp.229 - 244

Published online: 16 Aug 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article