Dependent Automata for the Modelling of Dependencies

1. CRUTIAL project (CRitical Utility InfrastructurAL Resilience EEC project IST-FP6-STREP-027513), http://crutial.cesiricerca.it

2. Workpackage 2, Year 2 Final Deliverable of the CRUTIAL project, http://crutial.cesiricerca.it

3. 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)

   Google Scholar 

4. 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)

   Google Scholar 

5. Haimes, Y.Y., Jiang, P.: Leontief-based model of risk in complex interconnected infrastructures. Journal of Infrastructure Systems 7(1), 1–12 (2001)

   Article  Google Scholar 

6. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)

   Article  MathSciNet  MATH  Google Scholar 

7. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)

   Article  MATH  Google Scholar 

8. IRRIIS project (Integrated Risk Reduction of Information-based Infrastructure Systems, EEC-IST project 027568, http://www.irriis.org

9. Interdependency Taxonomy and Interdependency approaches, deliverable D2.2.1 of IRRIIS project, http://www.irriis.org

10. Tools and techniques for interdependency analysis deliverable D2.2.2 of IRRIIS project, http://www.irriis.org

11. 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)

    Chapter  Google Scholar 

12. 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)

    Google Scholar 

13. 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)

    Google Scholar 

14. 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)

    Google Scholar 

15. Performance Evaluation group of University of Torino. The GreatSPN tool, http://www.di.unito.it/~greatspn

16. 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)

    Chapter  Google Scholar 

17. Rinaldi, S.M., Peerenboom, J.P., Fisher, R.E., Kelly, T.K.: Studying the chain reaction. Electric Perspectives, 22–31 (Janurary/February 2002)

    Google Scholar 

18. Rinaldi, S.M., Peerenboom, J.P., Kelly, T.K.: Identifying, understanding, and analyzing critical infrastructure interdependencies. IEEE Control System Magazine, 11–25 (December 2001)

    Google Scholar 

19. 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)

    Google Scholar 

20. 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)

    Chapter  Google Scholar 

Download references