Abstract
In the past years there is an increasing interest in analysing PLC applications with formal methods. The first step to this end is to get formal models of PLC applications. Meanwhile, various models for PLCs have already been introduced in the literature. In our paper we discuss several classification criteria that characterise different ways of modelling. The criteria include the PLC execution mechanism, the treatment of time and language fragments used. We try to motivate by examples which models are useful for which class of applications.
Supported by a NWO postdoc grant and the ESPRIT-LTR Project 26270 VHS
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
(1993). IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages. International Electrotechnical Commission.
Maler, O. (1999). On the programming of industrial computers. VHS deliverable in Workpackage IP.1, http://www.verimag.imag.fr/VHS/IP/iecll31.ps./VHS/IP/iecll31.ps.
Tourlas, K. (1997). An assessement of the IEC 1131-3 standard on languages for programmable controllers. In Daniel, P., editor, SafeComp’ 97, pages 210–219.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Mader, A. (2000). A Classification of PLC Models and Applications. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_24
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive