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
相关论文
共 28 条
  • [1] *AD, 1981, GEMMA GUID ET MOD MA
  • [2] Andre C., 1996, Symposium on Discrete Events and Manufacturing Systems. CESA'96 IMACS Multiconference. Computational Engineering in Systems Applications, P19
  • [3] Andre C., 2003, SEMANTICS SSM SAFE S
  • [4] [Anonymous], 1993, Symbolic Model Checking
  • [5] AUSFELDER C, 1993, 1993, INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS: SYSTEMS ENGINEERING IN THE SERVICE OF HUMANS, VOL 2, P234, DOI 10.1109/ICSMC.1993.384876
  • [6] The synchronous languages 12 years later
    Benveniste, A
    Caspi, P
    Edwards, SA
    Halbwachs, N
    Le Guernic, P
    De Simone, R
    [J]. PROCEEDINGS OF THE IEEE, 2003, 91 (01) : 64 - 83
  • [7] Toward an implementation of recovery procedures for flexible manufacturing systems supervision
    Berruet, P
    Toguyeni, AKA
    Elkhattabi, S
    Craye, E
    [J]. COMPUTERS IN INDUSTRY, 2000, 43 (03) : 227 - 236
  • [8] Berry G., 1990, Real time programming: special purpose or general purpose languages
  • [9] Berry G, 2000, FOUNDAT COMPUT, P425
  • [10] THE ESTEREL SYNCHRONOUS PROGRAMMING LANGUAGE - DESIGN, SEMANTICS, IMPLEMENTATION
    BERRY, G
    GONTHIER, G
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1992, 19 (02) : 87 - 152
123