Component-based development of process control systems

Summary form only given. Process control systems are constructed from physical components. GOPCSD adopts component-based development starting from the requirements analysis and formal specification stages. GOPCSD models the requirements of process control systems in terms of goal-models, as KAOS. The supporting tool offers a library of frequently used components and general templates describing abstract process control functions to reduce the effort required to build applications. A production cell case study is examined to illustrate how the GOPCSD tool interactively guides the systems engineer to build, analyze and correct the requirements. Moreover, the tool automatically generates a B specification from the corrected requirements. Finally, we compare our method with related methods, draw main conclusions and suggest possible directions for future work.