Présentation
Simantic, fondée par d'anciens ingénieurs firmware de Neuralink et Tesla, propose une couche de simulation qui permet aux développeurs et aux agents d'intelligence artificielle de tester du firmware sans matériel physique. Le service se décline en trois offres : des devboards virtuels accessibles via une simple requête API, un bot de révision de code firmware alimenté par l'IA, et une chaîne CI/CD qui exécute la simulation à chaque commit.
Architecture et implémentation
Le produit initial était un wrapper autour de Renode, un émulateur open source basé sur .NET. Les fondateurs ont rapidement constaté trois blocages : la lenteur inhérente à .NET, le rythme de développement de Renode insuffisant pour une startup, et une précision de timing jugée inacceptable pour les systèmes temps réel. En réponse, ils ont réécrit le moteur de simulation en Rust, langage choisi pour sa performance native et son contrôle fin de la mémoire. Le simulateur s’appuie sur des rigs de validation matériels fonctionnant 24 h/24 : chaque devboard est connecté à un analyseur logique Saleae MSO et à un bus SWD contrôlé depuis un PC Linux, tandis que Claude, l’agent IA de Anthropic, analyse en continu les écarts entre le modèle virtuel et le comportement réel.
Performances et limites
Les premiers modèles supportés couvrent les familles STM32F0, F4 et H7, les microcontrôleurs ESP32‑S3/C3 et le RP2040. Selon les développeurs, la simulation reproduit les cycles d’horloge et les interruptions avec une marge d’erreur négligeable, ce qui contraste avec les émulateurs génériques où la granularité temporelle est souvent coarse. Cependant, la précision dépend de la disponibilité d’un rig de validation dédié ; les modèles non encore calibrés peuvent présenter des écarts. De plus, le service cloud impose une latence réseau, tandis que la version binaire native élimine cette contrainte mais nécessite un abonnement développeur.
Applications et perspectives
Les utilisateurs emploient Simantic pour du développement bare‑metal ou RTOS dans des domaines à forte contrainte de sécurité : contrôleurs de vol, véhicules électriques, robotique et satellites. Un client early‑stage du secteur spatial a pu valider son firmware sur un simulateur alors que le matériel réel coûtait plus de 100 000 $, réduisant ainsi le coût de test à environ 1 % du prix initial. La combinaison d’une API programmable, d’un bot de révision IA et d’une intégration CI/CD ouvre la voie à des boucles de validation automatisées en quelques secondes, contre plusieurs heures de flashage et de tests manuels. À moyen terme, l’ajout de nouveaux modèles chaque semaine et l’amélioration continue du calibrage matériel devraient élargir la couverture vers des architectures plus complexes, tout en maintenant la priorité sur la fidélité temporelle indispensable aux systèmes critiques.
