• DocumentCode
    287597
  • Title

    Reactive real time exploitation of flexible manufacturing systems

  • Author

    Kermad, L. ; Bourey, J.P. ; Gentina, J.C.

  • Author_Institution
    CNRS, Lille, France
  • fYear
    1994
  • fDate
    21-22 Jul 1994
  • Firstpage
    116
  • Lastpage
    123
  • Abstract
    Flexible manufacturing systems (FMS) exploitation is becoming increasingly difficult to manage for human operators. Therefore, it is necessary to propose reactive modes management capable of providing in real time necessary information helping the reconfiguration and the changing of mode in FMS. From the FMS description, we construct soft bricks corresponding to machine roundups and to abstractions of the FMS. The asynchronous language ARGOS is used
  • Keywords
    flexible manufacturing systems; formal specification; real-time systems; specification languages; ARGOS; asynchronous language; flexible manufacturing systems; formal specification; reactive modes management; reactive systems; real time systems; specification language; Control systems; Degradation; Flexible manufacturing systems; Life testing; Manufacturing industries; Monitoring; Operating systems; Project management; Real time systems; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
  • Conference_Location
    Washington, DC
  • Print_ISBN
    0-8186-6375-8
  • Type

    conf

  • DOI
    10.1109/RTA.1994.316156
  • Filename
    316156