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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.