https://m2.mtmt.hu/ hun 2026-07-28 17:49 BookChapter 31294892 APPROVED true 0 false 2024-03-04T13:11:45.770+0000 2020-06-19T10:37:35.608+0000 2020-04-29T12:01:52.937+0000 true 10068239 Graics Bence /api/author/10068239 Author Graics Bence (informatika) true 2020-06-19T10:37:36.537+0000 2020-06-19T10:37:36.537+0000 2020-05-18T09:36:07.706+0000 true 10042937 Megyeri Zsuzsa /api/admin/10042937 Admin Megyeri Zsuzsa (BME VIK admin 5) true 10042937 true false true 25 25 /api/publicationtype/25 PublicationType Könyvrészlet 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType Könyvrészlet 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType Konferenciaközlemény (Könyvrészlet) 228 true 10000312 true 1 /api/category/1 Category Tudományos true 1 Bence, Graics 25 28 25 4 2020 Communication protocols are often designed on the basis of state-based models. During protocol design, the use of formal verification is indispensable, as concurrent behavior is notorious for hidden and sophisticated bugs. This paper presents a formal verification approach to verify an industrial communication protocol using the Gamma StatechartComposition Framework. Gamma is a modeling toolset for the design and analysis of reactive systems. It supports a family of modeling languages with formal semantics for the component-based definition of state-based behavior. It also supports formal verification by automatically mapping the defined models to the input formalisms of verification backends and back-annotating the results. The verification approach is presented in the context of the Orion industrial communication protocol. The verification approach supports the introduction of channel models with different message transmission characteristics and failure modes. Different execution modes of the components are also analyzed. Funding 1985937 /api/funding/1985937 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP false true Funding 1986630 /api/funding/1986630 Felsőoktatási Doktori Hallgatói, Doktorjelölti Kutatói Ösztöndíj(ÚNKP-19-3) Támogató: ITM false true 2020 false true true true false NONE 2024-03-04 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2020-05-17T09:36:07.444+0000 3in-BME Balatonfüredi Hallgatói Kutatócsoport (BME / VIK / EIT); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 8 3 2 0 true true 10002 English /api/language/10002 Angol Language Angol true 2 false true 10003 true 10001 /api/country/10001 Country Magyarország true 1 /api/city/10003 City Budapest, Magyarország true 10005024 true 16978113 /api/publicationidentifier/16978113 https://www.worldcat.org/search?q=isbn%3A9789634218074 9789634218074 PublicationIdentifier ISBN: 9789634218074 true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource ISBN true true 10002 /api/publicationsourcetype/10002 PublicationSourceType Egyéb true false 122 true false /api/publication/31254375 Balázs Renczes. Proceedings of the 27th PhD Mini-Symposium. (2020) ISBN:9789634218074 true true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book false true 31254375 true false true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType Konferenciakötet (Könyv) 345 true 10000144 false Book 2020 true 1 /api/category/1 Category Tudományos true 1 false Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 91522073 /api/authorship/91522073 Bence, Graics [Graics, Bence (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); 3in-BME Balatonfüredi Hallgatói Kutatócsoport (BME / VIK / EIT) 1 0.5 true false false Author 10068239 /api/author/10068239 Graics Bence (informatika) Graics Bence true true Bence Graics true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 91522074 /api/authorship/91522074 Majzik, István [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 0.5 false true false Author 10001448 /api/author/10001448 Majzik István (Műszaki informatika) Majzik István true 10001448 true Majzik István true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 16923692 /api/publicationidentifier/16923692 Egyéb URL: https://www.researchgate.net/publication/341206243_Modeling_and_Analysis_of_an_Industrial_Communication_Protocol_in_the_Gamma_Framework PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://www.researchgate.net/publication/341206243_Modeling_and_Analysis_of_an_Industrial_Communication_Protocol_in_the_Gamma_Framework https://www.researchgate.net/publication/341206243_Modeling_and_Analysis_of_an_Industrial_Communication_Protocol_in_the_Gamma_Framework false true /api/publication/31294892 Bence Graics et al. Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework. (2020) Megjelent: Proceedings of the 27th PhD Mini-Symposium pp. 25-28<div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Bence Graics (<span class="authorship-author-name">Graics Bence</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Egyesült Innovációs és Tudásközpont">EIT</span>/3in-BME Balatonfüredi Hallgatói Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik István (<span class="authorship-author-name">Majzik István</span> <span class="authorAux-mtmt"> Műszaki informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;31294892" target="_blank">Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10042893"><a href="/gui2/?type=authors&mode=browse&sel=10042893" target="_blank">Balázs Renczes (<span class="authorship-author-name">Renczes Balázs</span> <span class="authorAux-mtmt"> jelfeldolgozás</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;31254375" target="_blank">Proceedings of the 27th PhD Mini-Symposium </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Budapest, Magyarország <span class="conference-date">2020.02.05. </span> </div> <span class="publishedAt">Budapest: <span class="publishers">Budapest University of Technology and Economics, Department of Measurement and Information Systems</span>, <span class="page"> pp 25-28 </span> <span class="year">(2020)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://www.researchgate.net/publication/341206243_Modeling_and_Analysis_of_an_Industrial_Communication_Protocol_in_the_Gamma_Framework" target="_blank" href="https://www.researchgate.net/publication/341206243_Modeling_and_Analysis_of_an_Industrial_Communication_Protocol_in_the_Gamma_Framework"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9789634218074" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634218074"> 9789634218074 </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 31294892</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 31254375</span> Forrás | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">Bibtex</span> </div> <div class="funder"> Innovatív Informatikai és Infokommunikációs megoldásokat megalapozó tematikus kutatási együttműkö...(EFOP-3.6.2-16-2017-00013) Támogató: EFOP, Felsőoktatási Doktori Hallgatói, Doktorjelölti Kutatói Ösztöndíj(ÚNKP-19-3) Támogató: ITM </div> <div class="lastModified">Utolsó módosítás: 2020.06.19. 12:37 Pataki Dóra (BME VIK MIT admin 5) </div> </div> </div>