Abstract | ||
---|---|---|
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. |
Year | Venue | Keywords |
---|---|---|
2017 | 2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | FPGA based power management system for renewables, modeling, formal verification, UPPAAL, sustainable power and energy systems |
Field | DocType | ISSN |
Computation tree logic,Correctness,Systems design,Field-programmable gate array,Power management system,Control engineering,Engineering,Formal methods,System requirements,Wind power,Reliability engineering | Conference | 1946-0740 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pranali S. Tekale | 1 | 0 | 0.34 |
Ramakalyan Ayyagari | 2 | 1 | 0.69 |
Sithu D. Sudarsan | 3 | 20 | 7.39 |
Raoul Praful Jetley | 4 | 27 | 7.73 |
srini ramaswamy | 5 | 337 | 45.77 |