Bardzo ważnym etapem procesu tworzenia niezawodnego systemu informatycznego jest analiza wymagań stawianych oprogramowaniu i precyzyjne ich opisanie.