The PRO-ELICERE aims to automatize, in a inteligent way, the dependability analysis process for critical computer system. Based on the ELICERE process, this new approach creates a inteligent database, allowing to perform this analysis, as could as possible, automatically.

The ELICERE adopts the i* framework for modeling the systems behavior and the HAZOP guidewords and FMEA to extract diagnosis and goals related to dependability.