Verification and validation of a SSM model dedicated to mode handling of flexible manufacturing systems

被引：1
|
作者：
Hamani, Nadia [1 ]
Dangoumau, Nathalie [2 ]
Craye, Etienne [2 ]
机构：
[1] LURPA, F-94235 Cachan, France
[2] Ecole Cent Lille, CNRS, UMR 8146, LAGIS, F-59651 Villeneuve Dascq, France
来源：
COMPUTERS IN INDUSTRY | 2009年 / 60卷 / 02期
关键词：
Flexible manufacturing systems; Control system; Supervision; Mode handling; Functional and behavioral modeling; Safe state machines; Verification; Validation;
D O I：
10.1016/j.compind.2008.04.002
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper focuses on verification and validation of a model dedicated to mode handling of flexible manufacturing systems (FMSs). This model is specified using the synchronous formalism safe state machines (SSMs). The rigorous semantics that characterize such formalism enable to provide formal verification mechanisms ensuring determinism and dependability. A structured framework for verification and validation of the model dedicated to mode handling is proposed. The main properties being verified within this framework and the corresponding verification methods are presented. The approach is illustrated using an example of a manufacturing production cell. The formal analysis tools integrated into the development environment Esterel Studio are used within the design process. (C) 2008 Elsevier B.V. All rights reserved.
引用
下载
收藏
页码：77 / 85
页数：9
相关论文
共 50 条
  • [1] Verification and validation of a model dedicated to mode handling of manufacturing systems
    Hamani, N.
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 618 - 624
  • [2] Reactive mode handling of flexible manufacturing systems
    Hamani, Nadia
    Dangoumau, Nathalie
    Craye, Etienne
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2009, 79 (05) : 1421 - 1439
  • [3] Generalized net model of tool handling in flexible manufacturing systems
    Stefanova-Pavlova, Maria M.
    Atanassov, Krassimir T.
    Modelling, Measurement and Control D, 1999, 19 (01): : 1 - 1
  • [4] SELECTION OF HANDLING DEVICES FOR FLEXIBLE MANUFACTURING SYSTEMS
    YAMPOLSKII, LS
    SOVIET ENGINEERING RESEARCH, 1986, 6 (03): : 40 - 43
  • [5] Incremental modeling and verification of flexible manufacturing systems
    Jiacun Wang
    Yi Deng
    Journal of Intelligent Manufacturing, 1999, 10 : 485 - 502
  • [6] Automated formal verification for flexible manufacturing systems
    Carpanzano, E.
    Ferrucci, L.
    Mandrioli, D.
    Mazzolini, M.
    Morzenti, A.
    Rossi, M.
    JOURNAL OF INTELLIGENT MANUFACTURING, 2014, 25 (05) : 1181 - 1195
  • [7] Automated formal verification for flexible manufacturing systems
    E. Carpanzano
    L. Ferrucci
    D. Mandrioli
    M. Mazzolini
    A. Morzenti
    M. Rossi
    Journal of Intelligent Manufacturing, 2014, 25 : 1181 - 1195
  • [8] Incremental modeling and verification of flexible manufacturing systems
    Wang, JC
    Deng, Y
    JOURNAL OF INTELLIGENT MANUFACTURING, 1999, 10 (06) : 485 - 502
  • [9] Using the OAG to build a model dedicated to mode handling of FMS
    Hamani, Nadia
    Dangoumau, Nathalie
    Craye, Etienne
    ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL RA-1: ROBOTICS AND AUTOMATION, VOL 1, 2008, : 282 - +
  • [10] Virtual Verification and Validation to Enhance Sustainability of Manufacturing Systems
    Bi, Zhuming
    Mikkola, Aki
    Ip, Andrew W. H.
    Yung, K. L.
    Luo, Chaomin
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024, : 1 - 10
12345