Application of specification language SOL and its verification method to a flexible manufacturing line

In distributed control systems (DCS), the designed distributed controllers interact complicatedly with each other. Therefore, in the development of the system, the validation of controllers specification is important. However, the existing description languages, for example, temporal interval, are too complicated to formalize the specification. In this paper, sequence oriented language (SOL) is proposed, which is an intelligible language for distributed sequential control systems. In order to describe SOL and to validate that the behavior of designed system satisfies specifications described in SOL, a design and validation tool is developed. SOL and the tool are applied to a flexible manufacturing line of ERC logic controls testbed.