State Modeling and Verification of Solar Energy Harvesting System for IoT Applications

Abstract

The increasing popularity of using renewable energy emerges as a leading sustainable solution in the energy domain. Recently, energy harvesting, as a promising technology, uses ambient energy sources from nature to power IoT devices. For example, solar energy holds immense potential from the energy sources as it is abundantly available in the Earth's atmosphere. While practical applications of energy harvesting systems in real-life scenarios exist, it is essential to verify these systems formally. This paper presents a comprehensive model followed by verifying a solar energy harvester system. Each proposed solar energy harvesting system component is transformed into respective finite state models. The details are then formally verified using model checking, a powerful formal verification technique. The specifications that ascertain desired properties serve as a foundation for evaluating the performance of the designed solar energy harvesting system. © 2023 IEEE.