Abstract
This paper describes a formal notation for the design of PLC software based upon the use of graphical and tabular notations, and indicates how this notation is translated into Z so that the design model can be checked for consistency and determinism. The facilities of a tool to support this notation are also described.
This is a preview of subscription content, log in via an institution to check access.
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
Clarke, S. et al, A code of practice for the development of safe PLC software, Proc. Safety Critical Systems Symposium, Brighton, UK, Feb. 1995
Harel, D. On visual formalisms, CACM Vol.31 No.5, p. 514, May 1988
Spivey, J. M., The Z notation - A Reference Manual, second edition. New York: Prentice Hall, 1992
Toyn, I. & McDermid, J. A., An architecture for Z tools and its implementation, Software - Practice and Experience, Vol. 25 No.3, pp 305–330, March 1995
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London
About this paper
Cite this paper
McDermid, J.A., Pierce, R.H. (1995). Accessible Formal Method Support for PLC Software Development. In: Rabe, G. (eds) Safe Comp 95. Springer, London. https://doi.org/10.1007/978-1-4471-3054-3_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3054-3_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-19962-5
Online ISBN: 978-1-4471-3054-3
eBook Packages: Springer Book Archive