SAFE CONTROLLERS DESIGN FOR HIBRID PLANTS - The Emergency Stop

Eurico Seabra, José Machado

Abstract

This paper presents and discusses a case study that applies a global approach for considering all the automation systems emergency stop requirements. The definition of all the functioning modes and all the stop tasks of the automation system is also presented according the standards EN 418 and EN 60204-1. All the aspects related with the emergency stop are focused in a particular way. The proposed approach defines and guarantees the safety aspects of an automation system controller related with the emergency stop. For the controller structure it is used the GEMMA formalism; for the controller entire specification it is used the SFC and for the controller behavior simulation it is used the Automation studio software.

References

  1. ADEPA, 1992. GEMMA (2nd Edition) - Guide dÉtude des Modes de Marches et dArrêts.
  2. Automation Studio, 2004. Famic Technologies inc., Automation Studio 5.0, http://www.automationstudio.com.
  3. Baresi L., Mauri M., Pezzè M., 2002. PLCTools: Graph Transformation Meets PLC Design. Electronic Notes in Theoretical Computer Science, Vol. 72, No. 2.
  4. Elmqvist E., Mattson S., 1997. An Introduction to the Physical Modelling Language Modelica. ESS'97. Passau, Germany.
  5. EN 418, 1992. Safety of machinery. Emergency stop equipment, functional aspects. Principles for design. European Standard.
  6. EN 60204-1, 1997. Safety of Machinery - Electrical Equipment of Machines - Part 1: General Requirements-IEC 60204-1. European Standard.
  7. Frey G., Litz L., 2000. Formal methods in PLC programming. IEEE Conference on Systems, Man and Cybernetics, SMC 2000, Nashville, October 8-11.
  8. IEC 60848, 1998. Specification language GRAFCET for sequential function chart. ed. 2.
  9. Klein S., 2005. Fault detection of discrete event systems using an identification approach. PhD Thesis, University of Kaiserslautern.
  10. Machado, J., Seabra, E. A. R., 2008. Real-Time Systems Safety Control considering Human-Machine Interface. ICINCO'2008, May 10-14, Funchal, Madeira, Portugal,. 6p.
  11. Machado, J., Seabra, E. A. R., Campos, J., Soares, F. O., Leão, C. P., Silva, J. C. L., 2008. Simulation and Formal Verification of Industrial Systems Controllers. Symp. Series in Mech.; Vol. 3, pp.461-470.
  12. Otter M., Årzén K., Dressler I., 2005. TaskGraph - A Modelica Library for Hierarchical Task Machines. Modelica 2005 Proceedings.
  13. Seabra, E. A. R., Machado, J., Silva, J. C. L., Soares, F. O., Leão, C. P., 2007. Simulation and Formal Verification of Real Time Systems: A Case Study. ICINCO'2007, Angers, France; May 9-12, 6p.
  14. Ramadge P. J. and Wonham W. M., 1987. Supervisory control of a class of discrete event processes. SIAM J. Control Optimization, 25(1), pp. 206-230.
  15. Rossi O., 2004. Validation formelle de programmes Ladder Diagram pour Automates Programmables industriels. PhD Thesis, École Normale Supérieure de Cachan.
Download


Paper Citation


in Harvard Style

Seabra E. and Machado J. (2009). SAFE CONTROLLERS DESIGN FOR HIBRID PLANTS - The Emergency Stop . In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-674-001-6, pages 172-177. DOI: 10.5220/0002249501720177


in Bibtex Style

@conference{icinco09,
author={Eurico Seabra and José Machado},
title={SAFE CONTROLLERS DESIGN FOR HIBRID PLANTS - The Emergency Stop},
booktitle={Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2009},
pages={172-177},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002249501720177},
isbn={978-989-674-001-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - SAFE CONTROLLERS DESIGN FOR HIBRID PLANTS - The Emergency Stop
SN - 978-989-674-001-6
AU - Seabra E.
AU - Machado J.
PY - 2009
SP - 172
EP - 177
DO - 10.5220/0002249501720177