Modeling and analysis of FPGA based power management system for renewables

Renewables play an important role in today's sustainable power and energy systems. In this paper, we model and analyze an FPGA based power management system for renewables by using the UPPAAL modeling and verification tool. Our main objective is to ensure correctness of the system design using formal methods based techniques. Through our case study, we establish the correctness of the FPGA based control algorithm with respect to the system requirements. All requirements regarding effective utilization of loads and sources by their activation and deactivation, and also requirements of battery bank (which ensures that battery will not charge and discharge deeply), are specified using Timed Computation Tree logic. On the basis of our analysis, we confirm that the design of the implemented power management system conforms to its specifications.