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

Abstract

In distributed control systems(DCS), since the entire of designed distributed controllers, which interact complicatedly, each other operated plants. Therefore, in the development of the system, verification 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, Tool automatically verify that behavior of models satisfies specifications which is described by using SOL.