Infosys et Corellium testent des logiciels automobiles sur des calculateurs virtuels
L’essentiel de l’annonce
Infosys et Corellium décrivent une chaîne qui exécute un logiciel automobile sur un calculateur virtuel. Un agent Bedrock examine les résultats, bloque les échecs clairs et transmet les cas sensibles à un humain.
- Date de la source
- Catégorie
- Agents et développement
- À qui cela s’adresse
- Cas fournisseur publié le 26 octobre 2026. Résultats attribués à Infosys, Corellium et AWS.
- Sujet du contenu
- Infosys et Corellium testent des logiciels automobiles sur des calculateurs virtuels
- Entreprises / organismes
- Infosys, Corellium, Amazon Web Services
- Technologies
- Agent IA, Workflow hébergé, Environnement isolé
Présentation
Les équipes automobiles dépendent souvent d’un nombre limité de calculateurs physiques pour valider leur logiciel. Infosys et Corellium présentent une chaîne qui exécute le même binaire sur une représentation virtuelle d’un calculateur NXP, hébergée dans le cloud.
AWS CodePipeline orchestre la compilation, les contrôles et le déploiement vers l’environnement Corellium Atlas. Des agents Amazon Bedrock comparent ensuite les résultats structurés aux critères définis. Ils peuvent autoriser la suite, bloquer le processus ou préparer un ticket d’incident. Les résultats ambigus et les défaillances liées à la sécurité exigent une revue humaine.
Ce qui change
Le cas du 26 octobre relie une émulation de calculateur, une chaîne de tests classique et un agent chargé d’interpréter les résultats structurés.
Tester sur un calculateur virtuel
Le binaire destiné au NXP S32K344 est exécuté dans Corellium Atlas. Les équipes peuvent lancer plusieurs validations sans attendre un exemplaire physique.
Ajouter un contrôle assisté
L’agent compare les résultats aux seuils définis, arrête les échecs clairs et prépare des tickets avec les journaux et une analyse de cause possible.
Préserver une décision humaine
Les cas proches des seuils et les défaillances sensibles arrêtent la chaîne et exigent une validation explicite avant toute reprise.
Fonctionnement
La chaîne garde les tests mesurables au centre et utilise l’agent pour organiser la décision et le suivi.
Construire
La chaîne compile le logiciel, effectue les contrôles statiques et stocke le binaire.
Simuler
Le calculateur virtuel exécute le binaire et produit des résultats structurés.
Décider
L’agent applique les seuils, ouvre un ticket ou transmet le cas à un ingénieur.
Usages possibles
L’approche peut intéresser les équipes embarquées qui veulent détecter plus tôt certains défauts et paralléliser des essais avant l’arrivée du matériel.
Exemple possible
Le scénario présenté
Le billet suit une fonction de feux de route liée à une zone géographique. La chaîne envoie des messages simulés au calculateur virtuel et vérifie les sorties attendues, y compris face à des valeurs invalides.
Accès et limites
Le billet est un cas présenté par AWS et ses partenaires. La réduction de 70 % du cycle de validation est rapportée pour cet engagement et ne se généralise pas à tous les logiciels automobiles. Trois versions ont été examinées dans un scénario de feux de route géolocalisés. L’environnement virtuel ne remplace pas automatiquement les essais sur matériel réel ni la certification de sécurité.
Conditions d’accès. Solution utilisant Corellium Atlas, AWS CodePipeline et Bedrock Agents. Prix et compatibilité avec d’autres calculateurs non précisés.
Pour votre projet
Ce cas montre comment l’IA peut intervenir après des tests déterministes plutôt que remplacer les tests eux-mêmes. Pour l’évaluer ailleurs, il faudrait vérifier la fidélité du calculateur virtuel, la qualité des critères de décision et la part des défauts qui n’apparaissent que sur le matériel.
- Le calculateur virtuel reproduit-il les comportements matériels importants pour le logiciel concerné ?
- Quels résultats doivent toujours être relus et signés par un ingénieur ?
Les gains annoncés devraient être rapprochés du nombre de versions, du scénario testé et du temps consacré aux essais matériels restants.
Sources et vérifications
Source de l’annonce
AI-enabled ECU validation on AWS using Corellium Atlas virtual ECUs
Lire la source officielleSource vérifiée le . Les résultats présentés sont ceux annoncés par les auteurs.
Sources consultées lors de la tâche planifiée. Aucun logiciel présenté n’a été installé ni essayé.
Fiche préparée avec ChatGPT. Notre méthode éditoriale.