Making energy-harvesting computers reliable

October 28, 2016 by Krista Burns
Credit: Carnegie Mellon University Electrical and Computer Engineering

A revolutionary and emerging class of energy-harvesting computer systems require neither a battery nor a power outlet to operate, instead operating by harvesting energy from their environment. While radio waves, solar energy, heat, and vibrations have the ability to power devices, harvested energy sources are weak leading to an "intermittent execution", with periodic power failures and unreliable behavior.

Brandon Lucia, an assistant professor of electrical and computer engineering at Carnegie Mellon University, and his Ph.D. student Alexei Colin created the first designed to build reliable software for intermittent, energy-harvesting computers. Colin will present the work at the 2016 SPLASH conference in Amsterdam, Netherlands, on November 3rd.

"Energy is not always available in the environment for a device to harvest," explains Lucia. "Intermittent operation makes it difficult to build applications because existing software programming languages—and programmers themselves—assume that energy is a continuously available resource."

The innovative new programming language, called Chain, asks an application developer to define a set of computational tasks that compute and exchange data through a novel way of manipulating the computer's memory, called a channel. Chain guarantees that tasks execute correctly despite arbitrary power failures.

"When power is not continuously available, power failures disrupt the software's execution, often leading to unrecoverable errors," says Lucia. "Chain solves this problem by requiring in the program to use a novel channel-based memory abstraction that ensures tasks complete without error."

The video will load shortly

Channel-based memory is the key to Chain's ability to avoid software errors: regardless of when power fails, channels ensure that a computational task always has an intact version of the data it needs when power resumes. Restarting a Chain program after a failure has virtually zero time cost because Chain does not rely on an expensive, conventional approach, like memory checkpointing. The extreme scarcity of energy makes efficient restarting essential for energy-harvesting applications including IoT devices and implantable or ingestible medical devices.

"Chain provides important reliability guarantees in a familiar and flexible programming interface that is well-positioned to be the foundation for today's and future energy-harvesting applications," says Lucia.

Lucia, Colin, and Dr. Alanson Sample, a collaborator at Disney Research Pittsburgh, worked together to push Chain into real-world deployment; early next year, in cooperation with nano-satellite company KickSat, software written in Chain will run on-board two tiny, postage stamp-sized satellites in a low-earth orbit of Earth. Once in orbit, these satellites will use tiny solar panels to harvest , powering them to collect and process sensor data and send information back to earth. While satellites are typically powered by solar energy, these satellites will be the first with the strong software correctness guarantees furnished by Chain ensuring continuous, reliable operation.

"The potential benefit of reliable energy-harvesting computer systems is far-reaching," says Lucia. "Small satellites are proliferating and the space industry itself is expanding. If we can guarantee that even tiny, energy-harvesting satellites operate without interruption, we can make it easier to conduct other scientific research in space. Further out, we may even see future applications like extraterrestrial natural resource discovery relying on this technology."

Explore further: Hardware, software tools created to debug intermittently powered energy-harvesting devices

More information: Learn more about Professor Lucia's research group here.

Read the researcher's paper "Chain: Tasks and Channels for Reliable Intermittent Programs" here.

Related Stories

Video: Solar power from energy-harvesting trees

February 16, 2015

Scientists at VTT have developed a prototype of a tree that harvests solar energy from its surroundings - whether indoors or outdoors - stores it and turns it into electricity to power small devices such as mobile phones, ...

Hybrid nanogenerator harvests hard-to-reach ocean energy

June 21, 2016

(Phys.org)—Energy from the ocean, or "blue energy," is arguably the most underexploited power source, according to researchers in a new study. Although the oceans contain enough energy to meet all of the world's energy ...

Harvesting energy from electromagnetic waves

April 14, 2015

For our modern, technologically-advanced society, in which technology has become the solution to a myriad of challenges, energy is critical not only for growth but also, more importantly, survival. The sun is an abundant ...

Putting software on a diet

July 20, 2016

Concerns about battery life, heat creation, fan noise and overall high energy costs have driven the development of more energy-efficient computers and mobile devices over the past two decades.

Recommended for you

WikiLeaks releases CIA hacks of Apple Mac computers

March 23, 2017

The Central Intelligence Agency is able to permanently infect an Apple Mac computer so that even reinstalling the operating system will not erase the bug, according to documents published Thursday by WikiLeaks.

3 comments

Adjust slider to filter visible comments by rank

Display comments: newest first

winthrom
not rated yet Oct 29, 2016
An important concept. Other uses include: battlefield computing for soldiers, passive home electronics like a refrigerator (during blackout does not need batteries), autonomous data collecting such as ocean bouyes, solar pointing devices, etc. The cause of the intermittent power cannot always be pre-determined, but the effect is either re-boot or proceed. proceed is generally better when no fault in the software has occurred. Consider a surgeon using an automated heart stent placement tool and the power goes off for a moment. The APC kicks in, but the software controlled placement device resets to zero. Either the software writer identified the possibility of this situation and coded accordingly, or the stent placement is no longer oriented correctly. With the software defined above, the required placement information was maintained automatically regardless of the programmer's perfect programming skills.
optical
Oct 29, 2016
This comment has been removed by a moderator.
ForFreeMinds
not rated yet Oct 29, 2016
I wonder how much different this is than a CPU using a flash based RAM with the code and data all in persistent memory.

Please sign in to add a comment. Registration is free, and takes less than a minute. Read more

Click here to reset your password.
Sign in to get notified via email when new comments are made.