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