The adoption of AI, a new challenge for formal validation tools
In 2017 Numalis starts using its existing know-how to extend its solutions to the validation of neural networks. Sponsored by the French Ministry of Defense (DGA), Numalis starts to answer the industrial imperative that has been expressed more recently on the validation of AI in critical systems. Indeed, the increasing use of deep-learning technologies in the industry raises several challenges. Although very efficient, deep-learning does not have sufficiently established validation methodologies and tools. Their widespread adoption is therefore slowed down in all critical or highly regulated environments (aeronautics, automotive, health, defence, etc.). As formal methods are one the strictest forms of validation that can be expressed on software, it is natural to see if they can allow to check the safety of such systems also. Numalis as an expert company in formal methods can help adapt its knowhow and toolset to accomplish such a new way of validating AI. This evolution is also powered by a normative vision which started to take shape in 2018 when the was founded at its first plenary in Beijing. Today, Numalis is participating, along with the expert community, to the of standards. These documents will help engineers from all organizations develop more robust neural networks.