עקרונות באבטחת התמצאות

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

עקרון ההתמצאות בהרף עין

הנחיה - אבטחת התמצאות בהרף עין: יש להבטיח שמפעיל מזהה את מצב המכונה בהרף עין.

לדוגמא

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

עקרון הסמיכות הפונקציונאלית

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

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

אבטחת התמצאות בשינויי תכן

דוגמא של בעיית התמצאות המפעיל בשינויי תכן היא של תאונת מטוס איירבאס 320 בטיסת AF 296 בשנת 1988. הטייס לא שלט במטוס ברגע קריטי, מכיוון שבדגם הנדון נוספה מעטפת הגנה בפני הזדקרות, אליה הטייס לא היה מודע (ניתוח אופן הכשל).

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

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