Analysis, Design and Verification of an EV charging station's software stack

Aim of the project was to derive functional and non-functional requirements for an electric vehicle’s Charge-Point Management System (CPMS), as well as designing a valid architecture. Such properties were then formally verified with Alloy. Finally, IEEE-compliant [Requirements Analysis, Specification] and [Design] Documents have been produced.