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.

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