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

Abstract

Abstract:The GOPCSD (Goal Oriented Process Control Systems Design) tool is an integrated 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 of the user needs to the requirements level, as well as the requirements to the design specification level. The tool offers a library and formal and informal checks and tests to aid correction and enhancement of the requirements; in addition, the normal systems engineer can use the tool effectively and automatically generate a B formal specification, thus not demanding a high-level of knowledge about the sophisticated mathematics supporting formal methods like B.

A use case methodology to handle conflicting controller requirements for future power systems

“…Following [4], controller conflict is the phenomenon in which the activation of one control structure has undesired effects on one or several other control structures. In addition to the pure goal conflicts addressed in other work on conflicting goals, such as [24], MFM is suitable to identify also conflict patterns within the process using the semi-formal approach outlined in [4].…”

“…In case of control requirements the focus is typically on identifying and resolving goal conflicts [24]. However, also for control systems, conflicts may appear with respect to both goals and resources at all implementation layers.…”