حجم فایل : 359.8 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 38
تشخیص دهنده های خطا و کاربرد آنها در سیستم های تعبیه شده بی درنگ فهرست مطالب مقدمه
خطاهای جریان کنترلی
SW-CFC
HW-CFC
HWSW-CFC
خلاصه و نتیجه گیری
مراجع
2/38 مقدمه کاربردها
فضایی
صنعتی
مالی میزان سهم پردازنده ها
در سیستم های تعبیه شده:
٩٩٪
3/38 مقدمه (ادامه) منابع رخداد فیزیکی
اغتشاشات منبع تغذیه (PSD)
اغتشاشات امواج الکترومغناطیسی (EMI)
تابش یون های سنگین (HIR)
موارد مهم برای بررسی
قابلیت اطمینان (Reliability)
ایمنی (Safety)
امنیت (Security)
دسترس پذیری (Availability)
... 4/38 مقدمه (ادامه) انواع اشکال (Fault)
دائم
آزمون پذیری (Testability)
گذرا 1 0 0 1 0 0 0 1 1 1 5/38 مقدمه (ادامه) مدل اشکال گذرا
Single Event Effect
Single Event Transient
Single Event Upset
روش طراحی سیستم های قابل اطمینان
روش های مبتنی بر ساختار
افزونگی در سطح سیستم
افزونگی در سطح تراشه
روش های مبتنی بر رفتار
6/38 مقدمه (ادامه) طراحی سیستم های اتکاپذیر
پردازنده های خاص منظوره
THOR
ERC32
LEON
پردازنده های همه منظوره
ریزپردازنده ها
میکروکنترلر ها 7/38 مقدمه (ادامه) روش های ارزیابی
روش های تحلیلی تزریق اشکال
بلوک های قابلیت اطمینان
مدل مارکوف
مدل شبکه بیز
درخت خطا
روش های تجربی تزریق اشکال
اغتشاشات منبع تغذیه (PSD)
اغتشاشات امواج الکترومغناطیس (EMI)
تزریق اشکال بصورت نرم افزاری (SWIFI) 8/38 فهرست مطالب مقدمه
خطاهای جریان کنترلی
SW-CFC
HW-CFC
HWSW-CFC
خلاصه و نتیجه گیری
مراجع
9/38 خطاهای جریان کنترلی تکنیک های مقابله
مبتنی بر نرم افزار (SW-CFC)
مبتنی بر سخت افزار (HW-CFC)
مبتنی بر ترکیبی از سخت افزار و نرم افزار (HWSW-CFC)
10/38 مبتنی بر نرم افزار (SW-CFC) SW-CFC
مزیت
انعطاف پذیری بالا
عیب
عدم توانایی در شناخت حلقه های بینهایت و پرش های غیر مجاز
نیاز به تغییر برنامه
تاخیر بالای کشف خطا
سربار بزرگ بر روی اندازه برنامه
سربار بزرگ بر روی زمان اجرا
11/38 SW-CFC (ادامه) SW-CFC
CFC by software checking (CFCSS)
Block signature of self checking (BSSC)
CFC using assertions (CCA)
Assertions for CFC (ACFC)
Yet another CFC using assertions (YACCA) 12/38 SW-CFC (ادامه) CFC by software checking (CFCSS)
بدون نیاز به سخت افزار خاص
Watchdog Processor
قابل اعمال در سیستم های چندوظیفگی (multitasking)
گراف برنامه
Basic Block
عددی اختیاری بعنوان امضا
پوشش ...
مبلغ واقعی 23,824 تومان 20% تخفیف مبلغ قابل پرداخت 19,059 تومان