שיטות ניתוח דרישות ותיכון למערכות משובצות מחשב

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‬‬
‫ד“ר מיכאל וינוקור‬