تعد النظم المضمنة المقادة بالحدث (event driven embedded systems) أحد المكونات الأساسية للنظم المضمنة التخالفية (Heterogeneous Embedded Systems) و لتصميم هذه النظم نحن بحاجة إلى توصيفها على مستوى النظام (System level) عن طريق وضع نموذج تصميم عتادي برم
جي مشترك قادر على استيعاب السلوك المختلف لكل من (HW, SW). هدف هذا البحث هو بناء نموذج تصميم مشترك (Discrete Event Co-design Model) على أساس سلاسل ماركوف (Markov chains) قادر على توصيف النظم المقادة بالحدث، و من ثم استخدام النمذجة التخالفية عن طريق تضمين النمذجة المقطعة زمنياً (Discrete time modeling ) ضمن النموذج (Discrete Event Model) بغرض تطبيقه على نظام الفرملة (ABS)Anti-lock Braking System . و لتحقيق هذا النموذج نستخدم (PtolemyII) و هو إطار برمجي مبني على أساس لغة Java، من إنتاج (University of California, Berkeley) كجزء من مشروع Ptolemy. و تأتي أهمية هذا البحث ليكون كنواة للحصول على نموذج تصميم مشترك للنظم المضمنة التخالفية في الأعمال المستقبلية.
هدف هذا البحث إلى تطوير نموذج مساعد على اتخاذ القرار بشأن إستراتيجية الصيانة المثلى للمعدات المستخدمة في تنفيذ مشروعات التشييد، و نقصد بالصيانة المثلى تلك المحققة للكلفة الدنيا. حيث تبرز الحاجة لوجود نظام يتم من خلاله التحكم بخطة عمل و صيانة الآليات
بما يضمن حدوث أقل توقفات ممكنة، و ذلك من خلال وجود برنامج لصيانة مختلف الأعطال و إصلاحها آخذين بالحسبان تحقيق أقل كلفة ممكنة (سواء كانت كلفة الإصلاح أو الخسائر الناتجة عن توقفات العمل المتعلقة بالصيانة) بحيث يسهم ذلك في النهاية في تخفيض الكلفة النهائية للمشروع.
يهدف هذا البحث إلى تصميم نظام كشف فعال لمختلف الاختراقات و عمليات التطفل المعروفة و غير المعروفة التي تتعرض لها أنظمة سكادا بالاعتماد على فكرة سلاسل ماركوف و مفهوم النوافذ الاحتمالية.
