Multiformalism techniques for critical infrastructure modelling Online publication date: Mon, 27-Sep-2010
by F. Flammini, N. Mazzocca, F. Moscato, A. Pappalardo, C. Pragliola, V. Vittorini
International Journal of System of Systems Engineering (IJSSE), Vol. 2, No. 1, 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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of System of Systems Engineering (IJSSE):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com