Outils de Certification de Logiciel

Publié par Nicolas le

Outils de certification logiciel

Outils de Certification Logiciel pour Cortex/TriCore.

Outils de certification logiciel

Nous proposons une gamme d’outils aidant nos clients à obtenir une certification de logiciel pour les normes de sécurité critique.

Aujourd’hui de nombreux produits dans l’automobile, la santé, le transport ou l’industriel doivent respecter des standards de sécurité (ISO 26262, IEC 62304, EN 50128, IEC 61508 Etc..)
Une certification est une procédure par laquelle un éditeur de logiciels obtient l’attestation du respect d’un standard. Dans le domaine de l’embarqué, Il existe des normes permettant de garantir une utilisation sans danger pour les utilisateurs du produit final. 

Ainsi, nous proposons une gamme d’outils qui vont permettre à nos clients d’obtenir une certification  pour les normes de sécurité. Cette gamme s’applique essentiellement aux applications visant les processeurs d’architecture Cortex et TriCore.

Outils pour Architecture Cortex

Arm FuSa RTS est un ensemble de composants logiciels embarqués qualifiés pour une utilisation dans les applications les plus critiques. Ceci  pour assurer la sécurité des systèmes automobiles, médicaux et industriels. Il comprend :

  • FuSa RTS RTOS: système d’exploitation temps-réel pour processeurs Arm Cortex-M
  • Event Recorder : implémente une fonctionnalité permettant d’enregistrer facilement les événements et de collecter des statistiques d’exécution dans le code de l’application
  • CMSIS-Core: interface logicielle validée, indépendante du fournisseur, avec la ressource processeur
  • FuSa C library: un sous-ensemble des fonctions de  bibliothèque C. Il est adapté au développement d’applications embarquées critiques pour la sécurité.
  • Safety Package : jeu de documentation expliquant l’utilisation de FuSa RTS dans le contexte de la sécurité.

FuSa s’utilise avec la chaîne de développement Arm Keil MDK et fait appel au compilateur certifié ARM  C/C++ Compiler

Arm FuSa RTS est certifié pour les standards de sécurité suivants:

  • Automotive:  ISO26262, ASIL D
  • Industrial:      IEC61508, SIL 3
  • Railway:        EN50128,  SIL 4
  • Medical:        IEC62304, Class C

La conformité  pour la sécurité de FuSa RTS est confirmée par un certificat de TÜV Süd

Par ailleurs, il est également possible d’acquérir séparément le compilateur certifié, et le sous-ensemble des fonctions de la bibliothèque C FuSa C library.

Plus d’informations sur https://developer.arm.com/tools-and-software/embedded

Outils pour Architecture TriCore

Certificat TüVHightec propose un environnement de développement complet sous ECLIPSE, pilotant notamment un compilateur C/C++ certifié NQA selon ISO26262 pour l’automobile.

Les caractéristiques du compilateur TriCore  sont:

– Compilateur C PCP C – Support Multi-Coeur
– Support des AURIX
– Optimisation sophistiquée du code aussi bien en densité, qu’en vitesse d’exécution 
– Maintenance et services professionnels pérennes.

Hightech propose aussi des kits de certification, les Qkit.  Ainsi, le Qkit permet aux utilisateurs d’effectuer une qualification conforme aux normes de manière simple et facile. Qkit prend en charge la qualification jusqu’à ISO26262 ASIL D, IEC61508 SIL 4 et EN50128 SIL.

L’approche HighTec Qkit consiste en :  

–  L’outil Qualification Support Tool (QST) développé en collaboration avec Validas AG, une entreprise de référence dans le domaine de la qualification des bibliothèques et des outils.

    Inclut un modèle détaillé de la chaîne d’outils du compilateur 
    Génère les tests clients et les documents nécessaires à la qualification, en fonction du cas d’utilisation spécifique du client.

– Canevas de test automatisé (TAU Test Automation Unit) 
     Intégre différentes suites de tests 
     Extensible pour prendre en charge des cas de test supplémentaires

– Les documents de sécurité générés :
    Rapport de classification des outils         
    Manuel de sécurité des outils (mesures pour atténuer les erreurs potentielles)
    Plan de qualification de l’outil (objectifs de validation, exigences de la norme)      
    Rapport de qualification de l’outil

Contrairement aux manuels de sécurité standard basés sur des paramètres d’outils par défaut fixes et des suites de tests non pertinentes, l’approche unique de HighTec fournit à l’utilisateur un ensemble personnalisé de documents de sécurité basés sur les paramètres d’outils spécifiques et optimisés de l’utilisateur concernant l’application qui fait l’objet de la certification.

Plus d’informations sur le compilateur Hightec, sur les Qkit de certification.

Voir le site Hightec


0 commentaire

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *