Outils de Certification de Logiciel
Outils de Certification Logiciel pour Cortex/TriCore.
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
Hightec 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
