Formal description of ML models for unambiguous implementation - ANITI - Artificial and Natural Intelligence Toulouse Institute Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Formal description of ML models for unambiguous implementation

Résumé

Implementing deep neural networks in safety critical systems, in particular in the aeronautical domain, will require to offer adequate specification paradigms to preserve the semantics of the trained model on the final hardware platform. We propose to extend the nnef language in order to allow traceable distribution and parallelisation optimizations of a trained model. We show how such a specification can be implemented in cuda on a Xavier platform.
Fichier principal
Vignette du fichier
main.pdf (320.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04167435 , version 1 (20-07-2023)
hal-04167435 , version 2 (17-06-2024)

Identifiants

Citer

Adrien Gauffriau, Iryna De Albuquerque Silva, Claire Pagetti. Formal description of ML models for unambiguous implementation. 12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), Jun 2024, Toulouse, France. ⟨hal-04167435v2⟩
26 Consultations
45 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More