COMPLIANCE ROBOTICS
VILLENEUVE-D'ASCQ, FR
Société développant des robots intrinsèquement sûrs, économes en énergie et flexibles.
À propos
Compliance Robotics conçoit des robots visant à résoudre des problèmes pour lesquels aucune solution n'existe actuellement. L'entreprise met l'accent sur la sécurité, l'efficacité énergétique et la flexibilité de ses systèmes robotiques.
Solutions proposées
Informations juridiques
Source : INSEE
Localisation
RUCHE D'ENTREPRISES METROPOLITAINE 11 B RUE DE L'HARMONIE 59493 VILLENEUVE-D'ASCQFR
Éditeurs similaires
WANPULSE
SAINT-GREGOIRE, France
Éditeur d'un logiciel souverain de gestion, supervision et sécurisation des parcs informatiques pour collectivités.
REVERSENSE
CAZERES, France
Éditeur d'une plateforme automatisant l'audit de cybersécurité offensive pour applications mobiles et embarquées.
PHOSPHO
PARIS, France
Éditeur de logiciels open source pour la robotique intelligente
OCAMLPRO
GIF-SUR-YVETTE, FR
Titagone/OCamlPro est à la fois un éditeur de logiciels, spécialisé dans la résilience et la qualité logicielle, et un bureau d'étude (R&D) pour les solutions innovantes. Avec plus de 25 ingénieurs R&D, dont 80% de docteurs en informatique, l'entreprise fait le pont entre plus de 15 ans d'expérience du développement informatique et un ADN proche des milieux académiques et open-source. L'activité d'éditeur de logiciels, portée par l'enseigne Titagone, propose d'une part SuperBOL/GnuCOBOL, une offre souveraine et open-source avec un environnement complet pour l'exécution du COBOL, déjà adoptée par plusieurs administrations et grandes entreprises, et d'autre part des outils de développement pour améliorer la qualité logicielle, et en particulier la détection/suppression de bugs, comme l'outil SeaCoral de génération automatique de tests unitaires pour le C embarqué. L'activité de bureau d'étude, portée par le nom historique OCamlPro, relève des défis de conception complexes grâce à des méthodes formelles. Elle développe des solutions sur mesure, telles que la création de langages dédiés (comme le langage Niagara, qui remplace les fichiers Excel pour les producteurs de cinéma, aujourd'hui commercialisé par la Spinoff Kopek), l'audit de code, la vérification et l'optimisation. Pour ce faire, elle s'appuie sur l'utilisation de langages de programmation de pointe fortement typés, comme OCaml et Rust.
