https://m2.mtmt.hu/ hun 2026-10-24 01:11 BookChapter 36408410 ADMIN_APPROVED true 0 false 2025-11-22T19:12:29.658+0000 2025-11-22T19:09:33.280+0000 2025-10-30T12:52:12.639+0000 true 10099601 Cseresnyés Dorottya /api/admin/10099601 Admin true 2025-11-13T13:45:34.851+0000 2025-11-13T13:45:34.851+0000 2025-11-11T13:50:24.817+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Szabó, Richárd Automata-based representation of coordination for distributed reactive systems 201 213 201 13 2025 Modern cyber-physical systems (CPS) are distributed reactive real-time systems used in many critical application domains, such as automotive or railway systems, so ensuring their correctness is essential. Formal verification can exhaustively explore the behavior of the formal representation of CPS to ensure its reliability. Engineering modeling tools provide separate modeling constructs for the different aspects of the systems, e.g., behavior, architecture, and scheduling, but lack formal composition, making system-level verification difficult. Formal modeling tools, e.g., Lingua Franca or the Gamma Statechart Composition Framework, are efficient in describing component behavior, and they provide formal composition semantics of the subsystems. However, the provided composition patterns in these languages are not general, so incorporating the precise coordination, scheduling, and interaction aspects requires the modification of the component models by encoding the coordination into the components. In this paper, we present a configurable formal description approach for the coordination of distributed critical systems. We extend the well-known timed automata formalism to coordinate the execution of the components by directly reusing the formal models of the components, making the coordination of the system components a first-class citizen. true NATIONAL 2025 false true true true true false GOLD 2025-11-22 true https://doi.org/10.17048/fmfai.2025.201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 false false false false 2025-11-10T13:50:24.502+0000 Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 2 7 1 2 0 true 248 true 10002 English /api/language/10002 Angol Language true 2 false true 10558 true 10001 /api/country/10001 Country true 1 /api/city/10558 City true 1082005 true 30124645 GREEN IDENTICAL /api/publicationidentifier/30124645 http://publikacio.uni-eszterhazy.hu/8797 8797 PublicationIdentifier true 157 http://publikacio.uni-eszterhazy.hu/@@@ /api/publicationsource/157 EKE IPR SwordSource true true 10007 /api/publicationsourcetype/10007 PublicationSourceType true true 157 true false true true 30082455 IDENTICAL /api/publicationidentifier/30082455 https://www.worldcat.org/search?q=isbn%3A9789634963035 9789634963035 PublicationIdentifier true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource true true 10002 /api/publicationsourcetype/10002 PublicationSourceType true false 122 true false true 30124646 GREEN IDENTICAL /api/publicationidentifier/30124646 http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf PublicationIdentifier true 39 Full text @@@ /api/publicationsource/39 Teljes dokumentum PlainSource true true 10006 /api/publicationsourcetype/10006 PublicationSourceType true true 39 true false true /api/publication/36408029 http://publikacio.uni-eszterhazy.hu/8797 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence false 36408029 true false true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2025 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 128326026 /api/authorship/128326026 1 0.5 true false false Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 128326027 /api/authorship/128326027 2 0.5 false true false Author 10094011 /api/author/10094011 Cziborová Dóra true true Cziborová Dóra true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 30083549 /api/publicationidentifier/30083549 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true 10.17048/fmfai.2025.201 https://doi.org/10.17048/fmfai.2025.201 false true PublicationIdentifier 30084731 /api/publicationidentifier/30084731 SwordSource 36 /api/publicationsource/36 PublicationSourceType 10007 /api/publicationsourcetype/10007 true true true REAL REAL http://real.mtak.hu/@@@ true true 36 true GREEN true 227758 http://real.mtak.hu/227758 true true /api/publication/36408410 <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"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd (<span class="authorship-author-name">Szabó Richárd</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>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10094011"><a href="/gui2/?type=authors&mode=browse&sel=10094011" target="_blank">Cziborová Dóra (<span class="authorship-author-name">Cziborová Dóra</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>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36408410" target="_blank">Automata-based representation of coordination for distributed reactive systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10031526"><a href="/gui2/?type=authors&mode=browse&sel=10031526" target="_blank">Tómács Tibor (<span class="authorship-author-name">Tómács Tibor</span> <span class="authorAux-mtmt"> valószínűségszámítás</span>) </a> </span> <span class="author-affil"><span title="Eszterházy Károly Katolikus Egyetem">EKKE</span>/<span title="Informatikai Kar">IK</span>/<span title="Matematikai és Informatikai Intézet">MII</span>/Alkalmazott Matematika Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;36408029" target="_blank">Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Eger, Magyarország <span class="conference-date">2025.06.05. - 2025.06.07.</span> </div> <span class="publishedAt">Eger: <span class="publishers">Eszterházy Károly Katolikus Egyetem Líceum Kiadó</span>, <span class="page"> pp 201-213 </span> <span class="year">(2025)</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_GOLD" title=" Gold "> <a style="color:black" title="10.17048/fmfai.2025.201" target="_blank" href="https://doi.org/10.17048/fmfai.2025.201"> DOI </a> </span> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:black" title="227758" target="_blank" href="http://real.mtak.hu/227758"> REAL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:blue" title="8797" target="_blank" href="http://publikacio.uni-eszterhazy.hu/8797"> EKE IPR </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:blue" title="9789634963035" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634963035"> 9789634963035 </a> </span> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:blue" title="http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf" target="_blank" href="http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf"> Teljes dokumentum </a> </span> </span> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;36408410&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 2 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36408410</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 36408029</span> Forrás Idéző | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData"></span> </div> <div class="lastModified">Utolsó módosítás: 2025.11.22. 20:09 Cseresnyés Dorottya (KIADÓK admin 3) </div> </div> </div>