المكافئات والتجريد وتقليل الترتيب الجزئي

تقدم هذه الدورة مفاهيم التجريد واستخدام طرق الترتيب الجزئي لتقليل تعقيد نماذج الأنظمة. تشرح كيفية إثبات أن نموذجًا ما هو تبسيط لنموذج آخر باستخدام علاقات بسيمولايشن والمحاكاة، مما يحافظ على خصائص التحقق الصحيحة للنظام. كما تعرض طريقة الترتيب الجزئي التي تساعد في تقليل فضاء حالات النموذج أثناء التحقق عن طريق استبعاد ضرورة دراسة جميع التداخلات الممكنة للأفعال المتزامنة. كما توضح الدورة كيف يمكن أن تساهم هذه الطرق في تسريع عمليات التحقق من النماذج بشكل كبير مع حماية السلامة والدقة.

• شرح وتحليل مكافئات نماذج أنظمة الانتقال عبر البسيمولايشن
• مقارنة وتفسير مكافئات بناءً على علاقات المحاكاة
• تطبيق العلاقات لبناء وتبرير التجريدات لنماذج الأنظمة
• تحليل استقلالية الأفعال المتزامنة وتطبيق تقليل الترتيب الجزئي

• مهارات حاسوب وإنترنت أساسية وقدرة على متابعة التعليمات وممارسة التطبيقات القصيرة