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