إضفاء الطابع الديمقراطي على التحقق من وقت التشغيل لإنترنت الأشياء
| العنوان | إضفاء الطابع الديمقراطي على التحقق من وقت التشغيل لإنترنت الأشياء |
|---|---|
| المؤلف | إنجكي، كوراي، آري، إسماعيل |
| تاريخ النشر: | 2018-05 |
| مكان النشر | - إلسفير |
| الموضوع | إنترنت الأشياء، الاختبار القائم على النموذج، التحقق من وقت التشغيل، معالجة الأحداث المعقدة، تحويل النموذج إلى نص، الحوسبة المتطورة |
| النوع | دورية |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 0045-7906 |
| رقم السجل | 779d58d2-854f-4bc7-858a-5810795d8bc0 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2018-05 |
| نص عينة | اكتسبت أجهزة إنترنت الأشياء (IoT) انتشارًا أكبر في أنظمة المعيشة المحيطة (AAL). تعد موثوقية أنظمة AAL أمرًا بالغ الأهمية خاصة في ضمان سلامة ورفاهية كبار السن. يوصف التحقق من وقت التشغيل (RV) بأنه التحقق مما إذا كان السلوك الملحوظ للنظام يتوافق مع سلوكه المتوقع. تتضمن تقنيات RV بشكل عام أساليب رسمية ثقيلة؛ وبالتالي، يتم استخدامه بشكل سيئ في الصناعة. ولذلك، فإننا نقترح إضفاء الطابع الديمقراطي على RV لأنظمة إنترنت الأشياء من خلال تقديم نهج الاختبار القائم على النموذج (MBT). لتمكين نمذجة السلوكيات المتوقعة لنظام إنترنت الأشياء، قمنا أولاً بوصف امتداد لملف تعريف UML. بعد ذلك، نقوم بالتقاط السلوك المتوقع للتفاعل الذي تم تصميمه على مخطط التسلسل (SD). لاحقًا، تتم ترجمة السلوكيات المتوقعة إلى بيانات مراقبة وقت التشغيل المعبر عنها بلغة معالجة الأحداث (EPL)، والتي يتم تنفيذها على حافة شبكة إنترنت الأشياء. نعرض كذلك مساهماتنا في نموذج نظام AAL. |
| DOI | 10.1016/j.compeleceng.2018.05.007 |
| Cilt | 68 |
