دانلود مقاله انگلیسی رایگان:مدل‌ها و تجزیه و تحلیل برای پیکربندی مجدد کاربر محور برنامه‌های IoT مبتنی بر قانون - 2022
دانلود بهترین مقالات isi همراه با ترجمه فارسی 2
دانلود مقاله انگلیسی اینترنت اشیاء رایگان
  • Models and analysis for user-driven reconfiguration of rule-based IoT applications Models and analysis for user-driven reconfiguration of rule-based IoT applications
    Models and analysis for user-driven reconfiguration of rule-based IoT applications

    دسته بندی:

    اینترنت اشیاء - Internet of Things


    سال انتشار:

    2022


    عنوان انگلیسی مقاله:

    Models and analysis for user-driven reconfiguration of rule-based IoT applications


    ترجمه فارسی عنوان مقاله:

    مدل‌ها و تجزیه و تحلیل برای پیکربندی مجدد کاربر محور برنامه‌های IoT مبتنی بر قانون


    منبع:

    ScienceDirect- Elsevier- Internet of Things, 19 (2022) 100515: doi:10:1016/j:iot:2022:100515


    نویسنده:

    Francisco Durán


    چکیده انگلیسی:

    Introduction: The Internet of Things consists of devices and software interacting altogether in order to build powerful and added-value services. One of the main challenges in this context is to support end users with simple, user-friendly, and automated techniques to design such applications. IFTTT-style rules are a popular way to build IoT applications as it addresses this challenge. Problem statement: Given the dynamicity of IoT applications, these techniques should also consider that these applications are in most cases not built once and for all. They can evolve over time and objects may be added or removed for several reasons (replacement, loss of connectivity, upgrade, failure, etc.). There is a need for techniques and tools supporting the reconfiguration of rule-based IoT applications to ensure certain correctness properties during this update tasks. Methodology: In this paper, we propose new techniques for supporting the reconfiguration of running IoT applications, represented as a set of coordinated rules acting on devices. These techniques compare two versions of an application (before and after reconfiguration) to check if several functional and quantitative properties are satisfied. This information can be used by the user to decide whether the actual deployment of the new application should be triggered or not. Contributions and results: The analysis techniques have been implemented using encodings into formal specification languages and verification is carried out using corresponding analysis frameworks. All these techniques for designing new applications, analysing the aforementioned reconfiguration properties, and deploying the new applications have been integrated into the WebThings platform and applied on real-world examples for validation of the approach.
    Keywords: IoT | Reconfiguration | Verification | Web of Things


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 18
    حجم فایل: 1575 کیلوبایت

    قیمت: رایگان


    توضیحات اضافی:




اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

تعداد نظرات : 0

الزامی
الزامی
الزامی
rss مقالات ترجمه شده rss مقالات انگلیسی rss کتاب های انگلیسی rss مقالات آموزشی
logo-samandehi
بازدید امروز: 439 :::::::: بازدید دیروز: 7209 :::::::: بازدید کل: 19805 :::::::: افراد آنلاین: 8