Cybersécurité
Industrie du Futur
Industries Culturelles
Intelligence Artificielle
Micro/nano/électronique
Optique-Photonique
DECYPHIR
A propos
Decyphir SAS développe des solutions logicielles avancées pour le test, la vérification et la validation des systèmes cyber-physiques (CPS). Les CPS sont des systèmes informatiques complexes en interaction avec leur environnement - par exemples, voitures ou véhicules autonomes, robots, dispositifs médicaux intelligents etc. Les solutions de Decyphir sont basées sur l’exploitation de méthodes basées sur les modèles, des méthodes formelles, l’optimisation et l’apprentissage machine et visent à trouver des cas de fonctionnement critique rares, améliorer la couverture des cas de test et en général automatiser et améliorer la confiance et l’efficacité des méthodes de conceptions. Decyphir travaille en étroite collaboration avec des laboratoires de recherche pour développer et transférer vers l’industrie les méthodes les plus récentes du domaine.
Logiciel
Infrastructures du numérique, Usine du futur