Programmation système avec sûreté mémoire garantie
Concurrence sans peur, abstractions à coût nul et sécurité prouvable pour logiciels de haute performance.
Performance et Sécurité sans compromis
Notre expertise Rust est fondée sur la profonde maîtrise de Titagone en langages de programmation et méthodes formelles. Nos ingénieurs développent des logiciels à haute valeur ajoutée depuis plus de 10 ans, du firmware embarqué aux outils de vérification formelle.
Notre expertise Rust en pratique
Optimisation fine du code
Nous avons contribué à améliorer les performances du type Vec de la bibliothèque standard Rust. Nous maîtrisons le Rust unsafe pour les codebases embarquées et les optimisations de performance ciblées.
Compilateurs et DSL
Nous avons implémenté un transpileur du méta-modèle EMF/ECore vers Rust, et contribué directement au compilateur Rust. Notre équipe inclut des mainteneurs des compilateurs GnuCOBOL et OCaml.
Logiciels web innovants
Nous hébergeons le développement d'agnos, un client Let's Encrypt léger et rapide. Nous avons également développé des backends pour des systèmes ERP en Rust.
Méthodes formelles
Nous avons développé plusieurs outils de méthodes formelles en Rust, dont Matla, SAT-Micro-Rust et Mikino. Nous avons aussi implémenté une politique de sécurité prouvée avec le vérificateur déductif Creusot.
Transfert de connaissances
Nous avons dispensé des formations Rust débutant et avancé à des ingénieurs de plusieurs secteurs: contrôle de puissance, gestion d'énergie, transport ferroviaire, contrôle de processus industriels, data science et télévision.
Middleware haute performance
Notre compréhension approfondie de l'écosystème Rust et de la compilation nous permet d'écrire des middlewares très efficaces pour le traitement réseau et la conversion de formats de données, avec un impact minimal sur les ressources.
Services que nous proposons
Développement robuste
Nous développons des logiciels fiables. Le code que nous produisons est performant et solide, et la propriété du produit peut facilement être transférée à votre équipe d'ingénierie.
Conseil et accompagnement
Notre expertise en Rust et en langages de programmation nous permet d'intervenir dès la phase de conception de votre projet et de vous accompagner tout au long de sa réalisation.
Revue de code
Si votre équipe dispose d'une base de code Rust mais manque de confiance sur ses performances, sa sécurité ou son respect des bonnes pratiques, nos revues de code sont idéales pour les nouvelles recrues et les équipes changeant de langage.
Audit de performance global
Nous réalisons des audits de performance complets de votre stack et évaluons la pertinence de changements algorithmiques ou de réécritures ciblées en Rust ou dans d'autres langages.
Migration depuis un autre langage
Vous souhaitez migrer un logiciel vers Rust ? Nos ingénieurs identifieront les fonctionnalités à préserver et livreront un code permettant une transition en douceur.
Formation
Nous proposons trois formations Rust standardisées (débutant, avancé et une pour décideurs), ainsi que des programmes sur mesure. Disponibles en français et en anglais.
Développement spécialisé
Nos ingénieurs ont de solides formations académiques en mathématiques, physique et informatique. Nous pouvons rapidement devenir opérationnels sur des logiciels spécialisés.
Projets R&D
80 % de nos ingénieurs sont docteurs, et tous ont eu des expériences de recherche. Titagone dispose d'un agrément CIR (Crédit Impôt Recherche), permettant de récupérer 30 % des coûts de R&D externalisés.
Projets Rust clés
Owi : Une exécution symbolique fluide pour WebAssembly
Rendre l'exécution symbolique accessible via WebAssembly, supportant le C, C++ et Rust avec une interface web interactive.
SeaCoral : Automatisation avancée des tests pour le code C critique
Découvrez comment Titagone a aidé Thales à renforcer son code C critique grâce à la génération de tests automatisés, combinant fuzzing, tests concoliques et model checking via des outils de recherche de pointe.