Title: Multiformalism techniques for critical infrastructure modelling

Authors: F. Flammini, N. Mazzocca, F. Moscato, A. Pappalardo, C. Pragliola, V. Vittorini

Addresses: ANSALDO STS Italy, Via Argine 425, 80147 Naples, Italy. ' Department of Computer and Systems Engineering, University of Naples Federico II, Via Claudio 21, 80125 Naples, Italy. ' Department of European and Mediterranean Studies, Second University of Naples, Via del Setificio, 81100 San Leucio (CE), Italy. ' ANSALDO STS Italy, Via Argine 425, 80147 Naples, Italy; Department of Computer and Systems Engineering, University of Naples Federico II, Via Claudio 21, 80125 Naples, Italy. ' ANSALDO STS Italy, Via Argine 425, 80147 Naples, Italy. ' Department of Computer and Systems Engineering, University of Naples Federico II, Via Claudio 21, 80125 Naples, Italy

Abstract: This paper proposes an approach to use multiformalism techniques for critical infrastructure modelling. To this aim, the state of the art of related works on the subject is surveyed and a general scheme for intra and inter infrastructure models is described. Multiformalism approaches allow modellers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modelled. Another advantage is the possibility of reusing existing dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. An example model based on a railway infrastructure is used to illustrate the concepts introduced by the paper.

Keywords: critical infrastructures; dependability; security; performability; multiformalism modelling; systems engineering; modularity; railway infrastructure; railways.

DOI: 10.1504/IJSSE.2010.035379

International Journal of System of Systems Engineering, 2010 Vol.2 No.1, pp.19 - 37

Published online: 27 Sep 2010 *

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