62. člen

(1)Preverjanje s testnimi programi zajema podsisteme in sisteme, vključno z računalniško programsko opremo, vgrajene v BPZ in potrebno zemeljsko opremo, ki lahko vpliva na varne lete.

(2)Dodatno mora biti določen sistem zanesljivosti, ki jasno pokaže redundance ali singularitete in posledice v primeru okvare. Posledice odpovedi posamezne enote ali podsistema morajo biti analizirane v oceni okvare.

(3)Na podlagi analize zanesljivosti se vzpostavi program za eksperimentalno preverjanje, testne lete in obseg testiranja računalniške programske opreme. Zahtevane verjetnosti morajo biti preverjene kot del testiranja s strani proizvajalca in evaluacije.