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 条
  • [41] DEVELOPMENT OF A GENERAL SIMULATION-MODEL FOR FLEXIBLE MANUFACTURING SYSTEMS
    GRAHAM, IR
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1982, 33 (07) : 660 - 660
  • [42] A dynamic tool requirement planning model for flexible manufacturing systems
    Kumar, A
    Mohamed, Z
    Motwani, J
    Youssef, M
    INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 1997, 9 (04): : 307 - 342
  • [43] A queueing network model for flexible manufacturing systems with tool management
    Tetzlaff, UAW
    IIE TRANSACTIONS, 1996, 28 (04) : 309 - 317
  • [44] Design of Simulation Model for Production Scheduling in Flexible Manufacturing Systems
    Zeng, Bin
    Wang, Rui
    Chen, HongYu
    FRONTIERS OF MANUFACTURING SCIENCE AND MEASURING TECHNOLOGY, PTS 1-3, 2011, 230-232 : 814 - 818
  • [45] Conceptual model of Internet-enabled flexible manufacturing systems
    Skanda, KS
    Krishna, M
    Murthy, HNN
    IEEE ICIT' 02: 2002 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS I AND II, PROCEEDINGS, 2002, : 909 - 914
  • [46] Dynamic tool requirement planning model for flexible manufacturing systems
    Grand Valley State Univ
    Int J Flexible Manuf Syst, 4 (307-342):
  • [47] A state variable model for the fluid approximation of Flexible Manufacturing Systems
    Balduzzi, F
    Menga, G
    1998 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, 1998, : 1172 - 1178
  • [48] A mathematical model for optimal and phased implementation of flexible manufacturing systems
    Rezaie, K.
    Ostadi, B.
    APPLIED MATHEMATICS AND COMPUTATION, 2007, 184 (02) : 729 - 736
  • [49] A Dynamic Tool Requirement Planning Model for Flexible Manufacturing Systems
    Ashok Kumar
    Zubair Mohamed
    Jaideep Motwani
    Mohamed Youssef
    International Journal of Flexible Manufacturing Systems, 1997, 9 : 307 - 342
  • [50] Optimization Model for Machining Processes Design in Flexible Manufacturing Systems
    Lukic, Ljubomir
    Djapic, Mirko
    Fragassa, Cristiano
    Pavlovic, Ana
    JOURNAL OF ADVANCED MANUFACTURING SYSTEMS, 2018, 17 (02) : 137 - 153
12345