A Study on Multiformalism Modeling of Critical Infrastructures

Authors:
Francesco Flammini;Valeria Vittorini;Nicola Mazzocca;Concetta Pragliola
Affiliations:
ANSALDO STS - Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy and Dipartimento di Informatica e Sistemistica, Universita' di Napoli "Federico II", Naples, Italy;Dipartimento di Informatica e Sistemistica, Universita' di Napoli "Federico II", Naples, Italy;Dipartimento di Informatica e Sistemistica, Universita' di Napoli "Federico II", Naples, Italy;ANSALDO STS - Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy
Venue:
Critical Information Infrastructure Security
Year:
2009

Citing 0
Cited 2

Modelling approaches

Critical Infrastructure Protection
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

International Journal of Critical Computer-Based Systems

Quantified Score

Hi-index	0.00

Visualization

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.