Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures

  • Marco Beccuti
  • Giuliana Franceschinis
  • Mohamed Kaâniche
  • Karama Kanoun
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5508)

Abstract

The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRUTIAL project the interdependencies between the electricity infrastructure (EI) and the information infrastructure (II) responsible for its control, maintenance and management have been thoroughly studied; moreover countermeasures to substantially reduce the risk to interrupt the service have been developed in the project. The possible interdependencies have been investigated by means of model at different abstraction levels. In this paper, we present high level models describing the various interdependencies between the EI and the II infrastructures, then we illustrate on a simple scenario how these models can be detailed to allow the evaluation of some measures of dependability.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42(11), 1343–1360 (1993)CrossRefGoogle Scholar
  2. 2.
    Garonne, F., et al.: Analysis of new control applications. Crutial Deliverable D2 (2007), http://crutial.cesiricerca.it/Dissemination
  3. 3.
    Kaâniche, M., et al.: Methodologies Synthesis. Crutial Deliverable D3 (2007), http://crutial.cesiricerca.it/Dissemination
  4. 4.
    Kaâniche, M., et al.: Preliminary modelling framework. Crutial Deliverable D8 (2008), http://crutial.cesiricerca.it/Dissemination
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Rinaldi, S.M., Peerenboom, J.P., Kelly, T.K.: Identifying, understanding, and analyzing critical infrastructure interdependencies. IEEE Control Systems Magazine 42(11), 11–25 (2001)CrossRefGoogle Scholar
  7. 7.
    Schneeweiss, W.G.: The Fault Tree Method. LiLoLe Verlag (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Marco Beccuti
    • 1
  • Giuliana Franceschinis
    • 1
  • Mohamed Kaâniche
    • 2
  • Karama Kanoun
    • 2
  1. 1.Dip. di InformaticaUniv. del Piemonte OrientaleAlessandriaItaly
  2. 2.LAAS-CNRS, Univ. de ToulouseToulouseFrance

Personalised recommendations