GENERATING EXTENDED STATE TRANSITIONS FROM STRUCTURED SPECIFICATIONS FOR PROCESS-CONTROL SYSTEMS

作     者：KUHN, DR 

作者机构：NATL INST STAND & TECHNOLGAITHERSBURGMD 20899 

出 版 物：《SOFTWARE ENGINEERING JOURNAL》 (软件工程杂志)

年 卷 期：1989年第4卷第5期

页      面：283-291页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：software tools formal specification emulation tool decision processes Programming support structured specifications prototyping extended state transitions state tables Control engineering computing extended finite state machines Hierarchical Control System Emulator NIST process control systems physical processes finite automata digital simulation process computer control 

摘      要：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.