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:
Automatic control
Chemical compounds
Control systems
Design methodology
Distributed control
Information systems
Logic design
Logic devices
Production
Water storage
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 56 vol.2
container_issue
container_start_page 51
container_title
container_volume 2
creator Nakasiba, T.
Tsuchiya, A.
Ikkai, Y.
Komoda, N.
Namioka, Y.
description 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_str_mv 10.1109/ETFA.2001.997670
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_997670</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>997670</ieee_id><sourcerecordid>997670</sourcerecordid><originalsourceid>FETCH-LOGICAL-i87t-e2d937acd5ac7db9f5e6f97b9e0bde8dc22d641781a0f0d2797d5e0ba3dbca293</originalsourceid><addsrcrecordid>eNotUD1PwzAUtISQgNIdMfkPtDhOE8djVbVQqRJL98rxewkPuXawHaRu_HQK7S033Id0x9hTIeZFIfTLer9ZzqUQxVxrVStxwx6EakSp5KJQd2ya0qc4Y1EVoq7u2c_WZ3SOemodcsBkIw2ZgufO-H40PXLjgVNOPJqBgH9jpI6s-fccMX8E4F2If1HqPU_jMISYeeg4UMqR2jEj8IRfI_pMxnEbfI7B8XRKGY_pkd12xiWcXnnC9pv1fvU2272_blfL3YwalWcoQZfKWKiMVdDqrsK606rVKFrABqyUUJ8HNoURnQCptILqrJkSWmukLifs-VJLiHgYIh1NPB0uF5W_zAFh6A</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Intelligible description language and its rapid verification method for design support of distributed sequential control systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Nakasiba, T. ; Tsuchiya, A. ; Ikkai, Y. ; Komoda, N. ; Namioka, Y.</creator><creatorcontrib>Nakasiba, T. ; Tsuchiya, A. ; Ikkai, Y. ; Komoda, N. ; Namioka, Y.</creatorcontrib><description>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.</description><identifier>ISBN: 0780372417</identifier><identifier>ISBN: 9780780372412</identifier><identifier>DOI: 10.1109/ETFA.2001.997670</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automatic control ; Chemical compounds ; Control systems ; Design methodology ; Distributed control ; Information systems ; Logic design ; Logic devices ; Production ; Water storage</subject><ispartof>ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), 2001, Vol.2, p.51-56 vol.2</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/997670$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/997670$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Nakasiba, T.</creatorcontrib><creatorcontrib>Tsuchiya, A.</creatorcontrib><creatorcontrib>Ikkai, Y.</creatorcontrib><creatorcontrib>Komoda, N.</creatorcontrib><creatorcontrib>Namioka, Y.</creatorcontrib><title>Intelligible description language and its rapid verification method for design support of distributed sequential control systems</title><title>ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597)</title><addtitle>ETFA</addtitle><description>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.</description><subject>Automatic control</subject><subject>Chemical compounds</subject><subject>Control systems</subject><subject>Design methodology</subject><subject>Distributed control</subject><subject>Information systems</subject><subject>Logic design</subject><subject>Logic devices</subject><subject>Production</subject><subject>Water storage</subject><isbn>0780372417</isbn><isbn>9780780372412</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2001</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotUD1PwzAUtISQgNIdMfkPtDhOE8djVbVQqRJL98rxewkPuXawHaRu_HQK7S033Id0x9hTIeZFIfTLer9ZzqUQxVxrVStxwx6EakSp5KJQd2ya0qc4Y1EVoq7u2c_WZ3SOemodcsBkIw2ZgufO-H40PXLjgVNOPJqBgH9jpI6s-fccMX8E4F2If1HqPU_jMISYeeg4UMqR2jEj8IRfI_pMxnEbfI7B8XRKGY_pkd12xiWcXnnC9pv1fvU2272_blfL3YwalWcoQZfKWKiMVdDqrsK606rVKFrABqyUUJ8HNoURnQCptILqrJkSWmukLifs-VJLiHgYIh1NPB0uF5W_zAFh6A</recordid><startdate>2001</startdate><enddate>2001</enddate><creator>Nakasiba, T.</creator><creator>Tsuchiya, A.</creator><creator>Ikkai, Y.</creator><creator>Komoda, N.</creator><creator>Namioka, Y.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2001</creationdate><title>Intelligible description language and its rapid verification method for design support of distributed sequential control systems</title><author>Nakasiba, T. ; Tsuchiya, A. ; Ikkai, Y. ; Komoda, N. ; Namioka, Y.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i87t-e2d937acd5ac7db9f5e6f97b9e0bde8dc22d641781a0f0d2797d5e0ba3dbca293</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2001</creationdate><topic>Automatic control</topic><topic>Chemical compounds</topic><topic>Control systems</topic><topic>Design methodology</topic><topic>Distributed control</topic><topic>Information systems</topic><topic>Logic design</topic><topic>Logic devices</topic><topic>Production</topic><topic>Water storage</topic><toplevel>online_resources</toplevel><creatorcontrib>Nakasiba, T.</creatorcontrib><creatorcontrib>Tsuchiya, A.</creatorcontrib><creatorcontrib>Ikkai, Y.</creatorcontrib><creatorcontrib>Komoda, N.</creatorcontrib><creatorcontrib>Namioka, Y.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Nakasiba, T.</au><au>Tsuchiya, A.</au><au>Ikkai, Y.</au><au>Komoda, N.</au><au>Namioka, Y.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Intelligible description language and its rapid verification method for design support of distributed sequential control systems</atitle><btitle>ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597)</btitle><stitle>ETFA</stitle><date>2001</date><risdate>2001</risdate><volume>2</volume><spage>51</spage><epage>56 vol.2</epage><pages>51-56 vol.2</pages><isbn>0780372417</isbn><isbn>9780780372412</isbn><abstract>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.</abstract><pub>IEEE</pub><doi>10.1109/ETFA.2001.997670</doi></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 0780372417
ispartof ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), 2001, Vol.2, p.51-56 vol.2
issn
language eng
recordid cdi_ieee_primary_997670
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Automatic control
Chemical compounds
Control systems
Design methodology
Distributed control
Information systems
Logic design
Logic devices
Production
Water storage
title Intelligible description language and its rapid verification method for design support of distributed sequential control systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T01%3A44%3A53IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Intelligible%20description%20language%20and%20its%20rapid%20verification%20method%20for%20design%20support%20of%20distributed%20sequential%20control%20systems&rft.btitle=ETFA%202001.%208th%20International%20Conference%20on%20Emerging%20Technologies%20and%20Factory%20Automation.%20Proceedings%20(Cat.%20No.01TH8597)&rft.au=Nakasiba,%20T.&rft.date=2001&rft.volume=2&rft.spage=51&rft.epage=56%20vol.2&rft.pages=51-56%20vol.2&rft.isbn=0780372417&rft.isbn_list=9780780372412&rft_id=info:doi/10.1109/ETFA.2001.997670&rft_dat=%3Cieee_6IE%3E997670%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i87t-e2d937acd5ac7db9f5e6f97b9e0bde8dc22d641781a0f0d2797d5e0ba3dbca293%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=997670&rfr_iscdi=true