תופעת האילוצים הסמויים

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

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

הנחיה - אבטחת התוקף הנראה של האילוצים. את האילוצים יש לשייך לתרחישים. את התרחישים יש להגדיר כך שיהוו הקשר נאות של האילוצים.

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

עקרון האילוצים המפורשים  

כל מערכת פועלת תחת אילוצים, המגדירים את חוקי התפעול התקין.

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

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

יישום עקרון האילוצים

 ניתן ליישם את האילוצים למטרות הבאות:

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