RECHERCHE & INNOVATION
INTELLIGENCE ARTIFICIELLE
Support d'expertise IA
L’éthique dans les décisions artificielles
La certification de développements non-déterministes à base d’IA
Le développement d’équipements IA certifiables (SW, HW), d’une fiabilité exceptionnelle pour un apprentissage réduit
Outils d'IA au service des experts
Détection automatique d’anomalies logicielles d’un code source à base d’IA
Détection automatique des cyber-failles à base d’IA
MÉTHODES ALTERNATIVES
Stratégies innovantes
SDRA* (Static Detection of Residual Anomalies)
RD3 * (Robustness and Defensive Driven Development)
Optimisations de vérification
*SDRA et RD3 sont des stratégies développées par OLGHAM
