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.
Multiformalism techniques for critical infrastructure modelling / F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria. - In: INTERNATIONAL JOURNAL OF SYSTEM OF SYSTEMS ENGINEERING. - ISSN 1748-0671. - (2010), pp. 19-37. [10.1504/IJSSE.2010.035379]
Multiformalism techniques for critical infrastructure modelling
MAZZOCCA, NICOLA;MOSCATO, FRANCESCO;PAPPALARDO, ALFIO;VITTORINI, VALERIA
2010
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.