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