HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Formal development approach of control systems using the event-based B approach

Olfa Mosbahi 1 Leila Jemni Ben Ayed 1 Samir Ben Ahmed 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we present a way to specify reactive systems with the event based B method and a solution for the description of time using the interleaving concept from Esterel. We focus on the refinement process used for the development of a control system such as when it's composed with the physical device; it forms a controlled system satisfying requirements. In this approach, we start with a model of the physical device and a model of a minimal controller. The model of the controller will be refined until desired properties are satisfied. The proposed solution is detailed through the example of a computer controlled gas burner.
Document type :
Conference papers
Complete list of metadata

Contributor : Mohamed Khalgui Connect in order to contact the contributor
Submitted on : Sunday, November 20, 2005 - 10:43:22 AM
Last modification on : Friday, February 4, 2022 - 3:31:56 AM


  • HAL Id : inria-00000799, version 1



Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed. A Formal development approach of control systems using the event-based B approach. Third International Conference on Informatics and Systems - INFOS'2005, Mar 2005, Caire, Egypte. ⟨inria-00000799⟩



Record views