Abstract
Enhancements to the software aids, used for the development of Programmable Logic Controller programs, are proposed in this work. A possible architecture of the software realizing these enhancements and the language constructs required for its configuration to a specific application are also presented. Based on this architecture, experimental software aids have been developed to demonstrate that it is quite feasible to provide the major services considered in this proposal. These services allow the program developer to emulate the dynamic operation of a specific programmable controller to alternative scenarios of input variations and relationships over a defined time horizon, and configure displays of graphics and timing diagrams which may assist him in following up and testing the program execution.
Similar content being viewed by others
References
ADA. 1983 The Programming language Reference Manual. New York: Springer
Alford, M. A. 1977. A requirements engineering methodology for real-time processing requirements. IEEE Trans. Software Eng. SE-3: 60–69
Auernheimer B. and Kemmerer R.A. 1986. RT-ASLAN: A specification language for real-time Systems. IEEE Trans. Software Eng. SE-12: 108–118
Bekkum J. 1993. Open Programmable Controllers. Intech 40: 29–31
Felder M. Ghezzi C. and Pezze M. 1993. High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real-Time Sys. 5: 235–248.
Halang, W.A. and Stoyenko, A.D. 1991. Constructing predictable real-time systems. Dordrecht: Kluwer
Hughes T.A. 1989. Programmable Controllers. Research Triangle Park North Carolina:ISA
Jones, C.A. and Bryan L.A. 1983. Programmable Controllers. Concepts and Applications. Atlanta: IPC/ASTEC
Kligerman E. and Stoyenko A.D. 1986. Real-Time Euclid: A Language for reliable real-time systems. IEEE Trans. Software Eng. SE-12: 119–127.
Koymans R. 1990. Specifying real-time properies with temporal logic. Real_time Systems 2: 255–299
Lin K.J. and Natarjan S. 1988. Expressing and maintaining timing constraints in FLEX. Proc. IEEE Real-Time Systems Symposium.
Square D Co. 1990. SY/MATE Class 8010 Type SFW50 Programming Software for IBM Compatible Computers. Bulletin #30598-666-01B2
Taylor industrial Software. 1990. Programmable Controller Support Software. Bulletins 190, 200, 144.
Tilborg A.M. and Koob G.M. 1991. Foundations of real-time computing. Formal specifications and methods. Dordrecht: Kluwer.
Zave P. 1982. An operational approach to specification for embedded systems. IEEE Trans. Software Eng. SE-8: 250–269.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hassapis, G., Papadopoulos, J. Support software for the development of programmable logic controller applications. Real-Time Syst 9, 173–193 (1995). https://doi.org/10.1007/BF01088856
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01088856