MODEL-BASED DESIGN OF CODE FOR PLC CONTROLLERS

Krzysztof Sacha

2009

Abstract

This paper describes a method for model-based development of software for programmable logic controllers (PLC). The method includes modeling of a control algorithm, verifying the algorithm with respect to the requirements, and automatically generating the code in one of the IEC 61131 languages. The modeling language is UML state machine diagram, and the verification tool is UPPAAL model-checking toolbox. The method has good scalability with respect to the number of the modeled objects and the ability to cope with integer values by means of variables and function blocks.

References

  1. Alur R., Dill D., 1996. Automata-theoretic verification of real-time systems. In Formal Methods for Real-Time Computing, Trends in Software Series, John Wiley.
  2. Behrmann G., David A., Larsen K.G, 2004. A Tutorial on Uppaal, Aalborg University.
  3. Dierks, H., 1997. PLC-Automata: A New Class of Implementable Real-Time Automata. LNCS 1231. Springer, Berlin.
  4. IEC, 1993. Programmable controllers - part 3: Programming languages.
  5. Kaynar D.K., Lynch N.A., Segala R., Vaandrager F.W., 2006. The Theory of Timed I/O Automata. Synthesis Lecture on Computer Science, Morgan & Claypool.
  6. Krcal P., Mokrushin L., Thiagarajan P.S., Wang Yi. 2004. Timed vs. Time Triggered Automata. LNCS 3170, Springer-Verlag, Heidelberg.
  7. OMG, 2005. Unified Modelling Language: Superstructure, version 2.0.
  8. Sacha K., 2007. Translatable Finite State Time Machine. LNCS 4745, Springer, Berlin.
  9. Sacha K., 2008. Model-Based Implementation of RealTime Systems. LNCS 5219, Springer, Berlin.
Download


Paper Citation


in Harvard Style

Sacha K. (2009). MODEL-BASED DESIGN OF CODE FOR PLC CONTROLLERS . In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-674-001-6, pages 130-135. DOI: 10.5220/0002209801300135


in Bibtex Style

@conference{icinco09,
author={Krzysztof Sacha},
title={MODEL-BASED DESIGN OF CODE FOR PLC CONTROLLERS},
booktitle={Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2009},
pages={130-135},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002209801300135},
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 - MODEL-BASED DESIGN OF CODE FOR PLC CONTROLLERS
SN - 978-989-674-001-6
AU - Sacha K.
PY - 2009
SP - 130
EP - 135
DO - 10.5220/0002209801300135