IDEAS home Printed from https://ideas.repec.org/a/gam/jsusta/v11y2019i1p204-d194649.html
   My bibliography  Save this article

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

Author

Listed:
  • 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)

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.

Suggested Citation

  • Shabir Ahmad & Sehrish Malik & Israr Ullah & Dong-Hwan Park & Kwangsoo Kim & DoHyeun Kim, 2019. "Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications," Sustainability, MDPI, vol. 11(1), pages 1-28, January.
    • Handle: RePEc:gam:jsusta:v:11:y:2019:i:1:p:204-:d:194649
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2071-1050/11/1/204/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2071-1050/11/1/204/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Kamel, Ehsan & Memari, Ali M., 2018. "Automated Building Energy Modeling and Assessment Tool (ABEMAT)," Energy, Elsevier, vol. 147(C), pages 15-24.
    2. Miltiadis D. Lytras & Anna Visvizi, 2018. "Who Uses Smart City Services and What to Make of It: Toward Interdisciplinary Smart Cities Research," Sustainability, MDPI, vol. 10(6), pages 1-16, June.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Faisal Mehmood & Shabir Ahmad & DoHyeun Kim, 2019. "Design and Implementation of an Interworking IoT Platform and Marketplace in Cloud of Things," Sustainability, MDPI, vol. 11(21), pages 1-22, October.
    2. Sehrish Malik & Shabir Ahmad & Israr Ullah & Dong Hwan Park & DoHyeun Kim, 2019. "An Adaptive Emergency First Intelligent Scheduling Algorithm for Efficient Task Management and Scheduling in Hybrid of Hard Real-Time and Soft Real-Time Embedded IoT Systems," Sustainability, MDPI, vol. 11(8), pages 1-21, April.
    3. Grigorios Kyriakopoulos & Stamatios Ntanos & Theodoros Anagnostopoulos & Nikolaos Tsotsolas & Ioannis Salmon & Klimis Ntalianis, 2020. "Internet of Things (IoT)-Enabled Elderly Fall Verification, Exploiting Temporal Inference Models in Smart Homes," IJERPH, MDPI, vol. 17(2), pages 1-14, January.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Maria Vincenza Ciasullo & Orlando Troisi & Mara Grimaldi & Daniele Leone, 2020. "Multi-level governance for sustainable innovation in smart communities: an ecosystems approach," International Entrepreneurship and Management Journal, Springer, vol. 16(4), pages 1167-1195, December.
    2. Ida Skubis & Radosław Wolniak & Wiesław Wes Grebski, 2024. "AI and Human-Centric Approach in Smart Cities Management: Case Studies from Silesian and Lesser Poland Voivodships," Sustainability, MDPI, vol. 16(18), pages 1-26, September.
    3. Jaroslav Burian & Karel Macků & Jarmila Zimmermannová & Barbora Kočvarová, 2018. "Spatio-Temporal Changes and Dependencies of Land Prices: A Case Study of the City of Olomouc," Sustainability, MDPI, vol. 10(12), pages 1-19, December.
    4. Yanfang Zhang & Mushang Lee, 2019. "A Hybrid Model for Addressing the Relationship between Financial Performance and Sustainable Development," Sustainability, MDPI, vol. 11(10), pages 1-15, May.
    5. Benoît Desmarchelier & Faridah Djellal & Faïz Gallouj, 2018. "Public Service Innovation Networks (PSINs): Collaborating for Innovation and Value Creation," Working Papers halshs-01934275, HAL.
    6. Johannes Stübinger & Lucas Schneider, 2020. "Understanding Smart City—A Data-Driven Literature Review," Sustainability, MDPI, vol. 12(20), pages 1-23, October.
    7. André Luis Azevedo Guedes & Jeferson Carvalho Alvarenga & Maurício Dos Santos Sgarbi Goulart & Martius Vicente Rodriguez y Rodriguez & Carlos Alberto Pereira Soares, 2018. "Smart Cities: The Main Drivers for Increasing the Intelligence of Cities," Sustainability, MDPI, vol. 10(9), pages 1-19, August.
    8. María Eugenia López-Pérez & María Eugenia Reyes-García & María Eugenia López-Sanz, 2023. "Smart Mobility and Smart Climate: An Illustrative Case in Seville, Spain," IJERPH, MDPI, vol. 20(2), pages 1-11, January.
    9. Benoît Desmarchelier & Faridah Djellal & Faïz Gallouj, 2019. "Towards a servitization of innovation networks: from traditional innovation networks to public service innovation networks for social innovation," Post-Print halshs-03177975, HAL.
    10. Suzana Domjan & Sašo Medved & Boštjan Černe & Ciril Arkar, 2019. "Fast Modelling of nZEB Metrics of Office Buildings Built with Advanced Glass and BIPV Facade Structures," Energies, MDPI, vol. 12(16), pages 1-18, August.
    11. Seonghyeon Gong & Erzhena Tcydenova & Jeonghoon Jo & Younghun Lee & Jong Hyuk Park, 2019. "Blockchain-Based Secure Device Management Framework for an Internet of Things Network in a Smart City," Sustainability, MDPI, vol. 11(14), pages 1-17, July.
    12. Patrícia Janošková & Filip Bajza & Katarína Repková-Štofková & Zuzana Štofková & Erika Loučanová, 2024. "Business Models of Public Smart Services for Sustainable Development," Sustainability, MDPI, vol. 16(17), pages 1-36, August.
    13. Boeing, Geoff, 2021. "Spatial information and the legibility of urban form: Big data in urban morphology," International Journal of Information Management, Elsevier, vol. 56(C).
    14. El Barachi, May & Salim, Taghreed Abu & Nyadzayo, Munyaradzi W. & Mathew, Sujith & Badewi, Amgad & Amankwah-Amoah, Joseph, 2022. "The relationship between citizen readiness and the intention to continuously use smart city services: Mediating effects of satisfaction and discomfort," Technology in Society, Elsevier, vol. 71(C).
    15. Miltiadis D. Lytras & Anna Visvizi & Akila Sarirete, 2019. "Clustering Smart City Services: Perceptions, Expectations, Responses," Sustainability, MDPI, vol. 11(6), pages 1-19, March.
    16. Sunmin Lee & Yunjung Hyun & Moung-Jin Lee, 2019. "Groundwater Potential Mapping Using Data Mining Models of Big Data Analysis in Goyang-si, South Korea," Sustainability, MDPI, vol. 11(6), pages 1-21, March.
    17. Stamatios Ntanos & Grigorios Kyriakopoulos & Michalis Skordoulis & Miltiadis Chalikias & Garyfallos Arabatzis, 2019. "An Application of the New Environmental Paradigm (NEP) Scale in a Greek Context," Energies, MDPI, vol. 12(2), pages 1-18, January.
    18. Anna D’Auria & Marco Tregua & Manuel Carlos Vallejo-Martos, 2018. "Modern Conceptions of Cities as Smart and Sustainable and Their Commonalities," Sustainability, MDPI, vol. 10(8), pages 1-18, July.
    19. Chunpei Lin & Guanxi Zhao & Chuanpeng Yu & Yenchun Jim Wu, 2019. "Smart City Development and Residents’ Well-Being," Sustainability, MDPI, vol. 11(3), pages 1-17, January.
    20. K M Atikur Rahman & Dunfu Zhang, 2018. "Analyzing the Level of Accessibility of Public Urban Green Spaces to Different Socially Vulnerable Groups of People," Sustainability, MDPI, vol. 10(11), pages 1-27, October.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jsusta:v:11:y:2019:i:1:p:204-:d:194649. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.