Control logic verification for an automotive body assembly line using simulation

In this paper, an approach is proposed that verifies the controller logic processes for the automobile industry via simulation. For this purpose, a state-based object model that creates a virtual car body assembly line is proposed and a verification methodology using observed signal sequences during the simulation is proposed. This approach was applied to an assembly line controlled by a PLC and the effectiveness of the proposed system was explained in a case study.

[1]  Stephan Merz,et al.  Model Checking , 2000 .

[2]  C. M. Mitchell,et al.  Research in object-oriented manufacturing simulations:an assessment of the state of the art , 1998 .

[3]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.

[4]  Géza Haidegger,et al.  Application of software reuse and object-oriented methodologies for the modelling and control of manufacturing systems , 1999 .

[5]  H. X. Willems.  Compact Timed Automata for PLC Programs , 2007 .

[6]  Stavros Tripakis,et al.  KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98) , 1998, FTRTFT.

[7]  Philippe Schnoebelen,et al.  Towards the automatic verification of PLC programs written in Instruction List , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[8]  D.H. Kim,et al.  The software verification and validation process for a PLC-based engineered safety features-component control system in nuclear power plants , 2004, 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004.

[9]  Yoshiro Fukuda,et al.  Efficient manufacturing system implementation based on combination between real and virtual factory , 2006 .

[10]  Georg Frey,et al.  Formalization of existing PLC Programs: A Survey , 2003 .

[11]  Eckhard Freund,et al.  COSIMIR/sup /spl reg// Factory: extending the use of manufacturing simulations , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[12]  Sang C. Park.  A methodology for creating a virtual model for a flexible manufacturing system , 2005, Comput. Ind..

[13]  Han-Pang Huang,et al.  Development of a virtual factory emulator based on three-tier architecture , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[14]  Dawn M. Tilbury,et al.  A study of current logic design practices in the automotive manufacturing industry , 2003, Int. J. Hum. Comput. Stud..

[15]  Wang Yi,et al.  Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[16]  Georg Frey,et al.  PLC Programming with Signal Interpreted Petri Nets , 2003, ICATPN.

[17]  David J. Dougall.  Applications and benefits of real-time simulation for PLC and PC control systems , 1997 .

[18]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[19]  Eckhard Freund,et al.  COSIMIR transport: modeling, simulation and emulation of modular carrier based transport systems , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[20]  Massimo Pacella,et al.  Object-oriented modeling and simulation of flexible manufacturing systems: a rule-based procedure , 2002, Simul. Model. Pract. Theory.

[21]  Philip Moore,et al.  Validation, off-line programming and optimisation of industrial control logic. , 2003 .