The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

The GOPCSD (Goal Oriented Process Control Systems Design) tool is an inte- grated environment, where the process control systems engineer can construct, import, check, reason about, modify, validate requirements specifications and generate in the B specification language a formal specification of such process control requirements. Borrowing from the KAOS method, the GOPCSD tool adopts the goal-oriented hierarchy concept to enable easy tracing …