A framework for validation of reconfigurable manufacturing systems
Information Control Problems in Manufacturing, Volume # 12 | Part# 1
Andrei Lobov; Corina Popescu; Jose L. Martinez Lastra
Digital Object Identifier (DOI)
validation,reconfigurable manufacturing system (RMS)
Reconfigurable Manufacturing Systems prompt for improvement of validation methods. Validation methods should provide ease of adaptation to the changes in system functionality caused by reconfiguration. We describe a framework of tools that may assist in the validation of RMS. We utilize closed loop formal modelling aiming to save the time spent on developing test cases and running exhaustive tests to prove system correctness.
 Mehrabi, M.G., A.G. Ulsoy and Y. Koren (2000). Reconfigurable Manufacturing Systems: Key Future Manufacturing. Journal of Intelligent Manufacturing, 11, 403-419.  Martinez Lastra, J.L. (2004). Reference Mechatronic Architecture for Actor-based Assembly Systems, TTY-PAINO, Tampere.  Frey, G. and L. Litz (2000). Formal methods in PLC programming. In Proceedings of IEEE Conference on System Man Cybernetics, pp. 2431-2436. Nashville.  Lobov, A., J. L. Martinez Lastra, R. Tuokko and V. Vyatkin (2003). Modelling Visual Flowchart Control Programs using Net Condition/Event Systems Formalism in Distribited Environments. In Proceeding of IEEE International Conference on Emerging Technologies and Factory Automation, pp. 329-336. Lisbon, Portugal.  Lobov, A., J.L. Martinez Lastra and R. Tuokko (2005). Application of UML in Plant modeling for model-based verification: UML translation to TNCES. In Proceeding of IEEE conference on Industrial Informatics, pp. 495-501. Catania, Italy.  Rausch, M. and H.-M Hanisch (1995). Net condition/event systems with multiple condition outputs. In Proceedings of the Symposium on Emerging Technologies and Factory Automation, pp. 3069-3094. Paris, France.  Hanisch, H.-M., J. Thieme, A. Luder and A. Wienhold (1997). Modeling of PLC Behavior by Means of Timed Net Condition/Event Systems. In Proceedings of 6th International Conference on Emerging Technologies and Factory Automation, pp. 391-396. Los Angeles, USA.  OMG (2005), Unified Modeling Language, http://www.uml.org  Vyatkin V., H.-M. Hanisch, and T. Pfeiffer (2003). Object-oriented modular typed formalism for systematic modeling of automation systems. In Proceedings of 1st IEEE Conference on Industrial Informatics, pp. 224-232. Banff, Canada.  Starke, P., and S. Roch (2002). Analysing signal-event systems, Technical report, Humboldt Universitat zu Berlin, Institut für Informatik, Berlin.