Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems

Romain Pichard, Alexandre Philippot, Bernard Riera

Abstract

In this study, manufacturing systems are considered as Discrete Event Systems (DES) with logical Inputs (sensors) and logical Outputs (actuators). In previous work, an original implementation of safe controllers (using safety logical constraints) for manufacturing systems, based on the use of a CSP (constraint satisfaction problem) solver, was proposed. However, the proposed solution was not IEC 61131-3 compliant. In other words, it was not possible to implement it in a PLC (Programmable Logic Controller). In this paper, a proof of concept IEC 61131-3 compliant has been carried out. To perform this challenge, an original simple CSP - SAT solver in ST (Structured Text) has been developed and programmed. The algorithm has been tested and validated by using a M340 Schneider Electric PLC and a box sorting simulated process using the FACTORY I/O software from the Real Games Company (www.realgames.co). It seems to be the first time that a SAT solver developed for PLC, is used in real time as a part of a PLC program to get a safe controller.

Download


Paper Citation


in Harvard Style

Waspada I. (2017). Analysis of the Competitiveness of Micro Enterprises in Dealing in 2016 Asian Economic Community.In Proceedings of the 2nd International Conference on Economic Education and Entrepreneurship - Volume 1: ICEEE, ISBN 978-989-758-308-7, pages 326-329. DOI: 10.5220/0006885503260329


in Harvard Style

Pichard R., Philippot A. and Riera B. (2018). Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems.In Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-321-6, pages 231-239. DOI: 10.5220/0006885502310239


in Bibtex Style

@conference{icinco18,
author={Romain Pichard and Alexandre Philippot and Bernard Riera},
title={Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems},
booktitle={Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2018},
pages={231-239},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006885502310239},
isbn={978-989-758-321-6},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems
SN - 978-989-758-321-6
AU - Pichard R.
AU - Philippot A.
AU - Riera B.
PY - 2018
SP - 231
EP - 239
DO - 10.5220/0006885502310239


in Bibtex Style

@conference{iceee17,
author={Ikaputera Waspada},
title={Analysis of the Competitiveness of Micro Enterprises in Dealing in 2016 Asian Economic Community},
booktitle={Proceedings of the 2nd International Conference on Economic Education and Entrepreneurship - Volume 1: ICEEE,},
year={2017},
pages={326-329},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006885503260329},
isbn={978-989-758-308-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 2nd International Conference on Economic Education and Entrepreneurship - Volume 1: ICEEE,
TI - Analysis of the Competitiveness of Micro Enterprises in Dealing in 2016 Asian Economic Community
SN - 978-989-758-308-7
AU - Waspada I.
PY - 2017
SP - 326
EP - 329
DO - 10.5220/0006885503260329