Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02949745
Contributor : Stephen Creff <>
Submitted on : Friday, September 25, 2020 - 11:39:39 PM
Last modification on : Wednesday, September 30, 2020 - 3:04:46 AM

File

Creff et al. - 2020 - Towards ...
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

28

Files downloads

36