Abstract
The paper describes a formal method for automatic generation of programs for PLC controllers. The method starts from modeling the desired behavior of the system under design by means of a state machine with the ability to measure time and ends-up with a complete program written in a ladder diagram language. The model is formal, yet readable, and can be verified against the behavioral and safety requirements. The conversion of the model into a program is done automatically, which reduces the need for further program verification.
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
IEC 1131-3, Programmable controllers – part 3: Programming languages, IEC (1993)
Douglass, B.P.: Real-Time UML. Addison-Wesley, Reading (1998)
Alur, R., Dill, D.L.: Automata-theoretic verification of real-time systems. In: Formal Methods for Real-Time Computing, Trends in Software Series, pp. 55–82. John Wiley & Sons, Chichester (1996)
Dierks, H.: PLC-Automata: A New Class of Implementable Real-Time Automata. In: Bertran, M., Rus, T. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol. 1231, pp. 111–125. Springer, Heidelberg (1997)
Chaochen, Z.: Duration Calculi: An overview. In: Pottosin, I.V., Bjorner, D., Broy, M. (eds.) FMP&TA 1993. LNCS, vol. 735, pp. 256–266. Springer, Heidelberg (1993)
Sacha, K.: A Simple Method for PLC Programming. In: Colnaric, M., Adamski, M., Węgrzyn, M. (eds.) Real-Time Programming 2003, pp. 27–31. Elsevier, Amsterdam (2003)
Sacha, K.: Dependable Programming Using Statechart Models. In: Proc. 29th IFAC Workshop on Real Time Programming, Istanbul (2004)
Siemens, SIMATIC S7-200 Programmable Controller, System manual, Siemens (1998)
Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Information and Computation 98(2), 142–170 (1992)
IEC 61508, Functional Safety: Safety-Related Systems, IEC, (1998/2000)
Rational Rose Corporation, http://www.rational.com/product/rose
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sacha, K. (2005). Automatic Code Generation for PLC Controllers. In: Winther, R., Gran, B.A., Dahll, G. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2005. Lecture Notes in Computer Science, vol 3688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563228_23
Download citation
DOI: https://doi.org/10.1007/11563228_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29200-5
Online ISBN: 978-3-540-32000-5
eBook Packages: Computer ScienceComputer Science (R0)