On the specification of distributed computer control systems

Abstract

The computer science group at the Brown Boveri Research Center, Baden, Switzerland, is aiming at a technique for all levels of process control system development. Specification systems are a rather new, but promising field for improvement. The paper describes the current situation, and the tools which are now available. These existing tools, which are powerful, but limited in range, will be combined and extended to obtain an integrated environment for the development of process control systems.