+int writeSkeletonStatusFile(void);
+char* readStatusFileInString(void);
+
+int writeStatusNotificationCounters(counterAlarms ves_counter, counterAlarms netconf_counter);
+void writeStatusFile(char *status);
+int removeDeviceEntryFromStatusFile(char *deviceName);
+
+cJSON* getDeviceListFromStatusFile(void);
+int compute_notifications_count(counterAlarms *ves_counter, counterAlarms *netconf_counter);
+int getDeviceCounters(char *containerId, counterAlarms *ves_counter, counterAlarms *netconf_counter);
+