Szabó, Richárd, Cziborová, Dóra (2025) Automata-based representation of coordination for distributed reactive systems In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eger, Eszterházy Károly Catholic University. pp. 201-213.
![[thumbnail of fmfai2025_pp201-213.pdf]](http://publikacio.uni-eszterhazy.hu/style/images/fileicons/text.png) |
pdf
fmfai2025_pp201-213.pdf Download (720kB) [error in script] |
Absztrakt (kivonat)
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.
| Mű típusa: | Könyvrészlet - Book section |
|---|---|
| Szerző: | Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Szabó, Richárd NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Cziborová, Dóra NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző |
| Megjegyzés: | The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics. |
| Kapcsolódó URL-ek: | |
| Kulcsszavak: | formalization, coordination, distributed systems, system modeling |
| Nyelv: | angol |
| DOI azonosító: | 10.17048/fmfai.2025.201 |
| Felhasználó: | Tibor Gál |
| Dátum: | 28 Okt 2025 10:45 |
| Utolsó módosítás: | 28 Okt 2025 10:45 |
| URI: | http://publikacio.uni-eszterhazy.hu/id/eprint/8815 |
 |
Tétel nézet |
