XXXII Simpósio Brasileiro de
Redes de Computadores e Sistemas Distribuídos

Florianópolis, 5 a 9 de Maio de 2014
Ken Birman

Palestrante: Prof. Ken Birman, Cornell University, EUA (via Web)

Título: Using Cloud Computing to Build a Smart Power Grid


Much of what we know about dependable computing is small-system centric, and the models and assumptions most familiar to the dependability community reflect this in many ways. With the rapid shift towards cloud computing platforms, we’re suddenly in the business of building systems that will be deployed onto tens of thousands of nodes. The cloud creates a new world in which amounts of data can be huge, objects can be huge, and applications must tolerate elasticity events, long scheduling delays, and geographically large deployments. Do traditional notions of assurance make sense at scale?

In our work on the new Isis2 platform we’ve tackled this challenge. Isis2 is open source (download it from, where you will also find video instructional materials, project suggestions and other materials). The system brings high assurance to the cloud and supports novel big-data features that leverage strong consistency models in completely new ways

In this presentation I will discuss the ways that we are using Isis2 in our work on GridCloud, a new platform aimed at hosting smart “big data” solutions for optimizing electric power delivery in the bulk power transmission network. Success in this undertaking offers the potential of big improvements in the efficiency of electric power delivery, and will also make it possible to integrate renewables into the power grid.


Ken Birman is the N. Rama Rao Professor of Computer Science at Cornell. An ACM Fellow and the winner of the IEEE Tsutomu Kanai award, Ken has written 3 textbooks and published more than 150 papers in prestigious journals and conferences. Software he developed operated the New York Stock Exchange for more than a decade without trading disruptions, and played central roles in the French Air Traffic Control System (now expanding into much of Europe) and the US Navy AEGIS warship. Other technologies from his group found their way into IBM’s Websphere product, Amazon’s EC2 and S3 systems, Microsoft’s cluster management solutions. His latest system, Isis2 ( helps developers create secure, strongly consistent and scalable cloud computing solutions.