http://iet.metastore.ingenta.com
1887

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
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.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
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
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.

References

    1. 1)
      • 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
    2. 2)
      • 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
    3. 3)
      • 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
    4. 4)
      • Bloom, H.M.: `Hierarchical control in an automated manufacturing facility.', Second Annual Robotics Conference, April 1982, University of Alabama, AL, USA
    5. 5)
      • `An architecture for distributed data management in computer integrated manufacturing.', NBSIR-86-3312, January 1986
    6. 6)
      • `Hierarchical control system emulation. Users manual.', NBS-IR-85-3156, 1985
    7. 7)
      • 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
    8. 8)
      • An operational approach to requirements specification for embedded systems
    9. 9)
      • The operational versus the conventional approach to software development
    10. 10)
      • A requirements engineering methodology for real-time processing requirements
    11. 11)
      • SREM at the age of eight: The Distributed Computing Design System
    12. 12)
      • `Trw Corp.: Distributed Computing Design System.', 38392-G950-069, Technical Report, August 1985
    13. 13)
      • Process translatable Petrinets for the rapid prototyping of process control systems
    14. 14)
      • Bruno, G., Morisio, M.: `An executable specification methodology: its application to computer integrated manufacturing systems.', Proc. COMPSAC87, October 1987, Chicago, IL, USA
    15. 15)
      • Software prototyping by relational techniques: experiences with program construction systems
    16. 16)
      • Some comments on transition-oriented versus structured specifications of distributed algorithms and protocols
    17. 17)
      • ISO TC97/SC21: Estelle: A formal description technique based on an extended state transition model, ISO DP9074, 1986
    18. 18)
      • CCITT, CCITT Recommendation Z.100, CCITT SDL, International Telegraph and Telephone Consultative Committee, 1987
    19. 19)
      • Experience with formal specifications using an extended state transition model
    20. 20)
      • Greenwood, J.R., Nowicki, W.I., Evans, A. Jr., Morgan, C.R., Zarnstorff, M.C.: `Programming in Praxis.', UCID-18995, 1981
    21. 21)
      • Principles of compiler design
    22. 22)
      • Compiler design theory
    23. 23)
      • Lex: A lexical analyzer generator
    24. 24)
      • Structured programming, theory and practice
    25. 25)
      • Selected writings on computing: a personal perspective
    26. 26)
      • An architecture for real-time sensory-interactive control of robots in a manufacturing facility, Information control problems in manufacturing technology.
    27. 27)
      • 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
    28. 28)
      • The Emperors old clothes
    29. 29)
      • Object-oriented software construction
    30. 30)
      • Yacc: Yet another compiler-compiler
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1989.0038
Loading

Related content

content/journals/10.1049/sej.1989.0038
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address