An iterative method for the design process of mode handling models

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