Statecharts to specify the control of automated manufacturing systems

被引：5
|
作者：
Marty, JC [1 ]
Sahraoui, AEK [1 ]
Sartor, M [1 ]
机构：
[1] Dassault Syst, Dept MCAD, F-92156 Suresnes, France
来源：
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH | 1998年 / 36卷 / 11期
关键词：
D O I：
10.1080/002075498192364
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
This paper deals with the use of Statecharts formalism, a recent automata-based language, to specify the control of automated manufacturing systems (AMS). Statecharts has been developed for the description of complex reactive systems; it provides high level constructs that facilitate carrying out large problems by a graphical structured approach. The main features of the formalism are given in the introduction. A way to design the most important constructs and mechanisms of a control held is proposed. Then, these constructs are implemented in order to specify the control of a flexible manufacturing and to show the adequacy of Statecharts for AMSs. Other useful constructs are given making if possible to translate control specifications according to a structured analysis method. Generic specification is also presented and the graphical simplification they provide in case of generic behaviour handling is clarified. Extensions made to Statecharts support are also illustrated.
引用
收藏
页码：3183 / 3215
页数：33
相关论文
共 50 条
  • [1] Statecharts to specify the control of automated manufacturing systems
    Marty, J.C.
    Sahraoui, A.E.K.
    Sartor, M.
    [J]. 1998, Taylor & Francis Ltd, London, United Kingdom (36)
  • [2] Control and Plant Modeling for Manufacturing Systems using Statecharts
    Moura, Raimundo Santos
    Alves do Couto, Felipe Cesar
    Guedes, Luiz Affonso
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 543 - +
  • [3] Extended Statecharts for the modelling and specification of manufacturing control software systems
    Suraj, A
    Ramaswamy, S
    Barber, KS
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1997, 10 (1-4) : 160 - 171
  • [4] Introducing probabilities in statecharts to specify reactive systems for performance analysis
    Vijaykumar, NL
    Carvalho, SV
    Andrade, VMB
    Abdurahiman, V
    [J]. COMPUTERS & OPERATIONS RESEARCH, 2006, 33 (08) : 2369 - 2386
  • [5] MODELING AND CONTROL OF AUTOMATED MANUFACTURING SYSTEMS
    VISWANADHAM, N
    [J]. CURRENT SCIENCE, 1988, 57 (03): : 139 - 139
  • [6] Scheduling and control of automated manufacturing systems
    H.-O. Günther
    T. E. Lee
    [J]. OR Spectrum, 2007, 29 : 373 - 374
  • [7] Scheduling and control of automated manufacturing systems
    Guenther, H.-O.
    Lee, T. E.
    [J]. OR SPECTRUM, 2007, 29 (03) : 373 - 374
  • [8] A statecharts approach to the modelling of discrete manufacturing systems
    Fogel, J
    [J]. COMPUTER AIDED CONTROL SYSTEMS DESIGN (CACSD'97), 1997, : 241 - 247
  • [9] THE USE OF ESTELLE TO SPECIFY MANUFACTURING SYSTEMS
    MORISIO, M
    SISTO, R
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 28 (1-5): : 253 - 258
  • [10] THE EVOLUTION OF CONTROL ARCHITECTURES FOR AUTOMATED MANUFACTURING SYSTEMS
    DILTS, DM
    BOYD, NP
    WHORMS, HH
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 1991, 10 (01) : 79 - 93
12345