בעיית הפעילות הבלתי מבוקרת

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

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

אופן הכשל - פעילות בניגוד חוקי התפעול. אירועי כשל רבים הם תוצאה של מצב בו התכן מאפשר תפעול בניגוד לחוקי התפעול.

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

1. למנוע מהמפעיל לבצע פעולות החורגות מהתהליכים המוגדרים
2. במקרה של חריגה, בין בגלל טעות מפעיל ובין בגלל תקלה, לאפשר גילוי החריגה, במטרה להתריע.

הגדרה אופרטיבית של מצב חריג

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