Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00102208
Contributor : Jacques Jaray <>
Submitted on : Friday, September 29, 2006 - 2:38:12 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 1:17:40 AM

Identifiers

  • HAL Id : inria-00102208, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

241

Files downloads

278