Abstract
As far as we know there is not a definition of dependency in a formal setting: to fill this gap we propose in this paper a state based formalism called (network of) Dependent Automata, that consider dependencies as central elements. When used for modelling interdependencies in critical infrastructures, each infrastructure is modelled as a Dependent Automaton, that accounts for local behaviour and for dependencies from and to other infrastructures, while the whole system is obtained by composition of the automata of the infrastructures considered.
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
CRUTIAL project (CRitical Utility InfrastructurAL Resilience EEC project IST-FP6-STREP-027513), http://crutial.cesiricerca.it
Workpackage 2, Year 2 Final Deliverable of the CRUTIAL project, http://crutial.cesiricerca.it
Dobson, I., Carreras, B.A., Newman, D.E.: A probabilistic loading-dependent model of cascading failure and possible implications for blackouts. In: 36th Hawaii International Conference on System Sciences (HICSS-36), p. 65 (2003)
Gribaudo, M., Raiteri, D.C., Franceschinis, G.: Draw-net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. In: QEST, pp. 257–258. IEEE Computer Society, Los Alamitos (2005)
Haimes, Y.Y., Jiang, P.: Leontief-based model of risk in complex interconnected infrastructures. Journal of Infrastructure Systems 7(1), 1–12 (2001)
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)
IRRIIS project (Integrated Risk Reduction of Information-based Infrastructure Systems, EEC-IST project 027568, http://www.irriis.org
Interdependency Taxonomy and Interdependency approaches, deliverable D2.2.1 of IRRIIS project, http://www.irriis.org
Tools and techniques for interdependency analysis deliverable D2.2.2 of IRRIIS project, http://www.irriis.org
Laprie, J.-C., Kanoun, K., Kaâniche, M.: Modelling interdependencies between the electricity and information infrastructures. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 54–67. Springer, Heidelberg (2007)
Little, R.G.: Toward more robust infrastructure: Observations on improving the resilience and reliability of critical systems. In: 36th Hawaii International Conference on System Sciences (HICSS-36), p. 58 (2003)
Nedic, D.P., Dobson, I., Kirschen, D.S., Carreras, B.A., Lynch, V.E.: Criticality in a cascading failure blackout model. In: 15th Power Systems Computation Conference (August 2005)
Pederson, P., Dudenhoeffer, D., Hartley, S., Permann, M.: Critical Infrastructure Interdependency modelling: A Survey of U.S. and International Research. Idaho National Laboratory Critical Infrastructure Protection Division (August 2006)
Performance Evaluation group of University of Torino. The GreatSPN tool, http://www.di.unito.it/~greatspn
Randell, B., Koutny, M.: Failures: Their definition, modelling and analysis. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 260–274. Springer, Heidelberg (2007)
Rinaldi, S.M., Peerenboom, J.P., Fisher, R.E., Kelly, T.K.: Studying the chain reaction. Electric Perspectives, 22–31 (Janurary/February 2002)
Rinaldi, S.M., Peerenboom, J.P., Kelly, T.K.: Identifying, understanding, and analyzing critical infrastructure interdependencies. IEEE Control System Magazine, 11–25 (December 2001)
Sforna, M., Delfanti, M.: Overview of the events and causes of the 2003 italian blackout. In: IEEE Power Systems Conference and Exposition, PCSE, November 2006, pp. 301–308 (2006)
Tolone, W.J., Wilson, D., Raja, A., Xiang, W.n., Hao, H., Phelps, S., Wray Johnson, E.: Critical infrastructure integration modeling and simulation. In: Chen, H., Moore, R., Zeng, D.D., Leavitt, J. (eds.) ISI 2004, vol. 3073, pp. 214–225. Springer, Heidelberg (2004)
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
Donatelli, S. (2009). Dependent Automata for the Modelling of Dependencies. 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_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-03552-4_29
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)