שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב
Transcription
שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב
שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב REQUIREMENTS ANALYSIS AND DESIGN METHODS FOR EMBEDDED COMPUTER SYSTEMS פרק 8 ניתוח תהליכים דינמיים אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 1 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמאות של תהליכי! דינמי! ! תהלי 2משיכת כס 1מכספומט • תהלי 2הטסה של מזל"ט • תהלי 2נעילה של אנטנה למקור הקרינה • תהלי 2הגדרת תוכנית בLAVAMAGIC 7 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 2 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב מטרת ניתוח התהליכי! • • • • הגדרה מפורטת של התנהגות המערכת מתואמת בי: הלקוח ,המפעילי! וצוותי הפיתוח בדיקת בעיות בהגדרת התזמו ,:בעיות חוסר דטרמיניז! ובעיות של "נעילה" בהתנהגות הרצויה של המערכת הכנת תשתית לסימולציה דינמית של המערכת )בבניית אב טיפוס התנהגותי( הכנת תשתית לתוכנית בדיקות קבלה של מערכת אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 3 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב הגדרת תהליכי! דינמיי! ב ECSAM • התהליכי! מופעלי! באופני פעולה באחת מהצורות הבאות: • • • • בכניסה לאופ :הפעולה במש 2כל התקופה שהמערכת נמצאת באופ :הפעולה מחזורית על ידי אירוע המפעיל את התהלי2 • תהליכי! מופסקי! בצורה עצמית או על ידי אירוע. hתאור התהלי 2נעשה ,בדומה לשיטת HATLEYע"י: – דיאגרמת פעילויות )כמו (DFD – דיאגרמת בקרה )( STATECHART – טבלת הפעלות של הפעילויות אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 4 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב הגדרת תהליכים דינמים ב) ECSAM -המשך( אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 5 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב הפעלת תהליכים אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 6 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(1 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 7 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(2 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 8 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(3 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 9 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(4 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 10 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(5 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 11 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(6 ACTIVITIES OF ATM MODULES אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 12 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב דוגמה :תהליך משיכה בכספומט )(7 אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 13 - 8 ד“ר מיכאל וינוקור שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב הגדרת תהליכי! -סיכו! hהכ .רשימת תהליכי! בכל אופ .פעולה hנתח כל תהלי 5בעזרת צמד דיאגרמות )+ DFD + (STATECHARTטבלת הפעלות hהגדר תנאי הפעלה והפסקה לכל תהלי5 hחזור על השלבי! עבור התהליכי! שזוהו בכל רמה אוניב .ת .א-.שיטות ניתוח דרישות ממ“מ פרק 14 - 8 ד“ר מיכאל וינוקור