Ein Formeller Nachweis , dass ein System oder eine Komponente den festgelegten Anforderungen entspricht und für den Betrieb akzeptabel ist .
Die Systeme müssen vor Gebrauch vor der Anwendung kontrolliert werden .