REAL-TIME SYSTEMS SAFETY CONTROL CONSIDERING HUMAN MACHINE INTERFACE

José Machado, Eurico Seabra

2008

Abstract

In this paper it is presented the analysis of real-time industrial controllers when it is taken into account human behavior in the use of fully automated industrial systems. It is intended to develop safe controllers for these systems and make them robust against inappropriate utilizations by human operators. For the attainment of our goals it is used a case study, where, based on a IEC 60848 specification, is deduced the controller program. Further, it is elaborated the controller model, the Plant model and the Human Machine Interface Model of the automated system. The obtained results are generalized for other similar systems with the presented case study.

References

  1. Alur R., Dill D. L., 1990. Automata for Modeling RealTime Systems. Proceedings of the 17th Int. Coll. Automata, Languages, and Programming (ICALP'90), Warwick University, England, July 1990, Vol. 443, Lecture Notes in Computer Science, Springer.
  2. Alur R., Courcoubetis C., Dill D. L, 1993. ModelChecking in Dense Real-Time. Information and Computation, vol. 104, n_ 1, p. 2-34.
  3. Baresi L., Mauri M., Monti A., Pezzè M., 2000. PLCTOOLS: Design, Formal Validation, and Code Generation for Programmable Controllers. Special Session at IEEE Conference on Systems, Man, and Cybernetics. Nashville USA.
  4. Baresi L., Mauri M., Pezzè M., 2002. PLCTools: Graph Transformation Meets PLC Design. Electronic Notes in Theoretical Computer Science 72 No. 2.
  5. David A., Behrmann G., Larsen K. G., Yi W., 2003. A Tool Architecture for the Next Generation of UPPAAL. Technical Report n. 2003-011, Department of Information Technology, Uppsala University, Feb. 20 pages.
  6. Elmqvist E., Mattson S., 1997. An Introduction to the Physical Modelling Language Modelica. Proceedings of the 9th European Simulation Symposium, ESS'97. Passau, Germany.
  7. Machado J., 2006. Influence de la Prise en Compte d'un Modèle de Processus en Vérification Formelle des Systèmes à Evénements Discrets. PhD Thesis in cooperation between the University of Minho and École Normale Supérieure de Cachan; School of Engineering, University of Minho, June.
  8. Machado J., Seabra E., Campos J., Soares F., Leão C., Silva J., 2007-a. Simulation and Forml Verification of Industrial Systems Controllers. Proceedings of 19th Edition of the International Congress of Mechanical Engineering (COBEM'2007), Brazilia, Brazil, 5-9th November.
  9. Machado J., Seabra E., Soares F., Campos J., 2007-b. A new Plant Modelling Approach for Formal Verification Purposes. Proceedings of the 11th IFAC/IFORS/IMACS/ IFIP Symposium on Large Scale Systems: Theory and Applications. Gdansk, Poland.
  10. Moon I. 1994. Modeling programmable logic controllers for logic verification. IEEE Control Systems, 14, 2, pp. 53-59
  11. Otter M., Årzén K., Dressler I., 2005 StateGraph - A Modelica Library for Hierarchical State Machines. Modelica 2005 Proceedings.
  12. Roussel M., Denis B., 2002. Safety properties verification of ladder diagram programs. Journal Européen des Systèmes Automatisés, vol. 36, pp. 905-917
  13. Seabra E., Machado J., 2007. Simulation of Real Time Systems Behavior Considering Human-Machine Interface. In Proceedings of the 6th EUROSIM Congress on Modelling and Simulation, Federation of European Simulation Societies, September 9-13, Ljubljana, Slovenia.
  14. Sheridan, T. B., 1984. Supervisory Control of Remote Manipulators Vehicules and Dynamic Processes: Experiments in Command and Display Aiding, In Advances in Man-Machine Researches, Vol.1.
Download


Paper Citation


in Harvard Style

Machado J. and Seabra E. (2008). REAL-TIME SYSTEMS SAFETY CONTROL CONSIDERING HUMAN MACHINE INTERFACE . In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-989-8111-32-6, pages 269-274. DOI: 10.5220/0001498602690274


in Bibtex Style

@conference{icinco08,
author={José Machado and Eurico Seabra},
title={REAL-TIME SYSTEMS SAFETY CONTROL CONSIDERING HUMAN MACHINE INTERFACE},
booktitle={Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2008},
pages={269-274},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001498602690274},
isbn={978-989-8111-32-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - REAL-TIME SYSTEMS SAFETY CONTROL CONSIDERING HUMAN MACHINE INTERFACE
SN - 978-989-8111-32-6
AU - Machado J.
AU - Seabra E.
PY - 2008
SP - 269
EP - 274
DO - 10.5220/0001498602690274