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

Formal Modeling of IoT-Based Distribution Management System for Smart Grids

Author

Listed:
  • Shaheen Kousar

    (Department of Computer Science, COMSATS University Islamabad-Sahiwal Campus, Sahiwal 57000, Pakistan)

  • Nazir Ahmad Zafar

    (Department of Computer Science, COMSATS University Islamabad-Sahiwal Campus, Sahiwal 57000, Pakistan)

  • Tariq Ali

    (Department of Computer Science, COMSATS University Islamabad-Sahiwal Campus, Sahiwal 57000, Pakistan)

  • Eman H. Alkhammash

    (Department of Computer Science, College of Computers and Information Technology, Taif University, P.O. Box 11099, Taif 21944, Saudi Arabia)

  • Myriam Hadjouni

    (Department of Computer Sciences, College of Computer and Information Science, Princess Nourah Bint Abdulrahman University, P.O. Box 84428, Riyadh 11671, Saudi Arabia)

Abstract

The smart grid is characterized as a power system that integrates real-time measurements, bi-directional communication, a two-way flow of electricity, and evolutionary computation. The power distribution system is a fundamental aspect of the electric power system in order to deliver safe, efficient, reliable, and resilient power to consumers. A distribution management system (DMS) begins with the extension of the Supervisory Control and Data Acquisition (SCADA) system through a transmission network beyond the distribution network. These transmission networks oversee the distribution of energy generated at power plants to consumers via a complex system of transformers, substations, transmission lines, and distribution lines. The major challenges that existing distribution management systems are facing, maintaining constant power loads, user profiles, centralized communication, and the malfunctioning of system equipment and monitoring huge amounts of data of millions of micro-transactions, need to be addressed. Substation feeder protection abruptly shuts down power on the whole feeder in the event of a distribution network malfunction, causing service disruption to numerous end-user clients, including industrial, hospital, commercial, and residential users. Although there are already many traditional systems with the integration of smart things at present, there are few studies of those systems reporting runtime errors during their implementation and real-time use. This paper presents the systematic model of a distribution management system comprised of substations, distribution lines, and smart meters with the integration of Internet-of-Things (IoT), Nondeterministic Finite Automata (NFA), Unified Modeling Language (UML), and formal modeling approaches. Non-deterministic finite automata are used for automating the system procedures. UML is used to represent the actors involved in the distribution management system. Formal methods from the perspective of the Vienna Development Method-Specification Language (VDM-SL) are used for modeling the system. The model will be analyzed using the facilities available in the VDM-SL toolbox.

Suggested Citation

  • Shaheen Kousar & Nazir Ahmad Zafar & Tariq Ali & Eman H. Alkhammash & Myriam Hadjouni, 2022. "Formal Modeling of IoT-Based Distribution Management System for Smart Grids," Sustainability, MDPI, vol. 14(8), pages 1-25, April.
  • Handle: RePEc:gam:jsusta:v:14:y:2022:i:8:p:4499-:d:790565
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2071-1050/14/8/4499/pdf
    Download Restriction: no

    File URL: https://www.mdpi.com/2071-1050/14/8/4499/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Noor Hussain & Mashood Nasir & Juan Carlos Vasquez & Josep M. Guerrero, 2020. "Recent Developments and Challenges on AC Microgrids Fault Detection and Protection Systems–A Review," Energies, MDPI, vol. 13(9), pages 1-31, May.
    2. Shaukat, N. & Ali, S.M. & Mehmood, C.A. & Khan, B. & Jawad, M. & Farid, U. & Ullah, Z. & Anwar, S.M. & Majid, M., 2018. "A survey on consumers empowerment, communication technologies, and renewable generation penetration within Smart Grid," Renewable and Sustainable Energy Reviews, Elsevier, vol. 81(P1), pages 1453-1475.
    3. Duy Phuc Le & Duong Minh Bui & Cao Cuong Ngo & Anh My Thi Le, 2018. "FLISR Approach for Smart Distribution Networks Using E-Terra Software—A Case Study," Energies, MDPI, vol. 11(12), pages 1-33, November.
    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. Ishan Srivastava & Sunil Bhat & B. V. Surya Vardhan & Neeraj Dhanraj Bokde, 2022. "Fault Detection, Isolation and Service Restoration in Modern Power Distribution Systems: A Review," Energies, MDPI, vol. 15(19), pages 1-26, October.

    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. Ahmad, Tanveer & Madonski, Rafal & Zhang, Dongdong & Huang, Chao & Mujeeb, Asad, 2022. "Data-driven probabilistic machine learning in sustainable smart energy/smart energy systems: Key developments, challenges, and future research opportunities in the context of smart grid paradigm," Renewable and Sustainable Energy Reviews, Elsevier, vol. 160(C).
    2. Ming Li & Jin Ye, 2022. "Design and Implementation of Demand Side Response Based on Binomial Distribution," Energies, MDPI, vol. 15(22), pages 1-15, November.
    3. Ba-Alawi, Abdulrahman H. & Nguyen, Hai-Tra & Yoo, ChangKyoo, 2024. "Coordinated operation for a resilient and green energy-water supply system: A co-optimization approach with flexible strategies," Energy, Elsevier, vol. 304(C).
    4. José Adriano da Costa & David Alves Castelo Branco & Max Chianca Pimentel Filho & Manoel Firmino de Medeiros Júnior & Neilton Fidelis da Silva, 2019. "Optimal Sizing of Photovoltaic Generation in Radial Distribution Systems Using Lagrange Multipliers," Energies, MDPI, vol. 12(9), pages 1-19, May.
    5. Dong, Lianxin & Fan, Shuai & Wang, Zhihua & Xiao, Jucheng & Zhou, Huan & Li, Zuyi & He, Guangyu, 2021. "An adaptive decentralized economic dispatch method for virtual power plant," Applied Energy, Elsevier, vol. 300(C).
    6. Francesca Ceglia & Elisa Marrasso & Samiran Samanta & Maurizio Sasso, 2022. "Addressing Energy Poverty in the Energy Community: Assessment of Energy, Environmental, Economic, and Social Benefits for an Italian Residential Case Study," Sustainability, MDPI, vol. 14(22), pages 1-22, November.
    7. Omowunmi Mary Longe & Khmaies Ouahada, 2018. "Mitigating Household Energy Poverty through Energy Expenditure Affordability Algorithm in a Smart Grid," Energies, MDPI, vol. 11(4), pages 1-17, April.
    8. Alanne, Kari & Cao, Sunliang, 2019. "An overview of the concept and technology of ubiquitous energy," Applied Energy, Elsevier, vol. 238(C), pages 284-302.
    9. Guilherme V. Hollweg & Shahid A. Khan & Shivam Chaturvedi & Yaoyu Fan & Mengqi Wang & Wencong Su, 2023. "Grid-Connected Converters: A Brief Survey of Topologies, Output Filters, Current Control, and Weak Grids Operation," Energies, MDPI, vol. 16(9), pages 1-31, April.
    10. Mostafa Bakkar & Santiago Bogarra & Felipe Córcoles & Ahmed Aboelhassan & Shuo Wang & Javier Iglesias, 2022. "Artificial Intelligence-Based Protection for Smart Grids," Energies, MDPI, vol. 15(13), pages 1-18, July.
    11. Mirosław Kornatka & Tomasz Popławski, 2021. "Advanced Metering Infrastructure—Towards a Reliable Network," Energies, MDPI, vol. 14(18), pages 1-12, September.
    12. Salima Abeid & Yanting Hu & Feras Alasali & Naser El-Naily, 2022. "Innovative Optimal Nonstandard Tripping Protection Scheme for Radial and Meshed Microgrid Systems," Energies, MDPI, vol. 15(14), pages 1-29, July.
    13. Helder Pereira & Bruno Ribeiro & Luis Gomes & Zita Vale, 2022. "Smart Grid Ecosystem Modeling Using a Novel Framework for Heterogenous Agent Communities," Sustainability, MDPI, vol. 14(23), pages 1-20, November.
    14. Alvaro Llaria & Jessye Dos Santos & Guillaume Terrasson & Zina Boussaada & Christophe Merlo & Octavian Curea, 2021. "Intelligent Buildings in Smart Grids: A Survey on Security and Privacy Issues Related to Energy Management," Energies, MDPI, vol. 14(9), pages 1-37, May.
    15. Hwang, Hyunkyeong & Yoon, Ahyun & Yoon, Yongtae & Moon, Seungil, 2023. "Demand response of HVAC systems for hosting capacity improvement in distribution networks: A comprehensive review and case study," Renewable and Sustainable Energy Reviews, Elsevier, vol. 187(C).
    16. Zhang, Chen & Li, Zhixin & Jiang, Haihua & Luo, Yongqiang & Xu, Shen, 2021. "Deep learning method for evaluating photovoltaic potential of urban land-use: A case study of Wuhan, China," Applied Energy, Elsevier, vol. 283(C).
    17. Benjamin Schäfer & Thiemo Pesch & Debsankha Manik & Julian Gollenstede & Guosong Lin & Hans-Peter Beck & Dirk Witthaut & Marc Timme, 2022. "Understanding Braess’ Paradox in power grids," Nature Communications, Nature, vol. 13(1), pages 1-9, December.
    18. Amrutha Raju Battula & Sandeep Vuddanti & Surender Reddy Salkuti, 2021. "Review of Energy Management System Approaches in Microgrids," Energies, MDPI, vol. 14(17), pages 1-32, September.
    19. Lucas Deotti & Wanessa Guedes & Bruno Dias & Tiago Soares, 2020. "Technical and Economic Analysis of Battery Storage for Residential Solar Photovoltaic Systems in the Brazilian Regulatory Context," Energies, MDPI, vol. 13(24), pages 1-30, December.
    20. Liao, Wei & Xiao, Fu & Li, Yanxue & Peng, Jinqing, 2024. "Comparative study on electricity transactions between multi-microgrid: A hybrid game theory-based peer-to-peer trading in heterogeneous building communities considering electric vehicles," Applied Energy, Elsevier, vol. 367(C).

    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:14:y:2022:i:8:p:4499-:d:790565. 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.