You are not allowed to perform this action
سیستم‌های نرم‌افزاری اتکاپذیر
Dependable Software Systems
| مقطع: تحصیلات تکمیلی | گرایش: نرم‌افزار |
| نوع درس: نظری | تعداد واحد: ۳ |
| پیش‌نیاز: – | هم‌نیاز: – |
هدف کلی
هدف درس آشنایی با مفهوم اتکاپذیری به عنوان یک نیازمندی کیفی بسیار مهم در تمام اجزای یک سیستم نرم‌افزاری، روش‌های ساخت سیستم‌های نرم‌افزاری اتکاپذیر و روش‌های اطمینان از اتکاپذیر بودن یک سیستم نرم‌افزاری است. در این درس دانشجویان آشنایی نسبتاً عمیقی با انواع عیوب در سیستم‌های نرم‌افزاری پیدا خواهند کرد و روش‌های اصولی تشخیص، ارزیابی، تحمل و ترمیم اشکال در سیستم‌های نرم‌افزاری را فراخواهند گرفت.
سرفصل‌ها
- چالش‌های مهندسی نرم‌افزار در ارتباط با اتکاپذیری
- معرفی واژگان مرتبط با اتکاپذیری، تاب‌آوری، امنیت و کارایی
- روش‌های افزونگی و گوناگونی در سیستم‌ها و نرم‌افزارها
- مدل‌سازی اتکاپذیری نرم‌افزار
- تحلیل قابلیت اطمینان نرم‌افزار
- پیری و بازجوان‌سازی نرم‌افزار
- روش نقطه وارسی و تحلیل‌های مربوط
- تحلیل درخت خرابی نرم‌افزار
- نرم‌افزارهای بحرانی-ایمنی و نهفته بیدرنگ
- استانداردهای تضمین کیفیت نرم‌افزار در دامنه کاربردی خاص نظیر خودرو
ارزیابی پیشنهادی
- فعالیت‌های کلاسی در طول نیم‌سال: ۴۰ درصد نمره
- آزمون پایان نیم‌سال: ۴۰ درصد نمره
- پروژه: ۲۰ درصد نمره
منابع پیشنهادی
- F. J. Furrer. Safety and Security of Cyber-Physical Systems: Engineering Dependable Software using Principle-based Development. Springer Vieweg, 2022.
- S. Bernardi, J. Merseguer, and D. C. Petriu. Model-Driven Dependability Assessment of Software Systems. Springer, 2013.
- C. Hobbs. Embedded Software Development for Safety-Critical Systems. 2nd Edition, CRC Press, 2020.
- I. Koren and C.M. Krishna. Fault-Tolerant Systems. 1st Edition, Morgan Kaufmann Publishers, Elsevier, 2007.
- H. Pham. System Software Reliability. Springer-Verlag, 2006.