Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineering - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineering

Stephen Creff
Jérome Le Noir
  • Fonction : Auteur
  • PersonId : 917743
Eric Lenormand
  • Fonction : Auteur
  • PersonId : 931637

Résumé

Exploring architectural design space is often beyond human capacity and makes architectural design a difficult task. Model-based systems engineering must include assistance to the system designer in identifying candidate architectures to subsequently analyze trade-offs. Unfortunately, existing languages and approaches do not incorporate this concern, generally favoring solution analysis over exploring a set of candidate architectures. In this paper, we explore the advantages of designing and configuring the variability problem to solve one of the problems of exploring (synthesizing) candidate architectures in systems engineering: the resource allocation problem. More specifically, this work reports on the use of the Clafer modeling language and its gateway to the CSP Choco Solver, on an industrial case study of heterogeneous hardware resource allocation (GPP-GPGPU-FPGA). Based on experiments on the modeling in Clafer, and the impact of its translation into the constraint programming paradigm (per-formance studies), discussions highlight some issues concerning facilities for modeling and synthesis of architectures and recommendations are proposed towards the use of this variability approach.
Fichier principal
Vignette du fichier
Creff et al. - 2020 - Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineer.pdf (594.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02949745 , version 1 (25-09-2020)

Identifiants

Citer

Stephen Creff, Jérome Le Noir, Eric Lenormand, Sébastien Madelénat. Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineering. Proceedings of the 24th ACM International Systems and Software Product Line Conference (SPLC ’20), Oct 2020, Montreal, Canada. ⟨10.1145/3382025.3414963⟩. ⟨hal-02949745⟩
95 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More