Formal Modeling and Analysis of Time-Resource Aware Systems-of-Systems.
Year: 2024
Type: dissertation
Abstract: Systems of Systems (SoSs) are predominantly large-scale, complex, and sometimes critical software. An SoS is the result of integrating a set of autonomous, heterogeneous, and evolving Constituent Systems (CSs) that interact with each other to fulfill their operational purpose (mission) and to offer new functionalities that exceed those of the individual CSs.Currently, the modeling, simulation, and analysis of SoS present a significant challenge from a software engineering perspective, due to the complexity associated with the specific characteristics of such systems: temporal constraints linked to missions, the production and consumption of resources by each mission, and finally the emergence of desired or undesired behavior within a CS or the SoS. The work of this thesis aims to propose a generic, model-based approach to describe the architecture of an SoS (and its CSs), the functional behavior of each mission, and the validation through simulation of the global behavior of an SoS. We propose a modular and intuitive multi-view architectural framework based on the ISO/IEC/IEEE 42010 standard. This framework is associated with a set of SoS engineering processes and a UML profile dedicated to SoSs, this framework facilitates and improves the design of SoS architectures. Regarding the behavioral aspect of the SoS, our approach relies on the Maude language as a rewriting logic-based language, to describe, analyze, and validate through modeling the functional behavior of an SoS, integrating the resources produced and consumed by each mission, as well as the temporal constraints of each mission within a CS.In this thesis, we propose a set of generic and reusable meta-models to describe the various entities involved in resource allocation and mission execution. We use the Maude language to define the operational semantics of various concepts, entities, and properties presented in the meta-models. We adopt a centralized control for the management and allocation of resources and their coordination, specifying missions, roles, and resources, as well as their quantitative properties. Finally, we define a set of strategies for managing the execution of missions. These strategies aim to improve the operational functioning of the SoS by avoiding undesirable behaviors and promoting desirable and optimal mission paths taking into account temporal constraints related to resources and missions, resource availability, etc. In this thesis, we utilize the RT-Maude (Real Time Maude) and Maude Strategy extensions of the Maude language, to describe these strategies and validate the behavior of the SoS using the model-checking verification techniques offered by the Maude language. All these contributions have been validated through a comprehensive case study approach focusing on crisis management SoS.
Source: HAL
Author: Dridi, Charaf
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7039713346