کتاب صوتی تحلیل سیستم‌های بی‌درنگ: مبانی، مدل‌سازی و ارزیابی

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

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

عنوان دوره: دوره تحلیل سیستم‌های بی‌درنگ: مبانی، مدل‌سازی و ارزیابی

موضوع کلی: مهندسی سیستم‌های بی‌درنگ

موضوع میانی: تحلیل و طراحی سیستم‌های بی‌درنگ

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

• 1. مقدمه‌ای بر سیستم‌های بی‌درنگ و کاربردهای آن‌ها
• 2. تعاریف کلیدی: زمان‌بندی، همزمانی، و پاسخ‌گویی
• 3. چالش‌های طراحی سیستم‌های بی‌درنگ
• 4. مدل‌های محاسباتی سیستم‌های بی‌درنگ
• 5. مدل نرخ ثابت و متغیر
• 6. مدل‌های زمان‌بندی: زمان‌بندی پیش‌دستانه و واکنش‌گرا
• 7. زمان‌بندی وظایف دوره‌ای
• 8. زمان‌بندی وظایف غیر دوره‌ای
• 9. الگوریتم‌های زمان‌بندی اولویت‌بندی (Rate Monotonic Scheduling - RMS)
• 10. الگوریتم‌های زمان‌بندی کمترین اسلاک (Earliest Deadline First - EDF)
• 11. تحلیل قابلیت زمان‌بندی (Schedulability Analysis)
• 12. تحلیل worst-case execution time (WCET)
• 13. روش‌های محاسبه WCET: استاتیک و دینامیک
• 14. تاثیر سربار سیستم (System Overhead) بر زمان‌بندی
• 15. همگام‌سازی و ارتباطات بین وظایف
• 16. مدل‌های ارتباطی: سینکرون و آسنکرون
• 17. بررسی پروتکل‌های ارتباطی رایج در سیستم‌های بی‌درنگ
• 18. مدیریت منابع مشترک در سیستم‌های بی‌درنگ
• 19. مکانیزم‌های قفل‌گذاری و جلوگیری از بن‌بست
• 20. تحلیل و جلوگیری از وارونگی اولویت (Priority Inversion)
• 21. سیستم‌عامل‌های بی‌درنگ (RTOS) و معماری آن‌ها
• 22. معرفی RTOSهای محبوب: FreeRTOS, VxWorks, QNX
• 23. بررسی سرویس‌های اصلی RTOS: زمان‌بندی، مدیریت حافظه، و ارتباطات
• 24. تاثیر انتخاب RTOS بر عملکرد سیستم
• 25. مقدمه‌ای بر شبکه‌های بی‌درنگ (Real-Time Networks)
• 26. شبکه‌های مبتنی بر زمان (Time-Triggered Networks)
• 27. شبکه‌های مبتنی بر رویداد (Event-Triggered Networks)
• 28. پروتکل‌های شبکه‌های بی‌درنگ: CAN, FlexRay, Ethernet
• 29. امنیت در سیستم‌های بی‌درنگ
• 30. تحلیل آسیب‌پذیری سیستم‌های بی‌درنگ
• 31. روش‌های افزایش امنیت سیستم‌های بی‌درنگ
• 32. اعتبارسنجی و تایید (Verification and Validation) سیستم‌های بی‌درنگ
• 33. تکنیک‌های تست سیستم‌های بی‌درنگ
• 34. مدل‌سازی سیستم‌های بی‌درنگ با استفاده از زبان‌های گرافیکی
• 35. استفاده از ابزارهای تحلیل و شبیه‌سازی سیستم‌های بی‌درنگ
• 36. بررسی استانداردهای سیستم‌های بی‌درنگ (مانند IEC 61508)