بخشی از پاورپوینت

--- پاورپوینت شامل تصاویر میباشد ----

اسلاید 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

–عددی اختیاری بعنوان امضا

◦پوشش کشف خطا: ٩٥/٨٪ تا ٩٨/٢٪

در متن اصلی پاورپوینت به هم ریختگی وجود ندارد. برای مطالعه بیشتر پاورپوینت آن را خریداری کنید