Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications

Shabir Ahmad, Sehrish Malik, Israr Ullah, Dong-Hwan Park, Kwangsoo Kim and DoHyeun Kim
Additional contact information
Shabir Ahmad: Department of Computer Engineering, Jeju National University, Jeju 63243, Korea
Sehrish Malik: Department of Computer Engineering, Jeju National University, Jeju 63243, Korea
Israr Ullah: Department of Computer Engineering, Jeju National University, Jeju 63243, Korea
Dong-Hwan Park: Electronics and Telecommunications Research Institute, Daejeon-si 34129, Korea
Kwangsoo Kim: Electronics and Telecommunications Research Institute, Daejeon-si 34129, Korea
DoHyeun Kim: Department of Computer Engineering, Jeju National University, Jeju 63243, Korea

Sustainability, 2019, vol. 11, issue 1, 1-28

Abstract: Real-Time Internet of Things (RT-IoT) is a newer technology paradigm envisioned as a global inter-networking of devices and physical things enabling real-time communication over the Internet. The research in Edge Computing and 5G technology is making way for the realisation of future IoT applications. In RT-IoT tasks will be performed in real-time for the remotely controlling and automating of various jobs and therefore, missing their deadline may lead to hazardous situations in many cases. For instance, in the case of safety-critical and mission-critical IoT systems, a missed task could lead to a human loss. Consequently, these systems must be simulated, as a result, and tasks should only be deployed in a real scenario if the deadline is guaranteed to be met. Numerous simulation tools are proposed for traditional real-time systems using desktop technologies, but these relatively older tools do not adapt to the new constraints imposed by the IoT paradigm. In this paper, we design and implement a cloud-based novel architecture for the formal verification of IoT jobs and provide a simulation environment for a typical RT-IoT application where the feasibility of real-time remote tasks is perceived. The proposed tool, to the best of our knowledge, is the first of its kind effort to support not only the feasibility analysis of real-time tasks but also to provide a real environment in which it formally monitors and evaluates different IoT tasks from anywhere. Furthermore, it will also act as a centralised server for evaluating and tracking the real-time scheduled jobs in a smart space. The novelty of the platform is purported by a comparative analysis with the state-of-art solutions against attributes which is vital for any open-source tools in general and IoT in specifics.

Keywords: Internet of Things; wireless sensor networks; real-time systems; scheduling; embedded systems (search for similar items in EconPapers)
JEL-codes: O13 Q Q0 Q2 Q3 Q5 Q56 (search for similar items in EconPapers)
Date: 2019
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
https://www.mdpi.com/2071-1050/11/1/204/pdf (application/pdf)
https://www.mdpi.com/2071-1050/11/1/204/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jsusta:v:11:y:2019:i:1:p:204-:d:194649

Access Statistics for this article

Sustainability is currently edited by Ms. Alexandra Wu

More articles in Sustainability from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().