El projecte té com objectiu dissenyar algorismes online basats en técniques de data streaming i mètodes formals per monitoritzar el comportament dels processos que governen un sistema d'informació o una web.