Standardization with ACAS Xu case study

This study extends the work starting in Batch 3 (EC7.17 Regulation constraints compliance "Implementation Process Assurance") and reports the 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.