Tasking aide à identifier les erreurs du compilateur dans les applications critiques fondées sur un microcontrôleur Aurix

Tasking TriCore Inspector

Avec l’outil logiciel TriCore Inspector, la firme allemande Tasking (désormais sortie du giron d’Altium), spécialiste en outils de développement pour systèmes embarqués, propose une technologie qui aide les développeurs du secteur de l’automobile à trouver et à résoudre rapidement les problèmes dus aux erreurs du compilateur.

Selon Tasking, comme tout logiciel, les compilateurs peuvent posséder intrinsèquement des bogues qui, dans certaines circonstances, génèrent à leur tour des bogues dans le logiciel compilé généré en sortie. Pour garantir au maximum la sécurité d’un code embarqué dans l’automobile, constructeurs et équipementiers de rang 1 doivent donc impérativement traquer ces erreurs logicielles, afin notamment de répondre aux impératifs de sécurité fonctionnelle selon la norme ISO 26262. Les problèmes liés au compilateur, souvent sous-estimés, doivent dans ce cadre être vérifiés régulièrement sur tous les projets.

Par exemple, les utilisateurs qui développent du code pour la famille des microcontrôleurs Aurix d’Infineon avec les outils de la suite VX de Tasking sous Eclipse (environnement de développement, compilateur, éditeur de liens, analyseur…) peuvent accéder à toutes les erreurs documentées dans le portail des problèmes connus et répertoriés, mis à jour régulièrement par Tasking. Des solutions de contournement y sont également disponibles pour chaque bogue que l'utilisateur peut appliquer jusqu'à ce qu'un correctif stable soit disponible.

Pour accélérer ces tâches complexes, le logiciel TriCore Inspector, fondé sur la technologie de compilateur de Tasking, apporte la notion de détection automatique des bogues du compilateur repérés dans la sortie logicielle de la chaîne d'outils VX, et ce pour les circuits Aurix/TriCore. L’outil trouve en première analyse tous les bogues connus du compilateur pour tous les groupes de risque - niveaux d'intégrité du logiciel SIL1/2/3/4 - ce qui élimine l'effort de recherche manuelle des erreurs. En seconde analyse, si le code compilé de sortie est affecté par un bogue du compilateur, le développeur reçoit grâce à l’outil le nom exact du bogue et la référence vers la base de données de Tasking. En fonction de ces informations fournies, l'utilisateur peut alors rapidement décider si des précautions de sécurité sont compromises et quelles mesures supplémentaires sont nécessaires.

Le logiciel TriCore Inspector est disponible immédiatement pour le jeu d'outils VX pour les versions TriCore/Aurix v6.2.r2 et v6.3r1