https://m2.mtmt.hu/ hun 2026-10-25 02:48 BookChapter 36196264 ADMIN_APPROVED true 0 false 2026-07-09T11:59:08.073+0000 2026-07-09T11:53:02.276+0000 2025-06-17T14:14:38.030+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2026-07-09T11:52:54.870+0000 2026-07-09T11:52:54.870+0000 2026-07-09T11:53:02.433+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 Towards Configurable Coordination for Distributed Reactive Systems 45 50 45 6 2025 Modern cyber-physical systems (CPS) present unique challenges as they are distributed real-time systems used in many critical application domains, such as automotive or railway systems. However, modeling and verifying the distributed and timed aspects of the system are challenging tasks. We need a precise description of the possible orderings of the components' execution, and a formal representation to be able to run formal verification. In this paper, we investigate the possible extension of a modeling and verification framework to support the flexible, configurable description of the coordination of distributed critical systems. We present an extension of the timed automata formalism, the coordination automata formalism, and show the applicability of the extension on a motivating example. true true NATIONAL 2025 false true true true true false GOLD 2026-07-09 true https://doi.org/10.3311/MINISY2025-009 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 false false false false 2025-09-15T14:14:48.960+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 8 2 3 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10003 true 10001 /api/country/10001 Country true 1 /api/city/10003 City true 10005024 true 29416589 /api/publicationidentifier/29416589 https://www.worldcat.org/search?q=isbn%3A9789634219897 9789634219897 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 /api/publication/36159792 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the 32nd Minisymposium false true 36159792 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 126936153 /api/authorship/126936153 1 0.333 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 126936154 /api/authorship/126936154 2 0.333 false false 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 PersonAuthorship 126936155 /api/authorship/126936155 3 0.333 false true false Author 10042280 /api/author/10042280 Vörös András true 10042280 true Vörös András true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 29493986 /api/publicationidentifier/29493986 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.3311/MINISY2025-009 https://doi.org/10.3311/MINISY2025-009 false true PublicationIdentifier 29493987 /api/publicationidentifier/29493987 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true http://hdl.handle.net/10890/60582 http://hdl.handle.net/10890/60582 false true /api/publication/36196264 <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>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus 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>/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> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös András (<span class="authorship-author-name">Vörös András</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;36196264" target="_blank">Towards Configurable 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="10042893"><a href="/gui2/?type=authors&mode=browse&sel=10042893" target="_blank">Renczes Balázs (<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>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;36159792" target="_blank">Proceedings of the 32nd Minisymposium </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Buda, Magyarország <span class="conference-date">2025.02.03. - 2025.02.04.</span> (<span class="conference-organizer">Department of Artificial Intelligence and Systems Engineering) </div> <span class="publishedAt">Budapest: <span class="publishers">Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering</span>, <span class="page"> pp 45-50 </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:blue" title="10.3311/MINISY2025-009" target="_blank" href="https://doi.org/10.3311/MINISY2025-009"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://hdl.handle.net/10890/60582" target="_blank" href="http://hdl.handle.net/10890/60582"> 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="9789634219897" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634219897"> 9789634219897 </a> </span> </span> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;36196264&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 3 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36196264</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 36159792</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">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2026.07.09. 13:53 Andódy Katalin (BME admin4) </div> </div> </div>