» Download Article

Authors
Andrei Lobov; Corina Popescu; Jose L. Martinez Lastra

Digital Object Identifier (DOI)
10.3182/20060517-3-FR-2903.00275

Page Numbers:
529-534

Index Terms
validation,reconfigurable manufacturing system (RMS)

Abstract
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.

References

[1] Mehrabi, M.G., A.G. Ulsoy and Y. Koren (2000).
    Reconfigurable Manufacturing Systems: Key
    Future Manufacturing. Journal of Intelligent
    Manufacturing, 11, 403-419.
[2] Martinez Lastra, J.L. (2004). Reference Mechatronic
    Architecture for Actor-based Assembly Systems,
    TTY-PAINO, Tampere.
[3] Frey, G. and L. Litz (2000). Formal methods in PLC
    programming. In Proceedings of IEEE
    Conference on System Man Cybernetics, pp.
    2431-2436. Nashville.
[4] 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.
[5] 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.
[6] 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.
[7] 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.
[8] OMG (2005), Unified Modeling Language,
    http://www.uml.org
[9] 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.
[10] Starke, P., and S. Roch (2002). Analysing signal-event
      systems, Technical report, Humboldt
     Universitat zu Berlin, Institut für Informatik,
     Berlin.