Turvallisuusvaatimusten täyttymisen osoittamiseen käytettävien laskentamenetelmien on oltava luotettavia ja kelpoistettuja käyttötarkoitukseensa.
Niitä on sovellettava siten, että järjestelmien mitoituksen perustana käytettävät laskennalliset lopputulokset täyttävät hyväksymiskriteerit suurella varmuudella. Tulosten epävarmuus on arvioitava ja otettava huomioon turvallisuusmarginaaleja määriteltäessä.