ProcGraph: A procedure-oriented graphical notation for process-control software specification

Control Engineering Practice

Volumn 12, Issue 1, 2004, Pages 99-111

  Godena, Giovanni ^a  

^a JO EF STEFAN INSTITUTE   (Slovenia)

Author keywords

Conceptual representations; Control technology; Domain analysis; Finite state machines; Industrial control; Process automation; Programmable logic controllers; Requirements analysis; Software specification; Systems methodology

Indexed keywords

CONTROL SYSTEM ANALYSIS; DRYING; TITANIUM OXIDES;

STATE TRANSITION DIAGRAMS;

PROCESS CONTROL;

AUTOMATION; COMPUTER CONTROL; MATHEMATICAL METHOD; PROCESS CONTROL;

EID: 0346640283     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0967-0661(03)00002-9     Document Type: Article

References (22)

1. Abou-Haidar, B., Fernandez, E. B., & Horton, T. B. (1994). An object-oriented methodology for the design of control software for flexible manufacturing systems. Proceedings of the second workshop on parallel and distributed real-time systems (pp. 144-149). Los Alamitos: IEEE Computer Society Press.
2. ANSI/ISA-S88.01 (1995). Batch Control, Part 1: Models and Terminology.
3. Beck, K., & Cunningham, W. (1989). A laboratory for teaching object-oriented thinking. Proceedings of the OOPSLA89 Conference, New Orleans.
4. Booch, G., Jacobson, I., & Rumbaugh, J. (1999). The unified modelling language user guide. New York: Addison-Wesley Publishing Company.
5. 2: Process design and control. Computers & Chemical Engineering, 18, 195-199.
6. Davidson, C. M., & Mc Whinnie, J. (1996). The use of object oriented methods in PLC control system software development. Proceedings of the 12th international conference on CAD/CAM robotics and factories of the future (pp. 212-218). London: Middlesex University Press.
7. Godena, G. (1997). Conceptual model for process control software specification. Microprocessors and Microsystems, Vol. 20 (pp. 617-630). Amsterdam: North Holland.
8. Godena, G., & Colnarič, M. (2000). Exception handling for PLC-based process control software. Microprocessors and Microsystems, Vol. 24 (pp. 407-414). Amsterdam: North Holland.
9. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, Vol. 8 (pp. 231-274). Amsterdam: North Holland.
10. Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Reading, MA: Addison-Wesley.
11. IEC 61131-3 International standard (1993). Programmable controllers-Part 3: Programming languages.
12. Jacobson, I., Ericsson, M., & Jacobson, A. (1995). The object advantage. Wokingham, England: Addison-Wesley Publishing Company.
13. Kandare, G., Godena, G., & Strmčnik, S. (2003). A new approach to PLC software design. ISA Transactions, 42, Melville, NY.
14. Mitsubishi electric Europe (1998). MELSEC MEDOC plus IEC Programming and Documentation System Reference Manual. Germany: Ratingen.
15. Rossetti, V., Rizzetti, G. C., Wohlgemuth, W., Wheeler, S., Citron, G. C., & Tresse, S. (1995). Heracles-automation design and control made easy, computer applications in production and engineering. Proceedings of CAPE '95 (pp. 479-486). London: Chapman & Hall.
16. Schlaer, S., & Mellor, S. J. (1992). Object lifecycles. Englewood Cliffs, NJ: Yourdon Press, Prentice Hall Building.
17. Šel, D., Milanič, S., Strmčnik, S., Hvala, N., Karba, R., & Šuk-Lubej, B. (1999). Experimental testing of flexible recipe control based on a hybrid model. Control Engineering Practice, 7(10), 1191-1208.
18. SIEMENS (1999). SIMATIC PCS7, Technological Blocks Manual.
19. Storr, A. (1997). Modelling and Reuse of Object-oriented Machine Software. Proceedings of the European Conference on Integration in Manufacturing (pp. 475-484). Dresden, Germany: Technical University of Dresden.
20. Vahid, F., Narayan, S., & Gajski, D. D. (1995). SpecCharts: A VHDL front-end for embedded systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 14(6), 694-706.
21. Wheeler, G. C. W. S. (1995). Application of object-oriented techniques to the design and operation of factories. IEE Colloquium on Intelligent Manufacturing Systems, Digest No. 1995/238, IEE, London, 3/1-6.
22. 2 production unit. Copernicus Project, 7684CT94-02337.