Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/inderscience-publishers/multiformalism-techniques-for-critical-infrastructure-modelling-mPzLmm9FTb
References
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
- Publisher
- Inderscience Publishers
- Copyright
- Copyright © Inderscience Enterprises Ltd. All rights reserved
- ISSN
- 1748-0671
- eISSN
- 1748-068X
- DOI
- 10.1504/IJSSE.2010.035379
- Publisher site
- See Article on Publisher Site
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.
Journal
International Journal of System of Systems Engineering – Inderscience Publishers
Published: Jan 1, 2010