גורם הכשל - אילוצים וירטואלים

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

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

בעיית תואמות האילוצים

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

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

התרחיש המפורש

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

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

יישום עקרון התרחיש המפורש

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

יחידת התיאום
מכלולים	ממשקים	בקורת תפעול	בקרת מכונה	יחידת ההתרעות	יחידת הפיקוח

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