In laboratories new systems are created where researchers hope to obtain improved functions at a reasonable cost. In them, specialists need efficient tools that offer better performance and flexible features. This paper designs and implements a SCADA system for GERA laboratory (Scientific Group for Applied Renewable Energy at the University of Oriente) adjusted to the inherent characteristics of flexibility and functionality required in research centers. All these features are supported in an efficient communication system with the implementation of various protocols and novel solutions for this type of systems for monitoring and control. It verifies and validates the system for formal methods.