CODEX: A Coding Expert for Programmable Logic Controllers

  • Jozsef Vancza
Conference paper


Nowadays programmable controllers are applied in more and more fields of industrial automation (e.g. distributed control, plant monitoring, machine interlocks). The problem of software development for applications of these devices is serious enough (see MORSE 84). The main difficulties the engineer meets while programming a controller are as follows:
  • — There is a conceptual gap between the technological description of the control task and its formulation in the specific programming language of the controller.

  • — Each control problem has to be solved individually because these devices are far from being compatible with each other.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. BERGER 80.
    Berger, H. (1980) Steuerungen Programmieren mit STEP 5. Siemens, BerlinGoogle Scholar
  2. BIJL 85.
    Bijl, A. (1985) An Approach to Design Theory. preliminary preprint to IFIP W.G.5.2. Working Conference on “Design Theory for CAD”Google Scholar
  3. BOTHE 83.
    Bothe, R. et al (1983) Handbuch fuer Speicher-programmierbare Steuerungssysteme. Klockner-Moeller, BonnGoogle Scholar
  4. HAYES-ROTH 83.
    Hayes-Roth, F., Waterman, D. A., Lenat, D.B. (1983) Building Expert Systems. Addison-Wesley, Reading, MAGoogle Scholar
  5. KRAMER 85.
    Kramer, G.A. (1985) Representing and Reasoning about Design. preliminary preprint to IFIP W.G.5.2. Working Conference on “Design Theory for CAD”Google Scholar
  6. LANE 85.
    Lane, V.P., Loucopoulos, P. (1985) Knowledge Based Systems as a Mechanism for Optimization of Conceptual Design in Civil Engineering Projects. in: J.S. Gero ed. Optimization in Computer-Aided Design 81–100, ElsevierGoogle Scholar
  7. MLRM 84.
    MPROLOG Language Reference Manual (1984) Institute for Co-ordination of Computer Techniques, BudapestGoogle Scholar
  8. MORSE 84.
    Morse, J. (1984) Small Programmable Controllers OEM Design August/September 1984 74–81.Google Scholar
  9. NILSSON 80.
    Nilsson, N.J. (1980) Principles of Artificial Intelligence. Tioga, Paolo Alto, CA, 212–273.zbMATHGoogle Scholar
  10. PETERSON 81.
    Peterson, J.L. (1981) Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J.Google Scholar
  11. VALETTE 78.
    Valette, R., Diaz, M. (1978) Top-down Formal Specification and Verification of Parallel Control Systems. D2gital Processes 4 ,1978 , 181–199.zbMATHMathSciNetGoogle Scholar
  12. VALETTE 83.
    Valette, R. et al (1983) A Petri Net Based Programmable Logic Controller. in: E.A. Warren ed. Computer Applications in Production and Engineering. North-Holland, Amsterdam, 103–116.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jozsef Vancza
    • 1
  1. 1.Computer and Automation InstituteHungarian Academy of SciencesHungary

Personalised recommendations