Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers

Autor(es)

Li, Jialong ; Manzano, Wallace ; Yamauchi, Takuto ; Matsuyama, Nobuhiro ; Nakagawa, Elisa Yumi ; Tei, Kenji

• Tipo de documento: Artigo Científico
• Fonte: 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.

Resumo

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)

• Processo FAPESP: 23/00488-5 - SPIRA-BM: biomarcadores para condições respiratórias em dispositivos móveis por análise de áudio com inteligência artificial
• Beneficiário: Marcelo Finger
• Modalidade de apoio: Auxílio à Pesquisa - Temático