Your browser does not support JavaScript!

Generating extended state transitions from structured specifications for process control systems

Generating extended state transitions from structured specifications for process control systems

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The paper describes a method for providing improved prototyping capabilities in a process control system emulation tool. The tool, the NIST Hierarchical Control System Emulator, allows concurrent execution of modules emulating both physical processes and decision processes. The concurrent modules are specified as extended finite state machines. This paper describes the emulation tool and presents a simple method for transforming code, written with structured control constructs, into an extended state machine representation usable on the Emulator, providing the capability for rapid prototyping of designs. The paper also discusses advantages and disadvantages of this approach against direct use of state tables for specifying processes on the Emulator.


    1. 1)
      • B. Meyer . (1997) Object-oriented software construction.
    2. 2)
      • Barbera, A.J., Fitzgerald, M.L., Albus, J.S.: `Concepts for a real-time sensory-interactive control system architecture.', Proc. of 14th Southeastern Symposium on System Theory, April 1982.
    3. 3)
      • `An architecture for distributed data management in computer integrated manufacturing.', NBSIR-86-3312, January 1986.
    4. 4)
      • Albus, J.S., Barbera, A.J., Nagel, R.N.: `Theory and practice of hierarchical control.', Proceedings of the 23rd IEEE Computer Society International Conference, 15-17 September 1981, Washington DC USA, p. 18-39.
    5. 5)
      • Furlan, CM., Kent, E.W., Bloom, H.M., McLean, C.R.: `The Automated Manufacturing Research Facility of the National Bureau of Standards', Summer Computer Simulation Conference, 1983, p. 557-572.
    6. 6)
      • `Trw Corp.: Distributed Computing Design System.', 38392-G950-069, Technical Report, August 1985.
    7. 7)
      • Bruno, G., Morisio, M.: `An executable specification methodology: its application to computer integrated manufacturing systems.', Proc. COMPSAC87, October 1987, Chicago, IL, USA.
    8. 8)
      • Bloom, H.M., Furlani, CM., Barbera, A.J.: `Emulation as design tool in the development of real-time control systems.', Winter Simulation Conference, 28-30 November 1984, Dallas TX, USA, p. 627-636.
    9. 9)
      • C.A.R. Ho Are . The Emperors old clothes. Commun. ACM , 2
    10. 10)
      • G. Bruno , G. Marchetto . Process translatable Petrinets for the rapid prototyping of process control systems. IEEE Trans. Softw. Eng. , 2
    11. 11)
      • Bloom, H.M.: `Hierarchical control in an automated manufacturing facility.', Second Annual Robotics Conference, April 1982, University of Alabama, AL, USA.
    12. 12)
      • G. Bochmann , J.P. Verjus . Some comments on transition-oriented versus structured specifications of distributed algorithms and protocols. IEEE Trans. Softw. Eng. , 4
    13. 13)
      • J.S. Albus , C.R. McLean , A.J. Barbera , M.L. Fitzgerald , D.E. Hardt . (1982) An architecture for real-time sensory-interactive control of robots in a manufacturing facility, Information control problems in manufacturing technology..
    14. 14)
      • `Hierarchical control system emulation. Users manual.', NBS-IR-85-3156, 1985.
    15. 15)
      • Bloom, H.M., McLean, C.R.: `Standardization suggested by the AMRF: a research testbed for the factory of the future.', First International Symposium on Automated Integrated Manufacturing, 5-6 April 1983, San Diego CA, USA.
    16. 16)
      • P. Zave . An operational approach to requirements specification for embedded systems. IEEE Trans. Softw. Eiig. , 5
    17. 17)
      • M.W. Alford . SREM at the age of eight: The Distributed Computing Design System. Computer , 4
    18. 18)
      • Greenwood, J.R., Nowicki, W.I., Evans, A. Jr., Morgan, C.R., Zarnstorff, M.C.: `Programming in Praxis.', UCID-18995, 1981.
    19. 19)
      • M.W. Alford . A requirements engineering methodology for real-time processing requirements. IEEE Trans. Sofw. Eng. , 1
    20. 20)
      • CCITT, CCITT Recommendation Z.100, CCITT SDL, International Telegraph and Telephone Consultative Committee, 1987.
    21. 21)
      • P. Zave . The operational versus the conventional approach to software development. Commun. ACM, , 2
    22. 22)
      • S.C. Johnson . (1978) Yacc: Yet another compiler-compiler.
    23. 23)
      • E.W. Dijkstra . (1982) Selected writings on computing: a personal perspective.
    24. 24)
      • R.C. Linger , H.D. Mills , B.I. Witt . (1979) Structured programming, theory and practice.
    25. 25)
      • M.E. Lesk , E. Schmidt . (1978) Lex: A lexical analyzer generator.
    26. 26)
      • P.M. Lewis , D.J. Rosenkrantz , R.E. Stearns . (1978) Compiler design theory.
    27. 27)
      • A.V. Aho , J.D. Ullman . (1977) Principles of compiler design.
    28. 28)
      • S. Ceri , S Crespi-Reghizzi , A. Di Maio , L.A. Lavazza . Software prototyping by relational techniques: experiences with program construction systems. IEEE Trans. Softw. Eng. , 11
    29. 29)
      • ISO TC97/SC21: Estelle: A formal description technique based on an extended state transition model, ISO DP9074, 1986.
    30. 30)
      • G. Bochmann , E. Cerny , M. Gagne , C Jard , A. Leveille , C Lacaille , M Maksud , K.S. Raghuna-Than , B. Sarikaya . Experience with formal specifications using an extended state transition model. IEEE Trans. Commun. , 12

Related content

This is a required field
Please enter a valid email address