ABSTRACT
A delay in generating controlling code may cause a big loss of revenues and goodwill. One of the major requirements of such industries is to use rapid modeling and compiling tools to generate ready-to-use logic controller codes. A logic controller is considered to be efficient if it precisely describes the functional and non-functional specification. Even though it is easy to design logic program, it becomes complicate to check and modify the model completely as soon as the length of the program grows. Formalization of informal specification and converting it into generic language will be an efficient and effective way to reduce custom programming time and efforts as well as to improve quality of control program. This can be effectively utilized for performing property analysis and generating error free control logics. As per the market situation the customers are not satisfied with the textual verification only, they want to validate the process using virtual commissioning or simulation using 3-D models. Till date there are no tools to provide complete integrated solutions for the verification and validation of control logics. This paper has described an Ill-Phase verification and validation Techniques for the testing of required property specification. The three phases have been used as complementary phases and classified as follows: Phase I: Manual testing, Phase II: Model checking, Phase III: Virtual commissioning, After passing through these rigorous Ill-Phase V&V, finally the mature PLC code can be downloaded to the real PLC for the implementation. The paper presents an integrated approach for offline verification and validation of the control logics to provide absolute solution by implementing the Ill-Phase V&V method in a manufacturing industry. It is an approach to develop a tool to integrate the positive aspects of model checking and visualization techniques and provide an applicable solution to verify and validate the control logics of fast paced industries.
