The ultimate target to be reached, however, is that it may be demonstrated to certification authorities (i.e. FAA, EASA) that a safety critical system behaves predictably under foreseeable circumstances.
Tatsächlich nachgewiesen werden muss den Luftfahrtzulassungsbehörden (z. B. FAA, EASA), dass sich ein sicherheitskritisches System unter allen Umständen vorhersagbar verhält.