Title :
An iterative method for the design process of mode handling models
Author :
Hamani, N. ; Dangoumau, N. ; Craye, E.
Author_Institution :
Lab. d´´Automatique, Genie Informatique et Signal, CNRS UMR, Villeneuve d´´ Ascq
Abstract :
This paper deals with a multi level modular approach for the design process of a model dedicated to mode handling of flexible manufacturing systems. This model was proposed in our earlier work. It is characterized by a strong hierarchy and concurrency that is why within the design process an iterative approach for specification, verification and validation is introduced in order to improve this process. The main properties being verified are presented and the approach is illustrated through an example of a manufacturing production cell. The formal analysis tools integrated into the development environment Esterel Studio are used within the proposed design process
Keywords :
finite state machines; flexible manufacturing systems; formal specification; formal verification; iterative methods; Esterel Studio; flexible manufacturing systems; formal analysis tools; formal specification; formal validation; formal verification; iterative method; mode handling models; multilevel modular approach; safe state machine; Design methodology; Electronic mail; Flexible manufacturing systems; Formal verification; Iterative methods; Power system modeling; Process design; Signal design; Signal processing; Systems engineering and theory; Flexible Manufacturing Systems; Safe State Machine; mode handling; supervision; validation; verification;
Conference_Titel :
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location :
Beijing
Print_ISBN :
7-302-13922-9
Electronic_ISBN :
7-900718-14-1
DOI :
10.1109/CESA.2006.4281863