This work was carried out as part of the ISC2 project led by IRT SystemX and including ArianeGroup, Dassault Aviation, Thales and Naval Group. Thales asked itself the challenge of automatically representing and solving a problem of deployment of a dataflow application on real-time sensor sub-systems, composed of heterogeneous hardware resources.
The problem involves taking into account the heterogeneity of harware resources:
- PCI Bus / EthernetGPU,
- GPP, GPA.
Modeling and solving the problem involves satisfying plenty of constraints :
- capacity,
- inter-task communication (Kahn Process Network),
- inter-task colocation / non-colocation.
The full problem was modeled using the DEPS language. It has been solved with the integrated solver of DEPS Studio. In addition, a set of generic models has been defined to facilitate the expression of other deployment problems at Thales.
The solution search space consists of around 4 trillion points. The whole set of the 806 solutions guaranteed “correct by construction” has been computed [1].
References
[1] S. Creff, P. -A. Yvars, L. Zimmer, J. L. Noir and S. Madelénat, A Model-Based Systems Synthesis Approach to Set and Solve a Deployment Problem of Software Functions on a Heterogeneous Embedded Hardware Architecture, in IEEE Transactions on Systems, Man, and Cybernetics: Systems, doi: 10.1109/TSMC.2025.3564655