نویسنده
İnçki، Koray، Arı، İsmail
تاریخ انتشار
2018
محل انتشار
-
Springer Nature
موضوع
اینترنت اشیا، آزمایش مبتنی بر مدل، پروتکل برنامه محدود، تأیید زمان اجرا، پردازش رویداد پیچیده
نوع
سند
زبان
انگلیسی
دیجیتال
بله
نسخه خطی
خیر
کتابخانه
دانشگاه اوزیغین
شناسه دارایی کتابخانه
978-331993796-0
شماره ثبت
05db9e22-cb94-4103-9f7f-7aa0f17e4c14
محل کتابخانه
علوم کامپیوتر
تاریخ
2018
متن نمونه
اینترنت اشیا (IoT) خدمات صنعتی ارائه شده از طریق تعاملات خودکار ماشین با ماشین را به شدت تغییر داده است. چنین سیستم هایی از دستگاه های تولید شده توسط تامین کنندگان مختلف تشکیل شده است. تأیید یک چالش به دلیل ناهمگونی بالای دستگاه های آهنگسازی است. در این مقاله، ما نتایج اولیه آزمایش قابلیت همکاری مبتنی بر مدل را برای سیستمهای 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
