Towards facilities for modeling and synthesis of architectures for resource allocation problem in systems engineering
| Autor: | Eric Lenormand, Stephen Creff, Sébastien Madelénat, Jérôme Le Noir |
|---|---|
| Přispěvatelé: | IRT SystemX (IRT SystemX), Thales Research and Technology [Palaiseau], THALES |
| Rok vydání: | 2020 |
| Předmět: |
Empirical Study
Modeling language Computer science Architecture Synthesis 020207 software engineering [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 02 engineering and technology Solver [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] Task (project management) Constraint Solving Set (abstract data type) Empirical research Allocation Problem Default gateway 0202 electrical engineering electronic engineering information engineering Systems engineering Constraint programming Resource allocation [INFO]Computer Science [cs] [INFO.INFO-ES]Computer Science [cs]/Embedded Systems 020201 artificial intelligence & image processing Variability Modeling |
| Zdroj: | SPLC (A) Proceedings of the 24th ACM International Systems and Software Product Line Conference (SPLC ’20) Proceedings of the 24th ACM International Systems and Software Product Line Conference (SPLC ’20), Oct 2020, Montreal, Canada. ⟨10.1145/3382025.3414963⟩ |
| DOI: | 10.1145/3382025.3414963 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|