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