More Related Content Similar to Software Fault Tolerance (20) Software Fault Tolerance 5. ها روش
•
اتکاپذیری
•
کاربر
•
تابع
•
صحیح سرویس
•
سیستم خرابی
•
خرابی
•
قطعه خرابی
•
سیستم احیاءکردن
•
تعریف مکمل
اتکاپذیری
•
خطا
•
خرابی
•
فعال
•
غیرفعال
(
خوابیده
)
•
خرابی مدهای
•
خرابی قلمرو
•
پذیری کنترل
•
سازگاری
•
عواقب
•
خرابی های نشانه
•
شده داده تشخیص خطاهای
•
نهفته خطای
6. ها اشکال بندی دسته
اشكال
رخدادفاز
های اشکال
توسعه
های اشکال
عملیاتی
مرزهای
سیستمی
های اشکال
داخلی
های اشکال
خارجی
پدیده علت
شناختی
های اشکال
طبیعی
های اشکال
بشر ساخت
قصد
های اشکال
تعمد ،تصادفی
ی
و
رخرابکارانهغی
های اشکال
تعمدی
ماندگاری
های اشکال
دایمی
گذراهای اشکال
7. پذیری اتکا به دستیابی های روش
اشکال
ری
پذی
تحمل
عقب به رو
خطای تشخیص
همروند
جلو به رو
خسارت جبران
ای لحظه خطای تشخیص
8. اشکال برداشتن و بینی پیش های روش
اشکال پیشبینی های روش اشکال برداشتن های روش
اشکال
برداشتن
تایید
ایستا
ویا پ
تشخیص
ح تصحی
اشکال
بینی
پیش
کیفی
کمی
10. اطمینان قابلیت تعریف
•
می کار درست احتمالی چه با سیستم این میگوییم و شرطی احتمال تابع یک
کند
•
بازه در احتمالی چه با سیستم این
[ 0 → t )
تا االن از یعنی
t
لحظه در اینکه شرط به
باشد کرده کار درست سیستم این تحویل
•
ببینیم خواهیم می و نداریم شک تحویل لحظه در سیستم کردن کار درست به
به االن از
کند می کار درست احتمالی چه با بعد
•
دارد اهمیت زمان تداوم ،شود می اطمینان قابلیت از صحبت وقتی
(
تا االن از
t
درست
کند می کار
)
است مهم زمانی بازه یا تداوم
11. مثال
•
پرداز خود دستگاه
•
نه یا میکرد کار پیش دقیقه چند که نیست مهم ما برای
•
کارکردآن
است مهم لحظه همان در
•
مصنوعی قلب
•
است مهم ها لحظه همه در آن درست کارکرد
•
حتی
چندثانیه
کند مواجه جانی خطرات با را ما تواند می هم اشکال
12. خرابی تا اشکال از
•
E(x)
=
متوسط
زمانی
•
سیستم
درست صفر نقطه در
کار
می
کند
اگر
یک
اشکال
و دهد رخ
اشکال
فعال
،شود
رخ خطا
می
انتشار به منجر و دهد
می
آخر در و شود
خرابی
رخ
می
دهد
اشکال
شدن فعال
انتشار
یخراب
16. اطمینان قابلیت ارزیابی و محاسبه های روش
•
اطمینان قابلیت بلوک نمودار
•
مدل
مارکوف
•
اطمینان قابلیت نمودار
•
اشکال درخت
•
R
=
کارکردن درست احتمال
•
1-R
=
درست احتمال
کارنکردن
17. اطمینان قابلیت بلوک نمودار روش
•
روش این در
مولفه
هایی
هستن تاثیرگذار سیستم کل اطمینان قابلیت در که
یک با را د
دهند می نشان بلوک
•
است خروجی یک و ورودی یک دارای بلوک هر
•
بلوک هر کارکردن درست احتمال
R
درست احتمال و
کارنکردن
آن
1-R
است
•
یک خرابی اگر
مولفه
آن تاثیر شود سیستم کل خرابی به منجر سیستم در
م
ولفه
دید از
است سریال صورت به سیستم کل در اطمینان قابلیت
•
ب سیستم این نشود سیستم کل خرابی باعث سیستم از قطعاتی خرابی اگر
صورت ه
است موازی
22. MIL-HDBK-2176
•
دارند کاربرد موشک ساخت نظامی کاربردهای و ناسا در بیشتر
•
λ
شود می محاسبه اینگونه افزاری سخت سیستم یک برای خرابی نرخ یا
:
•
λ
=
خرابی نرخ
جزءبه
جزء
(
λ
▲
=
R
▼
)
اینکه برای
λ
▼
فاکت این است بهتر باشد
ور
باشند کمتر ها
(
بعد صفحه
)
24. افزاری سخت افزونگی
•
صحیح خروجی
:
کنید کپی سازی فشرده با
•
اشکال آنها از یکی ،نباشند یکسان ها خروجی اگر
داردپس
دیگ بار باید دو هر در
اجرا ر
دارد هم زمانی افزونگی نتیجه در ،شوند
.
25. افزاری سخت های افزونگی
•
منفعل یا و ایستا
:
انجام کردنش برطرف برای اقدامی ،افتد می اتفاق اشکال
نمی
،شود
شود می تحمل اشکال
•
فعال یا و پویا
:
توسط ،افتد می اتفاق اشکال
مکانیسمی
شو می داده تشخیص
تنظیم ،د
کاری یا مجدد
درحین
میدهیم انجام اجرا
•
ترکیبی
:
توسط را اشکال است ممکن
مکانیزمی
یک سپس دهیم تشخیص
ماژ
ول
و بیاید
کند جایگزین و بردارد سیستم از را اشکال دارای جزء
.
تغییرات اجرا حین در پس
ی
هر که پذیرد می صورت
دوحالت
دارد را قبل
27. اطالعات حیطه در خطا کنترل
•
مکانیسم خطا کنترل
هایی
تصحیح در بعدی گام و خطا تشخیص در که هستند
به خطا
کنند می کمک ما
•
همراه به را ای داده بخواهیم اگر
m
،دهیم انتقال و ذخیره اصلی بیت
r
افزونه داده بیت
برای هم
خطایابی
کنیم می ذخیره یا ارسال
•
تعداد شدن اضافه با
r
همان و نکرده تغییری مفید های داده تعداد کنترلی داده بیت
m
ماند می باقی بیت
29. رمزنگاری
•
است رمزنگاری اطالعات افزونگی در پایه روشهای از یکی
•
این مقایسه برای که دارند مهمی پارامترهای ،رمزنگاری مختلف روشهای تمامی
گیرد می قرار استفاده مورد ها رمزنگاری
.
رمزنگاری انواع
فعال
چرخشی
30. تساوی کد سازی پیاده نمونه
•
گیرنده
:
•
داد تشخیص خطا یک فقط روش این در
ه
شود می
•
دراین
روش
خطایی
تصحیح
نمی
شود
•
رمزگذار
و
رمزگشا
است تساوی کد یک
•
خطا سیگنال
:
•
صفر
:
نیست خطا
•
یک
:
است افتاده اتفاق خطا
32. فاصله
همینگ
•
بیت تعداد
هایی
دارند اختالف هم با که
•
فاصله اگر
همینگ
D
،باشد
D-1
و دهیم تشخیص میتوانیم را بیت
[
𝐷−1
2
]
میتوانیم را
دهیم تشخیص
•
فاصله اگر
همینگ
3
افتد بی اتفاق خطا بیت یک و باشد
=
001
•
به زیادی احتمال با این
C1
است نزدیک
.1
فاصله اگر
همینگ
3
و باشد
S
،افتد بی اتفاق خطا بیت
نمی
دهیم تشخیص را خطا توانیم
.2
فاصله اگر
همینگ
4
،باشد
1
دهد تشخیص تواند می را خطا بیت
.3
فاصله اگر
همینگ
4
،باشد
2
دهد تشخیص تواند می را خطا بیت
•
دارد را بیت یک فقط خطای تشخیص توانایی ،تساوی روش
33. بالک
مجموع کردن چک
•
اضافه تساوی بیت یک رشته هر برای روش این در
نمی
کنیم
•
بی بلوک آن کل برای و دهیم می تشکیل بلوک یک رشته چند از استفاده با
تساوی ت
کنیم می محاسبه
•
که باشیم کرده توافق اینجا در کنید فرض
•
ستونها
:
سطرها و زوج تساوی
:
فرد تساوی
•
ی کنید می استفاده فرد تساوی از که کنید قرارداد باید پروتکل طراحی هنگام
تساوی از ا
زوج
34. مثال
•
باشد فرد ها یک تعداد اگر
=
ف تساوی
رد
میگیرد را صفر مقدار
•
نکته
:
مجموع
1
ها
(P)
تعدادشان باید
باشد زوج
•
اگر ،تساوی روش در
5
،داشتیم رشته
زیر صورت به اضافه های بیت تعداد
شود می محاسبه
•
13
=
1
+
7
+
5
سطر
ستون
36. شود؟ می استفاده کجاها در
•
آمریکا فدرال هوایی صنایع
•
در
ایرباس
مختلف های
•
برنامه نسخه چندین از
نویسی
است شده استفاده
37. مقاوم های افزار نرم
•
د تواند می که افزار نرم توانایی از محدودیت یا حد آن
ر
های ورودی حضور
نامعتبر
به را خود عملیات کماکان ،
دهد ارائه صحیح صورت
.1
های ورودی از دسته
نامعتبر
.2
ورودی
هایی
دارند اشتباهی نوع که
.3
ورودی
هایی
دارند اشتباهی قالب که
38. تنوع
سیستم تنوع
•
تنوعی
تنوع از کمتری هزینه ًاعموم که است
کند می تحمیل سیستم به ،سیستم کل
•
های فاکتور
اثربخش
•
افزاری سخت وابستگی
•
مهارت سطح
•
ها گیری تصمیم
•
سازگاری
•
ها بازگشت از استفاده
•
پذیرفتن استانداردهای
افزاری نرم افزونگی در تنوع سطح
•
دربر را جزییات از سطحی چه تا تنوع اینکه
میگیرد
•
پیاد سیستم از سطح کدام در تنوع اینکه
ه
گردد می سازی
39. تنوع
دوم روش
دوم
ای پایه شکل
الگوریتم
ها داده مجدد بیان داده تنوع
•
با ها شرکت یا معتبر های دانشگاه
تمکن
م
الی
باال
•
الگوریتم
ها داده مجدد بیان های
40. بازجوان
افزار نرم سازی
•
سیستم یک خواهیم می و داریم افزاری نرم
ماکرو
بنویسیم
.
•
دارد را حافظه از سطحی یک ای داده هر
•
کند می خودش مال را شده تمام برنامه
•
هر یا و کنیم رها را شده گرفته اختیار در حافظه باید حافظ سازی جوان برای
چندو
قت
کنیم مجدد تنظیم یکبار
•
تکنیک از دیگر یکی
هایی
ا پذیری تحمل قابلیت افزایش برای تواند می که
برروی شکال
از استفاده گیرد قرار استفاده مورد نسخه یک
بازجوانسازی
است افزار نرم
•
ی و برنامه یک ،سیستم کل همانند مختلفی سطوح در را مجدد تنظیم توان می
ک
ماژول
داد انجام
41. برنامه سیستم یک در خرابی احتمال
نویسی
چندنس
خه
ای
•
بر همبستگی
دونوع
است
.1
مثبت
:
ها نسخه بین ارتباط
.2
منفی
:
بین ارتباط
مولفه
ها
•
چک نقطه
:
تص که ای لحظه در است سیستم های عالمت کل از فوری تصویر یک
ویر
شود می گرفته
•
سرحد
چک نقطه
:
شو می متوقف برنامه و دارد فوری عکس به نیاز چک نقطه انجام
د
درنتیجه
شود می زیاد برنامه اجرای زمان
42. بافر
•
درحالت
میگیریم که چک نقطه عادی
بافر
خ مرکزی پردازنده واحد پس و میکنیم
ودش
نکند کردن ذخیره درگیر را
•
یک سپس
ماژول
بدهد فرمان یک تواند می ای مرکزی پردازنده واحد یا