המדריך לתכן לאבטחת חסינות מערכות

תוכן העניינים

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

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

במוד החירום המערכת מוגנת בפני טעויות תפעול על ידי מעטפת הגנה (Protection Envelop).

לדוגמא

מטוסי איירבאס 320 כללו מעטפת הגנה בפני הזדקרות בטיסת גלישה. מעטפת הגנה זו תרמה לתאונה של AF 296 בשנת 1988.

לעומת זאת, במטוסי איירבאס 380 בניהוג ידני, לא הופעלה מעטפת הגנה בפני הזדקרות, שהיתה יכולה למנוע את התאונה של טיסת AF 447 בשנת 2009.

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

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

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

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

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

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