Header menu link for other important links
Event-B Based Formal Modeling of a Controller: A Case Study
R. Karmakar, B.B. Sarkar,
Published in Springer Science and Business Media Deutschland GmbH
Volume: 1255
Pages: 649 - 658
Event-B is an event-driven approach for system development. It has the flexibility to develop different discrete control systems. Event-B is a refinement-based step-by-step modeling methodology. There is a well-tested open-source tool available for Event-B model checking, formalization of mathematical proofs and system validation is done in RODIN. This paper presents a short survey on the usage of an Event-B-based model to locate the research gaps followed by a case study to build a model using the 2-stage refinement strategy to stop the precious groundwater wastage and conserve it. We try to model the behavior required for the environment of the system. The proposed controller then controls the environment. The controller acts accordingly and achieves the goal of groundwater conservation. © 2021, Springer Nature Singapore Pte Ltd.
About the journal
JournalData powered by TypesetAdvances in Intelligent Systems and Computing
PublisherData powered by TypesetSpringer Science and Business Media Deutschland GmbH