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.
2010
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 / 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]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/422198
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact