تعد النظم المضمنة المقادة بالحدث (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. و تأتي أهمية هذا البحث ليكون كنواة للحصول على نموذج تصميم مشترك للنظم المضمنة التخالفية في الأعمال المستقبلية.