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