Skip to main content
SpringerLink
Log in

A Prototype Modeling of Smart Irrigation System Using Event-B

  • Original Research
  • Published:
SN Computer Science Aims and scope Submit manuscript

Abstract

Traditional irrigation operates on a preset programmed schedule and timers. Smart irrigation monitors weather, soil conditions, evaporation, and plant water use to automatically adjust the watering schedule to actual conditions of the site. Deployment of IoT based sensors, GPS systems, and usage of solar energy greatly contributes to the cause. In order to monitor large irrigation area with different harvests, seasons, and parameters demand a formal model for higher yields. In this paper, a prototype of a smart irrigation system is modeled using Event-B, and verification is done by the RODIN tool support.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

References

  1. DZone IoT. Smart irrigation in IoT: 12 important things to know. https://dzone.com/articles/smart-irrigation-with-iot-top-12-things-to-know.

  2. Abrial JR. Modeling in Event-B: system and software engineering. Cambridge: Cambridge University Press; 2010.

    Book  Google Scholar 

  3. Al-Ghobari HM, Mohammad FS. Intelligent irrigation performance: evaluation and quantifying its ability for conserving water in arid region. Appl Water Sci. 2011;1(3–4):73–83. https://doi.org/10.1007/s13201-011-0017-y.

    Article  Google Scholar 

  4. AlZu’bi S, Hawashin B, Mujahed M, Jararweh Y, Gupta BB. An efficient employment of internet of multimedia things in smart and future agriculture. Multimed Tools Appl. 2019;78(20):29581–605. https://doi.org/10.1007/s11042-019-7367-0.

    Article  Google Scholar 

  5. Amalraj DJJ, Banumathi S, John JJ. A study on smart irrigation systems for agriculture using Iot. Int J Sci Technol Res. 2019;8(12):4.

    Google Scholar 

  6. Aqeel-ur-Rehman Abbasi AZ, Islam N, Shaikh ZA. A review of wireless sensors and networks’ applications in agriculture. Comput Stand Interfaces. 2014;36(2):263–70. https://doi.org/10.1016/j.csi.2011.03.004.

    Article  Google Scholar 

  7. Brajovic M, Vujovic S, Dukanovic S. An overview of smart irrigation software. In: 2015 4th mediterranean conference on embedded computing (MECO). Budva: IEEE; 2015. p. 353–356. https://doi.org/10.1109/MECO.2015.7181942.

  8. Angel C, Asha S. A study on developing a smart environment in agricultural irrigation technique. Int J Ambient Syst Appl. 2015;3(2/3):11–7. https://doi.org/10.5121/ijasa.2015.3302.

    Article  Google Scholar 

  9. Dholu M, Ghodinde K. Internet of things (IoT) for precision agriculture application. In: 2018 2nd international conference on trends in electronics and informatics (ICOEI). Tirunelveli: IEEE; 2018. p. 339–42. https://doi.org/10.1109/ICOEI.2018.8553720.

  10. Huong TT, Huu Thanh N, Van NT, Tien Dat N, Long NV, Marshall A. Water and energy-efficient irrigation based on Markov decision model for precision agriculture. In: 2018 IEEE seventh international conference on communications and electronics (ICCE). Hue: IEEE; 2018. p. 51–6. https://doi.org/10.1109/CCE.2018.8465723.

  11. Jastram M. Rodin User’s Handbook. DEPLOY Project. 2010. https://www3.hhu.de/stups/handbook/rodin/current/html/.

  12. Jones JW, Antle JM, Basso B, Boote KJ, Conant RT, Foster I, Godfray HCJ, Herrero M, Howitt RE, Janssen S, Keating BA, Munoz-Carpena R, Porter CH, Rosenzweig C, Wheeler TR. Brief history of agricultural systems modeling. Agric Syst. 2017;155:240–54. https://doi.org/10.1016/j.agsy.2016.05.014.

    Article  Google Scholar 

  13. Karim F, Karim F, Frihida A. Monitoring system using web of things in precision agriculture. Proc Comput Sci. 2017;110:402–9. https://doi.org/10.1016/j.procs.2017.06.083.

    Article  Google Scholar 

  14. Karmakar R, Biman Sarkar B, Chaki N. System modeling using Event-B: an insight. SSRN Electron J. 2019. https://doi.org/10.2139/ssrn.3511455.

    Article  Google Scholar 

  15. Karmakar R, Sarkar BB, Chaki N. Event-B based formal modeling of a controller: a case study. In: COMSYS. 2020. https://doi.org/10.1007/978-981-15-7834-2-60.

  16. Keswani B, Mohapatra AG, Mohanty A, Khanna A, Rodrigues JJPC, Gupta D, de Albuquerque VHC. Adapting weather conditions based IoT enabled smart irrigation technique in precision agriculture mechanisms. Neural Comput Appl. 2019;31(S1):277–92. https://doi.org/10.1007/s00521-018-3737-1.

    Article  Google Scholar 

  17. Nath V, Mandal JK, editors. Nanoelectronics, circuits and communication systems: proceeding of NCCS 2018, Lecture notes in electrical engineering, vol 642. Singapore: Springer Singapore; 2020. https://doi.org/10.1007/978-981-15-2854-5.

  18. Navarro-Hellín H, Martínez-del Rincon J, Domingo-Miguel R, Soto-Valles F, Torres-Sánchez R. A decision support system for managing irrigation in agriculture. Comput Electron Agric. 2016;124:121–31. https://doi.org/10.1016/j.compag.2016.04.003.

    Article  Google Scholar 

  19. Ramachandran V, Ramalakshmi R, Srinivasan S. An automated irrigation system for smart agriculture using the internet of things. In: 2018 15th international conference on control, automation, robotics and vision (ICARCV). Singapore: IEEE; 2018. p. 210–15. https://doi.org/10.1109/ICARCV.2018.8581221.

  20. Xu L, Chen L, Chen T, Gao Y. SOA-based precision irrigation decision support system. Math Comput Model. 2011;54(3–4):944–9. https://doi.org/10.1016/j.mcm.2010.11.020.

    Article  Google Scholar 

Download references

Acknowledgement

We sincerely thank the Department of Computer Science and Engineering, University of Calcutta, India, for the assistance to pursue our research work.

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Burdwan, Burdwan, 713104, India

    Rahul Karmakar

  2. Department of Computer Application, Techno International College, Rajarhat, India

    Bidyut Biman Sarkar

Authors
  1. Rahul Karmakar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bidyut Biman Sarkar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rahul Karmakar.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This article is part of the topical collection “Applications of Software Engineering and Tool Support” guest edited by Nabendu Chaki, Agostino Cortesi and Anirban Sarkar.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Karmakar, R., Sarkar, B.B. A Prototype Modeling of Smart Irrigation System Using Event-B. SN COMPUT. SCI. 2, 36 (2021). https://doi.org/10.1007/s42979-020-00412-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s42979-020-00412-8

Keywords

Search

Navigation