2012) A computational control implementation environment for automated manufacturing systemsThis paper presents a computational environment as a tool for supporting the implementation of control coding of an automated manufacturing system. The proposed environment considers a cyclic three-stage control development -modelling, synthesis and implementation -until the real system accomplishes the required specification, resulting in the automated and integrated manufacturing system. The research details the three stages and describes the steps executed for each one. The mathematical formalism used in this work is also presented, as a basis for control implementation. The implementation environment is proposed in order to validate the control structure of this formalism and to allow a progressive integration of control hardware and software. To submit to a test and validate the proposal environment, two experiments are performed, in two different manufacturing systems. Thus, it is demanded that the control system can be reconfigurable in a fast and reliable way.