Računalni sustavi u industrijskim pogonima, medicini, automobilskoj industriji, novčanim transakcijama moraju biti pouzdani. Rezultat neispravnog rada ovih sustava može dovesti do smrti radnika, bolesnika, materijalne štete ili financijski gubitak. Zbog smanjenja mogućnosti pojavljivanja neočekivanih događaja pouzdanost takvih sustava treba biti velika. Procjena pouzdanosti računalnih sustava temelji se na različitim modelima pouzdanosti. Model na temelju ulaznih parametara modela, sklopovlja i programske podrške računalnog sustava izračuna procijenjenu pouzdanost. Na temelju dobivenih podataka moguće je zaključiti da li je potrebno korigirati sustav. Za izračun pouzdanosti upotrebljavaju se različiti programski paketi za izračun pouzdanosti sklopovlja i programske podrške. Djelatnici istraživačke grupe imaju iskustva s Relex programskim paketom te iskustva u primjeni različitih tehnika testiranja programske podrške s čime će biti moguć transfer znanja na različite proizvođače opreme, industrijske pogone, automobilsku industriju i sl.
