Conceptual model for process control software specification

Abstract The paper presents a method for software specification in the domain of industrial process control. As a result of ever more demanding applications, particularly in the area of PLC based control, there is an emerging need for introducing methods that include an appropriate conceptual model and define the specification process. An approach to the method development is presented, based on an architectural extension of the Ward–Mellor structured real time software engineering method. The core of the method is a conceptual model of the equipment control specification, which consists of two essential parts: the first is that of process equipment entities, and the second is the functional part. The former is further decomposed in relation to two aspects of the process equipment entities: the structural aspect and the classification aspect. In order to make the conceptual model more clear some segments of the real process control application dealing with the hydrolysis process in the production of TiO 2 are given.