A study of an ACAS-Xu exact implementation using ED-324/ARP6983 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

A study of an ACAS-Xu exact implementation using ED-324/ARP6983

Christophe Gabreau
  • Fonction : Auteur
  • PersonId : 1102007
Augustin Lemesle
  • Fonction : Auteur
  • PersonId : 1356827
Floris Thiant
Lucas Fischer
  • Fonction : Auteur

Résumé

This paper studies the exact implementation of the ACAS-Xu ML models (designed using Machine Learning technique) on several hardware platforms while ensuring some properties: ML model full semantics description, memory footprint optimisation, integer representation, formal verifiability. Certification aspects are also addressed using the EUROCAE/SAE joint group WG-114/G-34 current draft of the future standard ED-324/ARP6983 for embedding ML technology in aeronautical systems
Fichier non déposé

Dates et versions

hal-04584782 , version 1 (23-05-2024)

Identifiants

  • HAL Id : hal-04584782 , version 1

Citer

Christophe Gabreau, Marie-Charlotte Teulières, Eric Jenn, Augustin Lemesle, Dumitru Potop-Butucaru, et al.. A study of an ACAS-Xu exact implementation using ED-324/ARP6983. 12th European Congress Embedded Real Time Systems - ERTS 2024, Jun 2024, Toulouse (31000), France. ⟨hal-04584782⟩
92 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More