We present in this paper an intergrated CASE model for the control part design, the architecture design and the validation of the operational architecture obtained by merging control part and architecture part The control design is based on a set of functional, behavioural and data processing models. The architecture design allows to model the different equipments used. It is based on an object oriented model using the Interpreted Petri nets for the behavioural specification. The validation is supported with a qualitative and quantitative analysis of the operational architecture. A software tool is yet developped and presented at the end of the paper.
