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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
de Lara, J., Guerra, E., Vangheluwe, H.: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 292–298. Springer, Heidelberg (2004)
Di Lorenzo, G., Flammini, F., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: The software architecture of the OsMoSys multisolution framework. In: Proc. 2nd Intl. Conf. on Perf. Evaluation Meth. & Tools, VALUETOOLS 2007, pp. 1–10 (2007)
Ezell, B., Farr, J., Wiese, I.: Infrastructure Risk Analysis Model. Journal of Infrastructure Systems 6(3), 114–117 (2000)
Flammini, F., Iacono, M., Marrone, S., Mazzocca, N.: Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems. In: Proceedings of the 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), Heidelberg, Germany, pp. 163–172 (2005)
Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V.: Modelling Structural Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks. In: Proc. of the European Safety & Reliability Conference, ESREL 2006 (2006)
Gössler, G., Sifakis, J.: Composition for Component-Based Modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 443–466. Springer, Heidelberg (2003)
Mengting, Y., Chao, Y.: Model Checking Multi-agent Systems. In: Proc. of Intl. Conf. Service Systems and Service Management, pp. 1–5 (2007)
Meyer, J.F.: Performability: a retrospective and some pointers to the future. Performance Evaluation 14(3&4), 139–156 (1992)
Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing 1(1), 48–65 (2004)
Pederson, P., Dudenhoeffer, D., Hartley, S., Permann, M.: Critical Infrastructure Interdependency Modeling: A Survey of U.S. and International Research, INL Technical Document: INL/EXT-06-11464 (2006)
Sanders, W.H.: Integrated Frameworks for Multi-Level and Multi-Formalism Modeling. In: Proc. of the 8th Intl. Workshop on Petri Nets and Performance Models, p. 2 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flammini, F., Vittorini, V., Mazzocca, N., Pragliola, C. (2009). A Study on Multiformalism Modeling of Critical Infrastructures. In: Setola, R., Geretshuber, S. (eds) Critical Information Infrastructure Security. CRITIS 2008. Lecture Notes in Computer Science, vol 5508. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03552-4_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-03552-4_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03551-7
Online ISBN: 978-3-642-03552-4
eBook Packages: Computer ScienceComputer Science (R0)