| Full text | |
| Author(s): |
Li, Jialong
;
Manzano, Wallace
;
Yamauchi, Takuto
;
Matsuyama, Nobuhiro
;
Nakagawa, Elisa Yumi
;
Tei, Kenji
Total Authors: 6
|
| Document type: | Journal article |
| Source: | PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS AND SOFTWARE ECOSYSTEMS, SESOS 2024; v. N/A, p. 8-pg., 2024-01-01. |
| Abstract | |
The increasing complexity and interconnectedness of diverse services have driven the integration of software systems across various sectors, leading to complex, interconnected systems referred to as Systems-of-Systems (SoS). The coordination of SoS behavior is crucial for their harmonious and efficient operations, ensuring the achievement of SoS missions. Current solutions for SoS coordination are often domain-specific, so lacking a domain-agnostic approach for adequately coordinating SoS and ensuring the SoS mission execution. Addressing this gap, our paper employs Discrete Controller Synthesis (DCS) to automatically generate SoS behavioral specifications, which can be used to the SoS control. The primary advantage of DCS lies in its formal guarantees and automated generation, offering a reliable and flexible control solution for complex and evolving SoS. Our contributions include formalizing procedures for employing DCS tailored to two distinct types of SoS and evaluating the applicability and scalability of DCS using three applications: flood monitoring, smart building, and space SoS. (AU) | |
| FAPESP's process: | 23/00488-5 - SPIRA-BM: biomarkers for respiratory conditions on mobile devices using audio analysis with artificial intelligence |
| Grantee: | Marcelo Finger |
| Support Opportunities: | Research Projects - Thematic Grants |