دانلود سمینار سیستم های مطمئن
دانلود سمینار سیستم های مطمئن
فرمت قابل ویرایش ورد word
تعداد صفحات: ۴۴ صفحه
خلاصه ای از فایل
مقدمه
- سیستم های مبتنی بر کامپیوتر به طور چشمگیری از لحاظ حجم، پیچیدگی و گستردگی روند رو به رشدی داشتهاند .صنایع زیادی برای انجام وظایف روزمره خود به کامپیوترها وابسته اند. برای بسیاری از سیستم ها مانند کاربردهای هوافضایی، کنترل ترافیک هوایی، تجهیزات پزشکی، هسته ای، بانکداری الکترونیکی ،عملیات نرمافزاری امن و قابل اعتماد یک نیاز مهم به شمار می رود. هزینه و نتیجه خرابی این سیستم ها می تواند در گسترده وسیعی از صدمات انسانی، مالی و غیره قرار گیرد. از آنجایی که نرم افزار نقش اصلی را در انجام وظایف سیستمها بر عهده دارد، بنابراین اهمیت ویژه ای در میزان قابلیت اعتماد سیستم ها دارد. برای افزایش قابلیت اعتماد، لازم است سیستم ها به صورت تحمل پذیر در برابر خطا طراحی شوند. تحملپذیری خطا می تواند به صورت سخت افزاری و یا نرمافزاری طراحی شود .
فهرست
تکنیک Duplication with Comparison. 10
افزونگی سختافزاری ترکیبی.. ۱۲
تحملپذیری خطای نرمافزاری.. ۱۳
تاکتیکهای تحملپذیری خطای نرمافزاری تک نسخهای.. ۱۴
تاکتیکهای تحملپذیری خطای نرمافزاری چند نسخهای.. ۱۶
بلوکهای بازیابی توزیعشده. ۲۰
روشهای رایج برای ارزیابی قابلیت اطمینان سیستم ها ۲۳
ایجاد مسیرها و قطعات مینیمم ۲۵
روش حذف گره برای تولید یک مسیر مینیمم.. ۲۷
تولید قطعات مینیمم از مسیرهای مینیمم ۲۷
روش جمع حاصل ضرب های گسسته. ۲۹
ضوابط گسسته: قانون افزایش…. ۲۹
دیدگاه ها