loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Krzysztof Sacha

Affiliation: Warsaw University of Technology, Poland

Keyword(s): Automatic program generation, Model verification, Finite state machine, Programmable logic controller.

Related Ontology Subjects/Areas/Topics: Discrete Event Systems ; Informatics in Control, Automation and Robotics ; Real-Time Systems Control ; Signal Processing, Sensors, Systems Modeling and Control

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.81.221.121

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2809, SciTePress, pages 130-135. DOI: 10.5220/0002209801300135

@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},
issn={2184-2809},
}

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
IS - 2184-2809
AU - Sacha, K.
PY - 2009
SP - 130
EP - 135
DO - 10.5220/0002209801300135
PB - SciTePress