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