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...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | Conference Proceeding |
Language: | English |
Subjects: | |
Online Access: | Request full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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 |