وزارة التعليم العالي و البحث العلمي

Ministry of Higher Education and Scientific Research

جاري تحميل اخر الاخبار ...

2019/05/02 | 02:41:05 مساءً | : 62

تدريسيان في الجامعة المستنصرية ينشران بحثاً في مجلة العلوم للتكنولوجيا البرتغالية

نشر التدريسيان في كلية العلوم بالجامعة المستنصرية الدكتور عباس عبد العزيز والدكتور علاء عبد الحسين، بحثاً مشتركاً بعنوان (تدقيق البيئة التقنية للنماذج بإستخدام  SystemC)، في مجلة العلوم للتكنولوجيا البرتغالية التي تدخل ضمن مستوعب كلارفيت.

وأكد البحث أن SystemC تعد لغة نمذجة ومنصة محاكاة فعالة لزيادة مستوى التجريد في تصميم الأنظمة المضمنة المقترحة، وأهمية ضمان تصحيح الأنظمة المصممة مع SystemC ومعرفة كيفية دمج تقنيات التحقق عن طريق فحص النماذج في بيئة SystemC، حيث يقدم البحث مقارنة بين التقنيات التي يمكن إستعمالها للتحقق من نماذج SystemC.

وتوصلت نتائج البحث إلى طريقة التحقق من نماذج SystemC وتوضيح قابلية التحقق عبر دراسة حالة تصف نظام إشارات المرور، وتصنيف الطرق الحالية إلى ثلاث مجموعات حسب معيار التحقق SystemC، فضلاً عن إشتقاق أداة IDEA1 مع صيغ SCNSL، وإستعمال مدقق طراز UPPAL لإجراء عملية التحقق.

وللإطلاع على البحث إضغط هنا.

تدريسيان في الجامعة المستنصرية ينشران بحثاً في مجلة العلوم للتكنولوجيا البرتغالية

تدريسيان في الجامعة المستنصرية ينشران بحثاً في مجلة العلوم للتكنولوجيا البرتغالية
تدريسيان في الجامعة المستنصرية ينشران بحثاً في مجلة العلوم للتكنولوجيا البرتغالية

نشر التدريسيان في كلية العلوم بالجامعة المستنصرية الدكتور عباس عبد العزيز والدكتور علاء عبد الحسين، بحثاً مشتركاً بعنوان (تدقيق البيئة التقنية للنماذج بإستخدام  SystemC)، في مجلة العلوم للتكنولوجيا البرتغالية التي تدخل ضمن مستوعب كلارفيت.

وأكد البحث أن SystemC تعد لغة نمذجة ومنصة محاكاة فعالة لزيادة مستوى التجريد في تصميم الأنظمة المضمنة المقترحة، وأهمية ضمان تصحيح الأنظمة المصممة مع SystemC ومعرفة كيفية دمج تقنيات التحقق عن طريق فحص النماذج في بيئة SystemC، حيث يقدم البحث مقارنة بين التقنيات التي يمكن إستعمالها للتحقق من نماذج SystemC.

وتوصلت نتائج البحث إلى طريقة التحقق من نماذج SystemC وتوضيح قابلية التحقق عبر دراسة حالة تصف نظام إشارات المرور، وتصنيف الطرق الحالية إلى ثلاث مجموعات حسب معيار التحقق SystemC، فضلاً عن إشتقاق أداة IDEA1 مع صيغ SCNSL، وإستعمال مدقق طراز UPPAL لإجراء عملية التحقق.

وللإطلاع على البحث إضغط هنا.

مشاركة الموضوع عبر Facebook Twitter Google Email Print