دوره طراحی سیستم‌های همزمان قطعی: از تئوری تا پیاده‌سازی همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره طراحی سیستم‌های همزمان قطعی: از تئوری تا پیاده‌سازی

موضوع کلی: مهندسی سیستم

موضوع میانی: سیستم‌های همزمان و زمان‌بندی

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر سیستم‌های همزمان و قطعی
• 2. تعریف سیستم‌های همزمان و قطعی
• 3. اهمیت قطعی بودن در سیستم‌های زمان‌بندی واقعی
• 4. بررسی کاربردهای سیستم‌های قطعی
• 5. مفاهیم پایه‌ای: همزمانی، موازی‌سازی، و توالی
• 6. تفاوت بین سیستم‌های همزمان و ناهمزمان
• 7. چالش‌های طراحی سیستم‌های همزمان
• 8. معماری‌های سیستم‌های همزمان
• 9. مدل‌های محاسباتی برای سیستم‌های قطعی
• 10. مدل Actor
• 11. مدل Dataflow
• 12. مدل State Machine
• 13. زبان‌های برنامه‌نویسی برای سیستم‌های قطعی
• 14. Esterel
• 15. Lustre
• 16. بررسی ابزارهای رسمی برای تایید صحت سیستم‌های قطعی
• 17. تایید مدل (Model Checking)
• 18. تایید قضیه (Theorem Proving)
• 19. آزمایش و اعتبارسنجی سیستم‌های همزمان
• 20. روش‌های تست مبتنی بر مشخصات
• 21. تست پوشش (Coverage Testing)
• 22. مدیریت خطا و تحمل خطا در سیستم‌های قطعی
• 23. استراتژی‌های تشخیص خطا
• 24. استراتژی‌های بازیابی خطا
• 25. زمان‌بندی وظایف در سیستم‌های قطعی
• 26. زمان‌بندی استاتیک (Static Scheduling)
• 27. زمان‌بندی دینامیک (Dynamic Scheduling)
• 28. تحلیل بدترین حالت اجرا (Worst-Case Execution Time - WCET)
• 29. بهینه‌سازی سیستم‌های همزمان قطعی
• 30. بهینه‌سازی مصرف انرژی
• 31. بهینه‌سازی تاخیر
• 32. بررسی معماری‌های سخت‌افزاری برای سیستم‌های قطعی
• 33. پردازنده‌های چند هسته‌ای
• 34. پردازنده‌های تخصصی (DSP, FPGA)
• 35. ارتباطات همزمان در سیستم‌های قطعی
• 36. پروتکل‌های ارتباطی قابل اعتماد
• 37. شبکه‌های صنعتی و پروتکل‌های زمان‌بندی
• 38. امنیت در سیستم‌های همزمان قطعی
• 39. تهدیدات امنیتی در سیستم‌های قطعی
• 40. روش‌های محافظت از سیستم‌های قطعی
• 41. استفاده از سیستم‌عامل‌های بی‌درنگ (RTOS) در سیستم‌های قطعی
• 42. FreeRTOS
• 43. VxWorks
• 44. بررسی استانداردهای ایمنی و قطعی
• 45. IEC 61508
• 46. DO-178B/C
• 47. پیاده‌سازی یک سیستم کنترل ساده با استفاده از زبان Esterel
• 48. طراحی یک سیستم واکنش‌گرا با استفاده از مدل Actor
• 49. تحلیل و تایید صحت یک سیستم همزمان با استفاده از ابزارهای رسمی
• 50. مقدمه‌ای بر شبکه‌های حسگر بی‌سیم قطعی
• 51. چالش‌های طراحی سیستم‌های قطعی توزیع‌شده
• 52. مطالعه موردی: طراحی یک سیستم ترمز ضد قفل (ABS) قطعی
• 53. مطالعه موردی: طراحی یک سیستم کنترل پرواز قطعی
• 54. آینده سیستم‌های همزمان قطعی: ترندها و چالش‌ها