الفهرس 
IntroductionOnly 14 pages are availabe for public view
 |  | from | 119 |  |  |
| | | from | 119 | | |
Abstract
يمكن أن تكون األنظمة في الوقت الفعلي عرضة للحاالت الخطرة. وبالتالي ، يعد اختبار وظائفها في ظل قيود الوقت أمرًا مهمًا للغاية. تركز معظم األدوات الحالية على تحليل مرحلة النمذجة ، وهي ليست المرحلة النهائية من دورة .V-Cycle يحدث تضارب أحيانًا بين مرحلة التنفيذ ومرحلة النمذجة. في هذه األطروحة ، يتم تحليل كود ANSI-C بشكل ثابت للحصول على األحداث الخطرة التي قد تحدث في كود ANSI-C مضمن. فيما يتعلق بمعرفتنا ، هذا هو البحث األول الذي يقترح منهجية آلية لنمذجة وتحليل أنظمة الوقت الحقيقي المدمجة الحرجة للسالمة بمساعدة معادلة حدث خطير لتوليد سيناريوهات خطر محتملة. تتمثل قوة المنهجية المقترحة في أنها تعمل بشكل مباشر على مرحلة تنفيذ المشروع دون الحاجة إلى توليف متعدد لكود ANSI-C بقيم إدخال مميزة. يتكون النظام المقترح من ثالثة أنظمة فرعية رئيسية. النموذج هو أول نظام فرعي ، وهو المسؤول عن تحليل كود اإلدخال ANSI-C وتحويله إلى نموذج .HCRSM يتم إنشاء معادلة حدث خطير يمثل الحدث غير المرغوب فيه الذي ال يجب أن يحدث. كالهما ، نموذج HCRSM والحدث الخطير ، مدخالت إلى النظام الفرعي لمحلل النموذج. محلل النموذج هو النظام الفرعي الثاني ، وهو المسؤول عن تحليل نموذج HCRSM الذي تم إنشاؤه بمساعدة معادلة األحداث الخطرة لتوليد قائمة بالسيناريوهات الخطرة التي قد تحدث في إدخال كود .ANIS-C ُيظهر كل سيناريو خطير مسارًا في كود ANSI-C المدخل الذي يتسبب في حدوث معادلة الحدث غير المرغوب فيها. جميع المتغيرات التي تظهر في سيناريو خطير هي مدخالت النظام ذات الطابع الزمني لكود .ANSI-C يمكن لألنظمة أن تولد مخرجات صحيحة ولكن متأخرة تعرض سالمة البشر للخطر. هذا هو السبب في أهمية الطوابع الزمنية للكشف عن هذه األنواع من المواقف الخطرة. يعمل المبسط ، وهو الوحدة الفرعية الثالثة ، على كل سيناريو خطير للمساعدة في تقليل السيناريوهات اإليجابية الكاذبة. يتم توفير الفئات المتغيرة كمدخالت لكل إدخال نظام في المعادلة المبسطة. يقوم النظام بإنشاء قائمة بالقيم التي يمكن استخدامها لكل متغير في السيناريو المبسط إلثبات إمكانية الوصول إلى سيناريو الخطر. يمكن استخدام هذه القيم كحاالت اختبار للتأكد من تنفيذ المشروع بشكل صحيح. تم وصف دراستي حالة بالتفصيل لتوضيح كيف أن النظام المقترح قادر على اكتشاف األخطاء التي قد تحدث في كود ANSI-C مدمج. يتم تحقيق نفس النتائج عند تجاوز حلنا اآللي المقترح. يقوم نظامنا بالعمل الذي يحتاجه مهندس لتحليل برنامج C يدويًا لمدة أربعين ساعة بطريقة آلية في أقل من نصف ساعة.