המדריך לתכן לאבטחת חסינות מערכות

[Title.htm]

[TOC.htm]

מפרטי בקרת המכונה

הגדרת האילוצים

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

תכן	מפרטים	תיקוף
תפקיד יחידת בקרת המכונה תפקיד היחידה הוא לאתר מצבים ביחידה הפונקציונאלית בהם נדרשת התרעה למפעילים, לנתח אותם, לזהות ולהעריך את האיומים, לאבחן את גורם ההפרעה, ולדווח למפעילים.
המידע המתקבל מהחיישנים היחידה צריכה לקבל מהיחידה הפונקציונאלית מידע לגבי מצב כל החיישנים ולדווח ליחידת ההתרעות על תקלות ברכיבים	המפרטים צריכים לכלול רשימות של החיישנים, כולל: תחומי ערכים בהתנהגות נורמלית תחומי ערכים סבירים, לצורך התרעה מקדימה קודים של תקלות ברכיב, קודים של תקלה בחיישן
איתור תקלות בעזרת חיישני מצב רכיבים היחידה צריכה לקבל מהיחידה הפונקציונאלית מידע לגבי מצב כל חיישני מצב הרכיבים ולדווח ליחידת ההתרעות על תקלות ברכיבים	בנוסף מאפיינים לעיל, לחיישני מצב רכיבים יש לצרף מאפיינים של הרכיב, כולל רמת הסיכון והדחיפות בגין התקלה, ומידע לגבי הנחיות לתיקון התקלה.
אילוצי התנהגות תקינה היחידה צריכה לבדוק שהתנהגות היחידה הפונקציונאלית תואמת את חוקי התפעול, על פי דיווח של היחידה הפונקציונאלית על ערכי חיישני ההתנהגות, ולהודיע ליחידת ההתרעות במקרה של חריגה.	המפרטים צריכים לכלול הגדרה של חוקי התפעול התקין, בהתאם לתרחיש.
אילוצי התנהגות במצב תקלה היחידה צריכה לבדוק את הסיכונים בגין תקלה, על פי מודלים של ניתוח סיכונים (FMEA, HAZOP, ...) ולדווח על הסיכונים ליחידת ההתרעות	המפרטים צריכים לכלול חוקים המגדירים את ההתנהגות במצב תקלה, כולל: הערכת הזמן החסד רמת הסיכון
איתור חריגות היחידה צריכה לקבל מהיחידה הפונקציונאלית מידע לגבי מצב כל חיישני הפרמטרים של התנהגות תקינה ולגבי משתני המצב, ולבדוק אם היחידה הפונקציונאלית פועלת על פי האילוצים.	החוקים יכולים לכלול תחומי סבירות לערכי מחושבים, כגון תחום סטיות סבירות מנפח אפקטיבי מחושב, V = nRT/P.
איתור המקור החריגה במצבים חריגים, היחידה צריכה לבדוק את הרכיבים והתקלות האפשריות שיכולות להסביר את החריגה.	זיהוי מקור החריגה מבוסס על ניתוח ההשפעה של תקלות, ועל תבניות התנהגות. ניתן להשוות את התנהגות המכונה לתבניות התנהגות טיפוסיות, אותן ניתן להפיק בניתוח מערכת בעזרת סימולציה של השפעת תקלות טיפוסיות. המפרטים צריכים לכלול מיפוי חד משמעי מתקלה להתנהגות, באופן שיאפשר איתור התקלה על ידי מאפייני ההתנהגות, וכן הנחיה למפעילים לאימות התקלה.
דיווח ליחידת ההתרעות יחידת בקרת המכונה צריכה לדווח ליחידת ההתרעות על הממצאים.	המפרטים צריכים לכלול את רשימה של התרעות כאשר כל התרעה כוללת: מידע על מקור הבעיה ציון רמת הסיכון רמת הדחיפות, במונחים של זמן החסד במקרה שמקור החריגה לא אותר, יש לכלול גם: חריגות מהתפעול השגרתי סיבות אפשריות למצב החריג רשימה של בדיקות יזומות: פעולות שעל המפעיל לנקוט בכדי לזהות את גורם הסיכון
ניהול דו"ח חריגות היחידה צריכה לנהל דו"ח חריגות שישמש לתחקור לצורך שיפור החסינות	המפרטים צריכים לכלול פירוט של המידע בדו"ח החריגות, כולל עיתוי החריגה, התרחיש הפעיל, מצב היחידה הפונקציונאלית, והמידע הועבר אל יחידת ההתרעות.

[Bottom.htm]