Modeling and Validation of PLC-Controlled Systems: A Case Study

Modeling and Validation of PLC-Controlled Systems: A Case Study

Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper shows the modeling and validation work of a typical PLC control system using the Behavior-Interaction-Priority(BIP) component framework. The gate control system based on PLC is a rea...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Bozga, Marius
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer architecture
Computer Science
Control systems
Embedded Systems
Latches
Logic gates
Monitoring
Safety
Software
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 166
container_issue
container_start_page 161
container_title
container_volume
creator Rui Wang
Min Zhou
Liangze Yin
Lianyi Zhang
Jiaguang Sun
Gu Ming
Bozga, Marius
description Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper shows the modeling and validation work of a typical PLC control system using the Behavior-Interaction-Priority(BIP) component framework. The gate control system based on PLC is a real industry application. We design general system architecture for this kind of device control system. The control software and hardware of environment are all modeled as BIP components. Their interactions are described by BIP connectors. System requirements are formalized as monitors. Simulation is applied on the system model. We found a couple of design errors in simulation, which help us to improve the dependability of the original systems.
doi_str_mv 10.1109/TASE.2012.33
format Conference Proceeding
fullrecord <record><control><sourceid>hal_6IE</sourceid><recordid>TN_cdi_ieee_primary_6269640</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6269640</ieee_id><sourcerecordid>oai_HAL_hal_00878156v1</sourcerecordid><originalsourceid>FETCH-LOGICAL-h124t-8e71689b9ac694ab633ccac550f8cd276def634d8d7074bfcd71cbf2aae7aadf3</originalsourceid><addsrcrecordid>eNo9j0tLw0AYRQekoK3duXMzWxeJ88pMxo2EUK0QUUh1G77Mw0bSRDJRyL83peLdXDgcLlyEriiJKSX6dpeVm5gRymLOz9CSCqk44wlPFmh5xJprzsQ5WofwSeaolDKpLtD9c29d23QfGDqL36FtLIxN3-He49cij_K-G4e-bZ3F5RRGdwh3OMM5BIfL8dtOl2jhoQ1u_dcr9Paw2eXbqHh5fMqzItpTJsYodYrKVNcajNQCasm5MWCShPjUWKakdV5yYVOriBK1N1ZRU3sG4BSA9XyFbk67e2irr6E5wDBVPTTVNiuqIyMknT8l8ofO7vXJbZxz_7JkUktB-C_gW1Ym</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Modeling and Validation of PLC-Controlled Systems: A Case Study</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Rui Wang ; Min Zhou ; Liangze Yin ; Lianyi Zhang ; Jiaguang Sun ; Gu Ming ; Bozga, Marius</creator><creatorcontrib>Rui Wang ; Min Zhou ; Liangze Yin ; Lianyi Zhang ; Jiaguang Sun ; Gu Ming ; Bozga, Marius</creatorcontrib><description>Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper shows the modeling and validation work of a typical PLC control system using the Behavior-Interaction-Priority(BIP) component framework. The gate control system based on PLC is a real industry application. We design general system architecture for this kind of device control system. The control software and hardware of environment are all modeled as BIP components. Their interactions are described by BIP connectors. System requirements are formalized as monitors. Simulation is applied on the system model. We found a couple of design errors in simulation, which help us to improve the dependability of the original systems.</description><identifier>ISBN: 1467323535</identifier><identifier>ISBN: 9781467323536</identifier><identifier>DOI: 10.1109/TASE.2012.33</identifier><identifier>LCCN: 2012939324</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computer architecture ; Computer Science ; Control systems ; Embedded Systems ; Latches ; Logic gates ; Monitoring ; Safety ; Software</subject><ispartof>2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012, p.161-166</ispartof><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><orcidid>0000-0003-4412-5684</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6269640$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,881,2052,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6269640$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://hal.science/hal-00878156$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Rui Wang</creatorcontrib><creatorcontrib>Min Zhou</creatorcontrib><creatorcontrib>Liangze Yin</creatorcontrib><creatorcontrib>Lianyi Zhang</creatorcontrib><creatorcontrib>Jiaguang Sun</creatorcontrib><creatorcontrib>Gu Ming</creatorcontrib><creatorcontrib>Bozga, Marius</creatorcontrib><title>Modeling and Validation of PLC-Controlled Systems: A Case Study</title><title>2012 Sixth International Symposium on Theoretical Aspects of Software Engineering</title><addtitle>tase</addtitle><description>Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper shows the modeling and validation work of a typical PLC control system using the Behavior-Interaction-Priority(BIP) component framework. The gate control system based on PLC is a real industry application. We design general system architecture for this kind of device control system. The control software and hardware of environment are all modeled as BIP components. Their interactions are described by BIP connectors. System requirements are formalized as monitors. Simulation is applied on the system model. We found a couple of design errors in simulation, which help us to improve the dependability of the original systems.</description><subject>Computer architecture</subject><subject>Computer Science</subject><subject>Control systems</subject><subject>Embedded Systems</subject><subject>Latches</subject><subject>Logic gates</subject><subject>Monitoring</subject><subject>Safety</subject><subject>Software</subject><isbn>1467323535</isbn><isbn>9781467323536</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9j0tLw0AYRQekoK3duXMzWxeJ88pMxo2EUK0QUUh1G77Mw0bSRDJRyL83peLdXDgcLlyEriiJKSX6dpeVm5gRymLOz9CSCqk44wlPFmh5xJprzsQ5WofwSeaolDKpLtD9c29d23QfGDqL36FtLIxN3-He49cij_K-G4e-bZ3F5RRGdwh3OMM5BIfL8dtOl2jhoQ1u_dcr9Paw2eXbqHh5fMqzItpTJsYodYrKVNcajNQCasm5MWCShPjUWKakdV5yYVOriBK1N1ZRU3sG4BSA9XyFbk67e2irr6E5wDBVPTTVNiuqIyMknT8l8ofO7vXJbZxz_7JkUktB-C_gW1Ym</recordid><startdate>201207</startdate><enddate>201207</enddate><creator>Rui Wang</creator><creator>Min Zhou</creator><creator>Liangze Yin</creator><creator>Lianyi Zhang</creator><creator>Jiaguang Sun</creator><creator>Gu Ming</creator><creator>Bozga, Marius</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>1XC</scope><orcidid>https://orcid.org/0000-0003-4412-5684</orcidid></search><sort><creationdate>201207</creationdate><title>Modeling and Validation of PLC-Controlled Systems: A Case Study</title><author>Rui Wang ; Min Zhou ; Liangze Yin ; Lianyi Zhang ; Jiaguang Sun ; Gu Ming ; Bozga, Marius</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-h124t-8e71689b9ac694ab633ccac550f8cd276def634d8d7074bfcd71cbf2aae7aadf3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Computer architecture</topic><topic>Computer Science</topic><topic>Control systems</topic><topic>Embedded Systems</topic><topic>Latches</topic><topic>Logic gates</topic><topic>Monitoring</topic><topic>Safety</topic><topic>Software</topic><toplevel>online_resources</toplevel><creatorcontrib>Rui Wang</creatorcontrib><creatorcontrib>Min Zhou</creatorcontrib><creatorcontrib>Liangze Yin</creatorcontrib><creatorcontrib>Lianyi Zhang</creatorcontrib><creatorcontrib>Jiaguang Sun</creatorcontrib><creatorcontrib>Gu Ming</creatorcontrib><creatorcontrib>Bozga, Marius</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 Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection><collection>Hyper Article en Ligne (HAL)</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Rui Wang</au><au>Min Zhou</au><au>Liangze Yin</au><au>Lianyi Zhang</au><au>Jiaguang Sun</au><au>Gu Ming</au><au>Bozga, Marius</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Modeling and Validation of PLC-Controlled Systems: A Case Study</atitle><btitle>2012 Sixth International Symposium on Theoretical Aspects of Software Engineering</btitle><stitle>tase</stitle><date>2012-07</date><risdate>2012</risdate><spage>161</spage><epage>166</epage><pages>161-166</pages><isbn>1467323535</isbn><isbn>9781467323536</isbn><coden>IEEPAD</coden><abstract>Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper shows the modeling and validation work of a typical PLC control system using the Behavior-Interaction-Priority(BIP) component framework. The gate control system based on PLC is a real industry application. We design general system architecture for this kind of device control system. The control software and hardware of environment are all modeled as BIP components. Their interactions are described by BIP connectors. System requirements are formalized as monitors. Simulation is applied on the system model. We found a couple of design errors in simulation, which help us to improve the dependability of the original systems.</abstract><pub>IEEE</pub><doi>10.1109/TASE.2012.33</doi><tpages>6</tpages><orcidid>https://orcid.org/0000-0003-4412-5684</orcidid></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 1467323535
ispartof 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012, p.161-166
issn
language eng
recordid cdi_ieee_primary_6269640
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Computer architecture
Computer Science
Control systems
Embedded Systems
Latches
Logic gates
Monitoring
Safety
Software
title Modeling and Validation of PLC-Controlled Systems: A Case Study
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-06T13%3A51%3A10IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Modeling%20and%20Validation%20of%20PLC-Controlled%20Systems:%20A%20Case%20Study&rft.btitle=2012%20Sixth%20International%20Symposium%20on%20Theoretical%20Aspects%20of%20Software%20Engineering&rft.au=Rui%20Wang&rft.date=2012-07&rft.spage=161&rft.epage=166&rft.pages=161-166&rft.isbn=1467323535&rft.isbn_list=9781467323536&rft.coden=IEEPAD&rft_id=info:doi/10.1109/TASE.2012.33&rft_dat=%3Chal_6IE%3Eoai_HAL_hal_00878156v1%3C/hal_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6269640&rfr_iscdi=true