دانلود سمینار سیستم های مطمئن

دانلود سمینار سیستم های مطمئن

 فرمت قابل ویرایش ورد word

  تعداد صفحات: ۴۴ صفحه

 خلاصه ای از فایل

• مقدمه

• سیستم های مبتنی بر کامپیوتر به طور چشمگیری از لحاظ حجم، پیچیدگی و گستردگی روند رو به رشدی داشته‌اند .صنایع زیادی برای انجام وظایف روزمره خود به کامپیوترها وابسته اند. برای بسیاری از سیستم ها مانند کاربردهای هوافضایی، کنترل ترافیک هوایی، تجهیزات پزشکی، هسته ای، بانکداری الکترونیکی ،عملیات نرم‌افزاری امن و قابل اعتماد یک نیاز مهم به شمار می رود. هزینه و نتیجه خرابی این سیستم ها می تواند در گسترده وسیعی از صدمات انسانی، مالی و غیره قرار گیرد. از آنجایی که نرم افزار نقش اصلی را در انجام وظایف سیستمها بر عهده دارد، بنابراین اهمیت ویژه ای در میزان قابلیت اعتماد سیستم ها دارد. برای افزایش قابلیت اعتماد، لازم است سیستم ها به صورت تحمل پذیر در برابر خطا طراحی شوند. تحمل‌پذیری خطا می تواند به صورت سخت افزاری و یا نرم‌افزاری طراحی شود .

  • فهرست

مقدمه. ۱

اتکاپذیری.. ۲

قابلیت اطمینان.. ۳

قابلیت دسترسی.. ۳

ایمنی.. ۳

قابلیت نگهداری.. ۴

آزمون‌پذیری.. ۴

امنیت… ۴

نقص و خطا و شکست… ۴

کارایی.. ۵

تحمل‌پذیری خطا ۵

افزونگی ۶

افزونگی سخت‌افزاری.. ۷

افزونگی سخت‌افزاری ایستا ۷

افزونگی سخت‌افزاری فعال.. ۱۰

تکنیک Duplication with Comparison. 10

تکنینک Standby Sparing. 11

تکنیک Pair-and-a-Spare. 12

Watchdog Timers. 12

افزونگی سخت‌افزاری ترکیبی.. ۱۲

تحمل‌پذیری خطای نرم‌افزاری.. ۱۳

تاکتیک‌های تحمل‌پذیری خطای نرم‌افزاری تک نسخه‌ای.. ۱۴

آشکارسازی نقص…. ۱۴

محدودسازی نقص…. ۱۵

بازیابی نقص…. ۱۶

تاکتیک‌های تحمل‌پذیری خطای نرم‌افزاری چند نسخه‌ای.. ۱۶

گوناگونی طراحی.. ۱۷

بلوک‌های بازیابی.. ۱۷

برنامه‌نویسی چند نسخه‌ای.. ۱۸

برنامه‌نویسی خود بررسی.. ۱۹

بلوک‌های بازیابی توزیع‌شده. ۲۰

بلوک‌های بازیابی اجماعی.. ۲۰

رأی‌گیری پذیرش… ۲۱

شاخصهای عملکردی.. ۲۲

روش‌های رایج برای ارزیابی قابلیت اطمینان سیستم ها ۲۳

ساده‌سازی سری و موازی.. ۲۴

تجزیه محوری.. ۲۵

ایجاد مسیرها و قطعات مینیمم ۲۵

ماتریس رابطه. ۲۶

روش حذف گره برای تولید یک مسیر مینیمم.. ۲۷

تولید قطعات مینیمم از مسیرهای مینیمم ۲۷

روش شمول- عدم شمول.. ۲۸

روش جمع حاصل ضرب های گسسته. ۲۹

ضوابط گسسته: قانون افزایش…. ۲۹