O PRO-Elicere visa automatizar, de forma inteligente, o processo de análise de dependabilidade de um sistema computacional crítico. Baseado no processo Elicere, esta nova abordagem propõe criar um banco de dados inteligente que permita que a análise possa ser executada, tanto quanto possível, de forma automatizada.

O Elicere adota o framework i* para modelar o comportamento de um sistema, utiliza palavras-guia baseadas no HAZOP e FMEA para extrair metas e diagnósticos relacionados à dependabilidade.