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.
Type de document :
Communication dans un congrès
4th ACS/IEEE International Conference on Computer Systems and Applications, Mar 2006, DUBAI, 2006
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00102208
Contributeur : Jacques Jaray <>
Soumis le : vendredi 29 septembre 2006 - 14:38:12
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mardi 6 avril 2010 - 01:17:40

Identifiants

  • 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, 2006. 〈inria-00102208〉

Partager

Métriques

Consultations de la notice

198

Téléchargements de fichiers

127