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