Μια δήλωση της μια περιοχή τιμών μιας ιδιότητας ενός στοιχείου που είναι αναγκαία για τη διατήρηση συστήματος κινδύνους εντός των αποδεκτών ορίων. Στοιχεία που εκτελούν λειτουργίες διακοπής, η ιδιότητα είναι η αξιοπιστία με την οποία το στοιχείο, πρέπει να εκτελέσετε τη συνάρτηση ελαφρυντικών. Για τα στοιχεία των οποίων η αστοχία μπορεί να οδηγήσει σε μια απειλή, η ιδιότητα είναι το όριο για τη συχνότητα αυτής της αποτυχίας.