Loading…

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 examp...

Full description

Saved in:
Bibliographic Details
Main Authors: Nakasiba, T., Tsuchiya, A., Ikkai, Y., Komoda, N., Namioka, Y.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ETFA.2001.997670