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