מידע כללי
גישות קיימות לניתוח ולהגדרת דרישות של מערכות עתירות תוכנה. השימוש במודלים כבסיס לניתוח מערכות משובצות מחשב. מבוא לניתוח והגדרת דרישות בגישת OBJECT BASED לפי שיטת ECSAM ( EMBEDDED COMPUTER SYSTEMS ANALYSIS AND MODELING ). ניתוח היבטים מבניים וזרימת המידע וכן היבטים דינמיים (התנהגותיים) של מערכות. אימות מודל המערכת, סימולציות ובדיקות סטטיות ודינמיות. ניהול דרישות והכנת מפרטי מערכות משובצות מחשב.