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. 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.
    2. Kamel, Ehsan & Memari, Ali M., 2018. "Automated Building Energy Modeling and Assessment Tool (ABEMAT)," Energy, Elsevier, vol. 147(C), pages 15-24.
    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. 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.
    2. 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.
    3. 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.

    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. 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.
    2. 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.
    3. 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.
    4. 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.
    5. 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.
    6. 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).
    7. Miltiadis D. Lytras & Anna Visvizi & Akila Sarirete, 2019. "Clustering Smart City Services: Perceptions, Expectations, Responses," Sustainability, MDPI, vol. 11(6), pages 1-19, March.
    8. 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.
    9. 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.
    10. 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.
    11. 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.
    12. Ngoc-Son Truong & Duc Long Luong & Quang Trung Nguyen, 2023. "BIM to BEM Transition for Optimizing Envelope Design Selection to Enhance Building Energy Efficiency and Cost-Effectiveness," Energies, MDPI, vol. 16(10), pages 1-24, May.
    13. Jose Esteves & Daniel Alonso-Martínez & Guillermo de Haro, 2021. "Profiling Spanish Prospective Buyers of Electric Vehicles Based on Demographics," Sustainability, MDPI, vol. 13(16), pages 1-22, August.
    14. Bingqian Zhang & Guochao Peng & Caihua Liu & Zuopeng Justin Zhang & Sajjad M. Jasimuddin, 2022. "Adaptation behaviour in using one-stop smart governance apps: an exploratory study between digital immigrants and digital natives," Electronic Markets, Springer;IIM University of St. Gallen, vol. 32(4), pages 1971-1991, December.
    15. Kočí, Jan & Kočí, Václav & Maděra, Jiří & Černý, Robert, 2019. "Effect of applied weather data sets in simulation of building energy demands: Comparison of design years with recent weather data," Renewable and Sustainable Energy Reviews, Elsevier, vol. 100(C), pages 22-32.
    16. Patricia Ordóñez de Pablos & Miltiadis Lytras, 2018. "Knowledge Management, Innovation and Big Data: Implications for Sustainability, Policy Making and Competitiveness," Sustainability, MDPI, vol. 10(6), pages 1-7, June.
    17. Jooseok Oh, 2020. "Smart City as a Tool of Citizen-Oriented Urban Regeneration: Framework of Preliminary Evaluation and Its Application," Sustainability, MDPI, vol. 12(17), pages 1-20, August.
    18. Jairo León-Quismondo & José Bonal & Pablo Burillo & Álvaro Fernández-Luna, 2020. "Walkability and Fitness Center Prices, Opening Hours, and Extra Services: The Case of Madrid, Spain," IJERPH, MDPI, vol. 17(15), pages 1-10, August.
    19. Mikhail Demianenko & Carlo Iapige De Gaetani, 2021. "A Procedure for Automating Energy Analyses in the BIM Context Exploiting Artificial Neural Networks and Transfer Learning Technique," Energies, MDPI, vol. 14(10), pages 1-18, May.
    20. Gao, Hao & Koch, Christian & Wu, Yupeng, 2019. "Building information modelling based building energy modelling: A review," Applied Energy, Elsevier, vol. 238(C), pages 320-343.

    More about this item

    Keywords

    ;
    ;
    ;
    ;
    ;

    Statistics

    Access and download statistics

    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.