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

https://hal.inria.fr/inria-00000799
Contributor : Mohamed Khalgui <>
Submitted on : Sunday, November 20, 2005 - 10:43:22 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00000799, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

172