A Formal development approach of control systems using the event-based B approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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

Résumé

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.
Fichier non déposé

Dates et versions

inria-00000799 , version 1 (20-11-2005)

Identifiants

  • HAL Id : inria-00000799 , version 1

Citer

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⟩
71 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More