22912 מערכות תגובתיות ומערכות זמן אמת
22912 מערכות תגובתיות ומערכות זמן אמת
4 נקודות זכות
שיוך: תואר שני / מדעי המחשב
שיוך נוסף: מדעים / מדעי המחשב
שיוך נוסף: הנדסה / הנדסת תוכנה
תנאי קבלה: קבלה לתואר שני במדעי המחשב.1
פיתוח הקורס: ד"ר שמואל טישברוביץ
יועצים: פרופ' עמירם יהודאי, ד"ר גלעד קורן
למערכות תגובתיות ולמערכות זמן אמת יש חשיבות רבה בחיי היומיום – החל במערכות ביתיות, כגון וידאו, וכלה במערכות לבקרת כורים – אך הן נמנות עם המערכות המסובכות ביותר לאפיון ולבנייה. מערכות זמן אמת הן חלק ממשפחה רחבה יותר של מערכות – המערכות התגובתיות.
נושאי הלימוד
-
מערכות תגובתיות ומערכות זמן אמת
-
אפיון דרישות, ניתוח ותיכון של מערכות תגובתיות: א. גישה לא פורמלית; ב. גישה פורמלית
-
המודל הסינכרוני למערכות תגובתיות: א. הגישה הסינכרונית; ב. דיאגרמות מיצוב – Statecharts; ג. השפה Esterel
-
אלגוריתמים לתזמון משימות
חומר הלימוד
-
מקראה של מאמרים
-
מדריך למידה
1 סטודנט שאינו עומד בתנאי הקבלה יכול, במקרים מסוימים, להירשם לקורס. לפרטים נוספים עיינו בסעיף קבלה לקורסים בודדים בתכנית הלימודים לתואר שני במדעי המחשב.