This paper explores the possibility of using multiformalism techniques for critical infrastructure modeling and proposes a general scheme for intra and inter infrastructure models. Multiformalism approaches allow modelers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modeled. Another advantage is the possibility of reusing existing (and validated) dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies.

A Study on Multiformalism Modeling of Critical Infrastructures / F., Flammini; Vittorini, Valeria; Mazzocca, Nicola; C., Pragliola. - STAMPA. - 5508:(2009), pp. 336-343. [10.1007/978-3-642-03552-4]

A Study on Multiformalism Modeling of Critical Infrastructures

VITTORINI, VALERIA;MAZZOCCA, NICOLA;
2009

Abstract

This paper explores the possibility of using multiformalism techniques for critical infrastructure modeling and proposes a general scheme for intra and inter infrastructure models. Multiformalism approaches allow modelers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modeled. Another advantage is the possibility of reusing existing (and validated) dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies.
2009
9783642035517
A Study on Multiformalism Modeling of Critical Infrastructures / F., Flammini; Vittorini, Valeria; Mazzocca, Nicola; C., Pragliola. - STAMPA. - 5508:(2009), pp. 336-343. [10.1007/978-3-642-03552-4]
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/365683
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 1
social impact