Toward a context-driven deployment optimization for embedded systems: a product line approach - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Supercomputing Année : 2023

Toward a context-driven deployment optimization for embedded systems: a product line approach

Résumé

Producing a large family of resource-constrained multi-processing systems on chips (MPSoC) is challenging, and the existing techniques are generally geared toward a single product. When they are leveraged for a variety of products, they are expensive and complex. Further in the industry, a considerable lack of analysis support at the architectural level induces a strong dependency on the experiences and preferences of the designer. This paper proposes a formal foundation and analysis of MPSoC product lines based on a featured transition system (FTS) to express the variety of products. First, features diagrams are selected to model MPSoC product lines, which facilitate capturing its semantics as FTS. To this end, the probabilistic model checker verifies the resulting FTS that is decorated with tasks characteristics and processors’ failure probability. The experimental results indicate that the formal approach offers quantitative results on the relevant product that optimizes resource usage when exploring the product family.
Fichier non déposé

Dates et versions

hal-04108274 , version 1 (14-05-2024)

Identifiants

Citer

Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani. Toward a context-driven deployment optimization for embedded systems: a product line approach. Journal of Supercomputing, 2023, 79 (2), pp.2180-2211. ⟨10.1007/s11227-022-04741-8⟩. ⟨hal-04108274⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More