Spécification et compilation de réseaux de neurones embarqués - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis Accéder directement au contenu
Thèse Année : 2022

Specification and compilation of embedded neural networks

Spécification et compilation de réseaux de neurones embarqués

Résumé

In this thesis, we propose an approach for the joint specification and compilation of both High-Performance Computing (HPC) and Real-Time Embedded (RTE) aspects of a system. Our approach is based on a formal, algorithmic and tooled integration between two formalisms underlying a large part of works in HPC and RTE fields: the SSA formalism and the synchronous dataflow language Lustre. The SSA formalism is a key component of many HPC compilers, including those used by Machine Learning frameworks such as TensorFlow or PyTorch. The Lustre language is a key component of implementation processes of critical embedded systems in avionics or rail transportation.
Dans cette thèse, nous proposons une approche pour spécifier et compiler conjointement les aspects Calcul Haute Performance (HPC) et Temps-Réel Embarqué (RTE) d’un même système. Notre approche est fondée sur une intégration formelle, algorithmique et outillée entre deux formalismes sous-tendant une bonne partie des travaux en HPC et en RTE : le formalisme SSA et le langage flot de données synchrone Lustre. Le formalisme SSA est au cœur de bon nombre de compilateurs HPC, dont ceux employés par les frameworks d'apprentissage machine tels TensorFlow ou PyTorch. Le langage Lustre est au cœur des processus de mise en œuvre de systèmes embarqués critiques dans l’avionique, ou encore le rail.
Fichier principal
Vignette du fichier
POMPOUGNAC_Hugo_these_2022.pdf (1.76 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03997036 , version 1 (20-02-2023)

Identifiants

  • HAL Id : tel-03997036 , version 1

Citer

Hugo Pompougnac. Spécification et compilation de réseaux de neurones embarqués. Autre [cs.OH]. Sorbonne Université, 2022. Français. ⟨NNT : 2022SORUS436⟩. ⟨tel-03997036⟩
117 Consultations
200 Téléchargements

Partager

Gmail Facebook X LinkedIn More