Safe controllers design for industrial automation systems
The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these...
Gespeichert in:
| Veröffentlicht in: | Computers & industrial engineering 2011-05, Vol.60 (4), p.635-653 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 653 |
|---|---|
| container_issue | 4 |
| container_start_page | 635 |
| container_title | Computers & industrial engineering |
| container_volume | 60 |
| creator | Machado, José Seabra, Eurico Campos, José C. Soares, Filomena Leão, Celina P. |
| description | The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes. |
| doi_str_mv | 10.1016/j.cie.2010.12.020 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_869824771</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0360835211000088</els_id><sourcerecordid>2330782371</sourcerecordid><originalsourceid>FETCH-LOGICAL-c381t-eac476b6914932817091599c914001237a774de4098f5d452dd1dd59475e43843</originalsourceid><addsrcrecordid>eNp9kE1LxDAQhoMouK7-AG_Fi6eukzRpGjzJ4hcseFDPISZTSWmbNWmF_fdmWU8ePA0vPO8w8xBySWFFgdY33cp6XDHYZ7YCBkdkQRupShACjskCqhrKphLslJyl1AEAF4ouiHo1LRY2jFMMfY8xFQ6T_xyLNsTCj25OU_SmL8w8hcFMPoxF2qUJh3ROTlrTJ7z4nUvy_nD_tn4qNy-Pz-u7TWmrhk4lGstl_VErylXFGipBUaGUzRmAskoaKblDDqppheOCOUedE4pLgbxqeLUk14e92xi-ZkyTHnyy2PdmxDAn3dSqYVxKmsmrP2QX5jjm4zJUZaxWKkP0ANkYUorY6m30g4k7TUHvVepOZ5V6r1JTprPK3Lk9dDD_-e0x6pSR0aLzEe2kXfD_tH8Ac5l5rg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>863698699</pqid></control><display><type>article</type><title>Safe controllers design for industrial automation systems</title><source>Elsevier ScienceDirect Journals</source><creator>Machado, José ; Seabra, Eurico ; Campos, José C. ; Soares, Filomena ; Leão, Celina P.</creator><creatorcontrib>Machado, José ; Seabra, Eurico ; Campos, José C. ; Soares, Filomena ; Leão, Celina P.</creatorcontrib><description>The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes.</description><identifier>ISSN: 0360-8352</identifier><identifier>EISSN: 1879-0550</identifier><identifier>DOI: 10.1016/j.cie.2010.12.020</identifier><identifier>CODEN: CINDDL</identifier><language>eng</language><publisher>New York: Elsevier Ltd</publisher><subject>Automation ; Computer simulation ; Controllers ; Design engineering ; Formal verification ; Formalism ; Industrial safety ; Industrial systems behaviour modelling ; Mathematical models ; Modelling ; Operations research ; Real-time systems ; Safe controllers ; Simulation ; Specifications ; Studies</subject><ispartof>Computers & industrial engineering, 2011-05, Vol.60 (4), p.635-653</ispartof><rights>2011 Elsevier Ltd</rights><rights>Copyright Pergamon Press Inc. May 2011</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c381t-eac476b6914932817091599c914001237a774de4098f5d452dd1dd59475e43843</citedby><cites>FETCH-LOGICAL-c381t-eac476b6914932817091599c914001237a774de4098f5d452dd1dd59475e43843</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/j.cie.2010.12.020$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,777,781,3537,27905,27906,45976</link.rule.ids></links><search><creatorcontrib>Machado, José</creatorcontrib><creatorcontrib>Seabra, Eurico</creatorcontrib><creatorcontrib>Campos, José C.</creatorcontrib><creatorcontrib>Soares, Filomena</creatorcontrib><creatorcontrib>Leão, Celina P.</creatorcontrib><title>Safe controllers design for industrial automation systems</title><title>Computers & industrial engineering</title><description>The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes.</description><subject>Automation</subject><subject>Computer simulation</subject><subject>Controllers</subject><subject>Design engineering</subject><subject>Formal verification</subject><subject>Formalism</subject><subject>Industrial safety</subject><subject>Industrial systems behaviour modelling</subject><subject>Mathematical models</subject><subject>Modelling</subject><subject>Operations research</subject><subject>Real-time systems</subject><subject>Safe controllers</subject><subject>Simulation</subject><subject>Specifications</subject><subject>Studies</subject><issn>0360-8352</issn><issn>1879-0550</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2011</creationdate><recordtype>article</recordtype><recordid>eNp9kE1LxDAQhoMouK7-AG_Fi6eukzRpGjzJ4hcseFDPISZTSWmbNWmF_fdmWU8ePA0vPO8w8xBySWFFgdY33cp6XDHYZ7YCBkdkQRupShACjskCqhrKphLslJyl1AEAF4ouiHo1LRY2jFMMfY8xFQ6T_xyLNsTCj25OU_SmL8w8hcFMPoxF2qUJh3ROTlrTJ7z4nUvy_nD_tn4qNy-Pz-u7TWmrhk4lGstl_VErylXFGipBUaGUzRmAskoaKblDDqppheOCOUedE4pLgbxqeLUk14e92xi-ZkyTHnyy2PdmxDAn3dSqYVxKmsmrP2QX5jjm4zJUZaxWKkP0ANkYUorY6m30g4k7TUHvVepOZ5V6r1JTprPK3Lk9dDD_-e0x6pSR0aLzEe2kXfD_tH8Ac5l5rg</recordid><startdate>20110501</startdate><enddate>20110501</enddate><creator>Machado, José</creator><creator>Seabra, Eurico</creator><creator>Campos, José C.</creator><creator>Soares, Filomena</creator><creator>Leão, Celina P.</creator><general>Elsevier Ltd</general><general>Pergamon Press Inc</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20110501</creationdate><title>Safe controllers design for industrial automation systems</title><author>Machado, José ; Seabra, Eurico ; Campos, José C. ; Soares, Filomena ; Leão, Celina P.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c381t-eac476b6914932817091599c914001237a774de4098f5d452dd1dd59475e43843</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Automation</topic><topic>Computer simulation</topic><topic>Controllers</topic><topic>Design engineering</topic><topic>Formal verification</topic><topic>Formalism</topic><topic>Industrial safety</topic><topic>Industrial systems behaviour modelling</topic><topic>Mathematical models</topic><topic>Modelling</topic><topic>Operations research</topic><topic>Real-time systems</topic><topic>Safe controllers</topic><topic>Simulation</topic><topic>Specifications</topic><topic>Studies</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Machado, José</creatorcontrib><creatorcontrib>Seabra, Eurico</creatorcontrib><creatorcontrib>Campos, José C.</creatorcontrib><creatorcontrib>Soares, Filomena</creatorcontrib><creatorcontrib>Leão, Celina P.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Computers & industrial engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Machado, José</au><au>Seabra, Eurico</au><au>Campos, José C.</au><au>Soares, Filomena</au><au>Leão, Celina P.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Safe controllers design for industrial automation systems</atitle><jtitle>Computers & industrial engineering</jtitle><date>2011-05-01</date><risdate>2011</risdate><volume>60</volume><issue>4</issue><spage>635</spage><epage>653</epage><pages>635-653</pages><issn>0360-8352</issn><eissn>1879-0550</eissn><coden>CINDDL</coden><abstract>The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes.</abstract><cop>New York</cop><pub>Elsevier Ltd</pub><doi>10.1016/j.cie.2010.12.020</doi><tpages>19</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0360-8352 |
| ispartof | Computers & industrial engineering, 2011-05, Vol.60 (4), p.635-653 |
| issn | 0360-8352 1879-0550 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_869824771 |
| source | Elsevier ScienceDirect Journals |
| subjects | Automation Computer simulation Controllers Design engineering Formal verification Formalism Industrial safety Industrial systems behaviour modelling Mathematical models Modelling Operations research Real-time systems Safe controllers Simulation Specifications Studies |
| title | Safe controllers design for industrial automation systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-20T07%3A21%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Safe%20controllers%20design%20for%20industrial%20automation%20systems&rft.jtitle=Computers%20&%20industrial%20engineering&rft.au=Machado,%20Jos%C3%A9&rft.date=2011-05-01&rft.volume=60&rft.issue=4&rft.spage=635&rft.epage=653&rft.pages=635-653&rft.issn=0360-8352&rft.eissn=1879-0550&rft.coden=CINDDL&rft_id=info:doi/10.1016/j.cie.2010.12.020&rft_dat=%3Cproquest_cross%3E2330782371%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=863698699&rft_id=info:pmid/&rft_els_id=S0360835211000088&rfr_iscdi=true |