Search In this Thesis
   Search In this Thesis  
العنوان
Virtual Platforms-based Framework for Fault Injection \
المؤلف
Metawie, Haytham Tarek Mohamed Gabr.
هيئة الاعداد
باحث / هيثم طارق محمد جبر مطاوع
مشرف / محمد واثق علي كامل الخراشي
مشرف / منى محمد حسن صفر
مناقش / خالد علي حفناوي شحاتة
تاريخ النشر
2023.
عدد الصفحات
109 ص. :
اللغة
الإنجليزية
الدرجة
ماجستير
التخصص
هندسة النظم والتحكم
تاريخ الإجازة
1/1/2023
مكان الإجازة
جامعة عين شمس - كلية الهندسة - هندسة الحاسبات والنظم
الفهرس
Only 14 pages are availabe for public view

from 109

from 109

Abstract

شهد العالم مؤخرًا اتجاهًا نحو الأنظمة المدمجة وإنترنت الأشياء (IoT). قد تغول هذان الأثنان في كل ما يحط بنا. تحتوي معظم التطبيقات التكنولوجية على واحد أو أكثر من الأنظمة المضمنة. تحتوي الهواتف المحمولة والمركبات المستقلة وآلات الصرف الآلي (ATM) وأدوات مراقبة الصحة واللياقة البدنية القابلة للارتداء والعديد من الأشياء الأخري من حولنا، على أنظمة مدمجة. إذا نظرت في الأمثلة السابقة عن كثب ، فستلاحظ أن الأداء الخاطئ لهذه الأجهزة قد يعرض حياة مستخدميها لضرر كبير في حالة عدم التجنب أو الكشف، وقد يؤدي إلى فقدان الأرواح. لذلك ، فإن الانتباه إلى اعتمادية الأنظمة المدمجة يعد مرحلة أساسية في تطوير الأنظمة المدمجة. تعكس اعتمادية البرامج درجة ثقة المستخدم في النظام. الوسيلة الأفضل لتقييم الاعتمادية النظام هي حقن الخطأ (FI) . يتم إدخال خطأ اصطناعي في مواقع مختلفة في النظام ، ومراقبة انتشاره ومراقبة سلوك النظام في حالة وجود خطأ. يمكن تصنيف تقنيات FI بشكل أساسي إلى أربع تقنيات مختلفة: الحقن المعتمد على تنفيذ الأجهزة (HFI) ، وحقن الخطأ المستند إلى تنفيذ البرامج (SWIFI) ، وحقن الخطأ المستند إلى محاكاة الأجهزة (EFI) ، وحقن الخطأ المستند إلى المحاكاة (SFI) ، لكل منها مزايا وعيوب.
تم التدارس في نهج SWIFI في رسالتنا باستخدام منصات افتراضية مثل برنامج Quick EMUlator (QEMU). تحاكي QEMU العديد من البنى ، بما في ذلك الأجهزة الطرفية للإدخال / الإخراج ، من أجل تنفيذ نظام تشغيل كامل أو برنامج تمهيد ثابت. بالإضافة إلى ذلك ، نسعى إلى الامتثال لمعيار ISO 26262 للسلامة الوظيفية للسيارات في هذه الرسالة. يصف المعيار المبادئ والاختبارات التي يجب إجراؤها من أجل المصادقة على عدم فشل البرنامج. يسمح حقن الأعطال المستند إلى QEMU بحقن الخطأ في الخطوات المبكرة للتصميم والتنفيذ دون الحاجة إلى توافر نموذج مادي للنظام المستهدف يوفر إمكانية تحكم وملاحظة كافية بالإضافة إلى نتائج دقيقة. هنا ، نقترح إطار عمل حقن خطأ قائم على النظام الأساسي لتقييم موثوقية البرامج المضمنة للأجهزة الطرفية الخارجية. يركز العمل المقترح في هذه الرسالة على محاكاة بيئة ARM وعدد الأجهزة الطرفية الخارجية. يتم استخدام إطار العمل لحقن نماذج الأعطال الدائمة والمتقطعة في الأجهزة الطرفية الخارجية.