Intelligible description language and its rapid verification method for design support of distributed sequential control systems

In distributed control systems (DCS), designed distributed controllers, which interact with each other operate plants. Therefore, in the development of the system, verification of whether the controllers satisfy given specification is important. However, the existing description languages, for example, temporal interval, are too complicated to formulize the specification. In this paper, first, Sequence Oriented Language (SOL), which is intelligible language in order to describe specification for distributed sequential control systems, is proposed. Secondly, we developed a tool for it. In this method, the tool automatically verifies that behavior of models satisfies specifications which is described using SOL.