System Modeling Using Event-B: An Insight

Karmakar, Rahul; Sarkar, Bidyut Biman; Chaki, Nabendu

doi:10.2139/ssrn.3511455

Cited by 8 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Event-B modeling is done incrementally. The system design starts with the abstract representations of the system and stepwise refinements are done by incorporating the detailed requirements [14]. The proposed system design starts with the initial model with the minimum requirements.…”

Section: The Event-b Modeling Of the Systemmentioning

confidence: 99%

See 1 more Smart Citation

A Prototype Modeling of Smart Irrigation System Using Event-B

Karmakar

Sarkar²

2021

SN COMPUT. SCI.

Self Cite

View full text Add to dashboard Cite

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. Keywords Event-B modeling • Smart irrigation • Smart agriculture • IoT • RODINThis article is part of the topical collection "Applications of Software Engineering and Tool Support" guest edited by Nabendu Chaki, Agostino Cortesi and Anirban Sarkar.

show abstract

Section: The Event-b Modeling Of the Systemmentioning

confidence: 99%

“…Event-B is an incremental modeling approach, which supports incremental design and verification. Event-B has a tool support RODIN with different plugins [11,14]. Event-B allows modeling the static and the dynamic parts separately.…”

Section: Introductionmentioning

confidence: 99%