Servei d'estudis de fiabilitat i disponibilitat de sistemes tolerants a fallada utilitzant cadenes de Markov de temps continu. També es realitzen estudis amb l'eina METFAC, que incorpora mètodes numèrics i simulació, i permet l'anàlisi de sistemes tolerants a fallada amb un nombre de components molt elevat.