المؤلف
إنجكي، كوراي، آري، إسماعيل
تاريخ النشر
2018
مكان النشر
-
طبيعة سبرينغر
الموضوع
إنترنت الأشياء، الاختبار القائم على النموذج، بروتوكول التطبيق المقيد، التحقق من وقت التشغيل، معالجة الأحداث المعقدة
النوع
وثيقة
اللغة
الإنجليزية
رقمي
نعم
مخطوط
لا
المكتبة
جامعة اوزيجين
معرف أصل المكتبة
978-331993796-0
رقم السجل
05db9e22-cb94-4103-9f7f-7aa0f17e4c14
موقع المكتبة
علوم الكمبيوتر
التاريخ
2018
نص عينة
لقد أدى إنترنت الأشياء (IoT) إلى تعديل جذري في الخدمات الصناعية المقدمة من خلال التفاعلات المستقلة بين الآلة والآلة. تتكون هذه الأنظمة من أجهزة تم تصنيعها بواسطة موردين مختلفين. يمثل التحقق تحديًا بسبب عدم التجانس الكبير لأجهزة التأليف. في هذه الورقة، نقدم النتائج الأولية لاختبار قابلية التشغيل البيني القائم على النموذج لأنظمة إنترنت الأشياء لتسهيل إنشاء حالات الاختبار التلقائي. نحن نستخدم نموذج المراسلة لبروتوكول التطبيق المقيد لاستنتاج العلاقات المعقدة بين الأجهزة المشاركة. نحن نستخدم تقنيات معالجة الأحداث المعقدة (CEP) لتبسيط عملية التحقق بعد إنشاء أجهزة مراقبة وقت التشغيل المناسبة من المخططات التسلسلية. نعرض حلنا على نظام رعاية صحية وهمي.
Editör
Fortino, G., Palau, C. E., Guerrieri, A., Cuppens, N., Cuppens, F., Cuppens, H., Gabillon, A.
DOI
10.1007/978-3-319-93797-7_8
Cilt
242
