Formal specification of control system design in industrial domain

Abstract

When designing an industrial control system, multiple aspects need to be taken into account and it is often necessary to make some trade-offs in the choice of hardware resources, communication technologies and topologies of the system being built. Usually a balance is sought between the cost and functionality of the selected components and the overall system architecture. A formalised description of the architecture allows the standardisation of individual industrial control system design solutions, on the basis of which the optimal solution can be selected. Another use of the formalization of the control system architecture description is to automate the design or traceability of the implementation from design to implementation. A formal specification of the electrical part containing the control system was performed on a sample industrial machine, followed by an analysis of the suitability of the different architectures using Theory of Inventive Problem Solving (TRIZ).