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