A Formal Development Method of Control Systems using Event B Approach - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

A Formal Development Method of Control Systems using Event B Approach

Abstract

This paper presents a formal method for the development of control systems. We aim at developing a program controlling the operative part of a control system. We first build an abstract model of the operative part and complete this model to get a model of the control system. The elements introduced to change the abstract model of the operative part to the automated system forms the controller. The next steps consists in refining the abstract model to get a model of the operative part capturing every important feature. The method is developped through a case study : a parcel sorting system.
Fichier principal
Vignette du fichier
Mosbahi_AICCSA06.pdf (124.94 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00102208 , version 1 (29-09-2006)

Identifiers

  • HAL Id : inria-00102208 , version 1

Cite

Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed. A Formal Development Method of Control Systems using Event B Approach. 4th ACS/IEEE International Conference on Computer Systems and Applications, Mar 2006, DUBAI. ⟨inria-00102208⟩
83 View
123 Download

Share

Gmail Facebook X LinkedIn More