بخشی از پاورپوینت
--- پاورپوینت شامل تصاویر میباشد ----
اسلاید 1 :
مقدمه
خطاهای جریان کنترلی
◦SW-CFC
◦HW-CFC
◦HWSW-CFC
خلاصه و نتیجه گیری
مراجع
اسلاید 2 :
منابع رخداد فیزیکی
◦اغتشاشات منبع تغذیه (PSD)
◦اغتشاشات امواج الکترومغناطیسی (EMI)
◦تابش یون های سنگین (HIR)
موارد مهم برای بررسی
◦قابلیت اطمینان (Reliability)
◦ایمنی (Safety)
◦امنیت (Security)
◦دسترس پذیری (Availability)
◦...
اسلاید 3 :
مدل اشکال گذرا
◦Single Event Effect
Single Event Transient
Single Event Upset
روش طراحی سیستم های قابل اطمینان
◦روش های مبتنی بر ساختار
افزونگی در سطح سیستم
افزونگی در سطح تراشه
◦روش های مبتنی بر رفتار
اسلاید 4 :
طراحی سیستم های اتکاپذیر
◦پردازنده های خاص منظوره
THOR
ERC32
LEON
◦پردازنده های همه منظوره
ریزپردازنده ها
میکروکنترلر ها
اسلاید 5 :
روش های ارزیابی
◦روش های تحلیلی تزریق اشکال
بلوک های قابلیت اطمینان
مدل مارکوف
مدل شبکه بیز
درخت خطا
◦روش های تجربی تزریق اشکال
اغتشاشات منبع تغذیه (PSD)
اغتشاشات امواج الکترومغناطیس (EMI)
تزریق اشکال بصورت نرم افزاری (SWIFI)
اسلاید 6 :
مقدمه
خطاهای جریان کنترلی
◦SW-CFC
◦HW-CFC
◦HWSW-CFC
خلاصه و نتیجه گیری
مراجع
اسلاید 7 :
تکنیک های مقابله
◦مبتنی بر نرم افزار (SW-CFC)
◦مبتنی بر سخت افزار (HW-CFC)
◦مبتنی بر ترکیبی از سخت افزار و نرم افزار (HWSW-CFC)
◦
اسلاید 8 :
SW-CFC
◦مزیت
انعطاف پذیری بالا
◦عیب
عدم توانایی در شناخت حلقه های بینهایت و پرش های غیر مجاز
نیاز به تغییر برنامه
تاخیر بالای کشف خطا
سربار بزرگ بر روی اندازه برنامه
سربار بزرگ بر روی زمان اجرا
◦
اسلاید 9 :
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)
اسلاید 10 :
CFC by software checking (CFCSS)
◦بدون نیاز به سخت افزار خاص
Watchdog Processor
◦قابل اعمال در سیستم های چندوظیفگی (multitasking)
◦گراف برنامه
Basic Block
عددی اختیاری بعنوان امضا
◦پوشش کشف خطا: ٩٥/٨٪ تا ٩٨/٢٪
◦
