מדריך זה נסמך על פרדיגמת
STAMP,על פיו
המערכת צריכה להגביל את הפעילות שלה בהתאם לחוקי תפעול קשיחים, במטרה להמנע
ממצבים בעייתיים.
מכך משתמע שמפרטי הדרישות צריכים לכלול הנחיות מפורטות
לגבי תהליכי התפעול המומלצים, והתכן צריך לכלול אמצעים לאיתור סטיות
מהתהליכים הללו. כל סטיה מהחוקים נחשבת למחולל של אירוע כשל פוטנציאלי,
והתכן צריך לכלול אמצעים לזיהוי המחוללים, ולהגיב כראוי.
המימוש נעשה על
ידי מודל של בקרה עצמית, המודגם בתרשים הבא:
|