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.
Highlights
In this era of innovation, we are experiencing a shift from physical space to a cyberspace [1], where every physical thing could be interconnected to form a mashup of things
The main research problem addressed in this paper is to investigate the existing tools for the simulation of real-time systems and formally prove the deadline of these systems in Internet of Things (IoT) applications
Investigation on formal verification of schedulability of tasks and communication mediums on which these tasks are sent would pave the way for the realisation of Real-Time Internet of Things (RT-IoT) and is the focus of attention in many recent studies [36,50,52]
Summary
In this era of innovation, we are experiencing a shift from physical space to a cyberspace [1], where every physical thing could be interconnected to form a mashup of things. The objective of the study presented in this paper is to design and implement an application that can support feasibility analysis and verification of existing and newly proposed scheduling algorithms for task scheduling for any category of real-time IoT systems As it is mentioned earlier, in the realisation of RT-IoT, the communication medium is a massive barrier in a sense that even if the scheduling policies are well-designed, and the feasibility analysis. The significance of this work is that it is a novel attempt to design and implement a cloud-centric tool which serves as a platform in which the feasibility analysis of different sizes of task sets are conducted, and the schedulability testing is performed in a simulated environment with the help of modern front-end visualisation libraries It will help in understanding the behaviour of a given RT-IoT application by supposing a maximum delay of the communication medium.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
