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 条

[21] Validation and verification of the simulation model of a photolithography process in semiconductor manufacturing
Nayani, N
Mollaghasemi, M
1998 WINTER SIMULATION CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 1998, : 1017 - 1022
[22] Integration of genetic algorithms and simulation for the design of material handling systems in flexible manufacturing systems
Yandra, Y
Luong, L
Abhary, K
ADVANCED MANUFACTURING PROCESSES, SYSTEMS, AND TECHNOLOGIES (AMPST 99), 1999, : 113 - 121
[23] A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers
Zha, XF
Li, LL
Zhang, WJ
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2002, 15 (03) : 242 - 264
[24] Mechatronics-based in-process verification for flexible manufacturing systems
Mayor, R
Bright, G
ASSEMBLY AUTOMATION, 1999, 19 (02) : 139 - 145
[25] A HIERARCHICAL MODEL FOR CONTROL OF FLEXIBLE MANUFACTURING SYSTEMS
SODHI, MS
ASKIN, RG
SEN, S
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1994, 45 (10) : 1185 - 1196
[26] Path detectability verification for time-dependent systems with application to flexible manufacturing systems
Qin, Tao
Zhu, Jiawang
Li, Zhiwu
Hu, Xin
Mostafa, AlMetwally M.
INFORMATION SCIENCES, 2025, 689
[27] An Approach to Verification of Material Handling Systems using Model Checking
Turek, Karsten
Klotz, Thomas
Schmidt, Thorsten
Straube, Bernd
SIMULATION IN PRODUKTION UND LOGISTK 2013, 2013, 316 : 385 - 394
[28] An Agent-Based Approach for Automating The Disturbance Handling for Flexible Manufacturing Systems
Badr, Iman
Goehner, Peter
2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
[29] Proposal for a Generic Model Dedicated to Reconfigurable and Agile Manufacturing Systems (RAMS)
Chalfoun, Imad
Kouiss, Khalid
Huyet, Anne-Lise
Bouton, Nicolas
Ray, Pascal
FORTY SIXTH CIRP CONFERENCE ON MANUFACTURING SYSTEMS 2013, 2013, 7 : 485 - 490
[30] Model-based routing in flexible manufacturing systems
Windmann, Stefan
Balzereit, Kaja
Niggemann, Oliver
AT-AUTOMATISIERUNGSTECHNIK, 2019, 67 (02) : 95 - 112

← 1 2 3 4 5 →