Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > On Proving Recoverability of S...

On Proving Recoverability of Smart Electrical Grids

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik, On Proving Recoverability of Smart Electrical Grids. In: Julia M. Badger, Kristin Yvonne Rozier (Eds.), 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. , Lecture Notes in Computer Science 8430, 77–92, Springer-Verlag, 2014.

Abstract:

Smart electrical grids refer to networked systems for distributing and transporting electricity from producers to consumers, by dynamically configuring the network through remotely controlled (dis)connectors. The consumers of the grid have typically distinct priorities, e.g., a hospital and an airport have the highest priority and the street lighting has a lower priority. This means that when electricity supply is compromised, e.g., during a storm, then the highest priority consumers should either not be affected or should be the first for whom electricity provision is recovered. In this paper, we propose a general formal model to study the provability of such a property. We have chosen Event-B as our formal framework due to its abstraction and refinement capabilities that support correct-by-construction stepwise development of models; also, Event-B is tool supported. Being able to prove various properties for such critical systems is fundamental nowadays, as our society is increasingly powered by dynamic digital solutions to traditional problems.

BibTeX entry:

@INPROCEEDINGS{inpHoKaKoNePeRxSa14a,
  title = {On Proving Recoverability of Smart Electrical Grids},
  booktitle = {6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. },
  author = {Horsmanheimo, Seppo and Kamali, Maryam and Kolehmainen, Mikko and Neovius, Mats and Petre, Luigia and Rönkkö, Mauno and Sandvik, Petter},
  volume = {8430},
  series = {Lecture Notes in Computer Science},
  editor = {Badger, Julia M. and Rozier, Kristin Yvonne},
  publisher = {Springer-Verlag},
  pages = {77–92},
  year = {2014},
  keywords = {smart electrical grids, networked systems, formal methods, Event-B, refinement, critical systems},
  ISSN = {0302-9743},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication