QKit : Kit de qualification ISO 26262
Le kit de qualification (Qkit) du compilateur HighTec fournit aux utilisateurs finaux et aux responsables de la sécurité les preuves requises pour utiliser les produits HighTec dans des applications de sécurité jusqu’à ASIL D en conformité avec la norme ISO 26262:2018.
La méthodologie de qualification des outils utilisée a été certifiée par le TÜV conformément à la norme ISO 26262:2018 pour le niveau de sécurité ASIL D.
Le kit de qualification comprend les documents de sécurité suivants pour le compilateur HIGHTEC:
- Rapport de classification des outils
- Manuel de sécurité de l’outil (bogues connus et mesures d’atténuation des erreurs potentielles)
- Plan de qualification de l’outil (objectifs de validation, exigences de la norme)
- Rapport de qualification de l’outil (cas d’utilisation et caractéristiques qui ont été qualifiés, niveau de confiance de l’outil de résultat des essais)
Le graphique suivant illustre le déroulement de la procédure de certification:

Contrairement aux manuels de sécurité standard, qui reposent sur des paramètres d’outils fixes et des suites de tests non pertinentes, l’approche unique de HighTec offre à l’utilisateur un ensemble personnalisé de documents de sécurité. Ces documents sont basés sur les paramètres d’outils spécifiques et optimisés de l’utilisateur, en lien avec l’application à certifier. Pour obtenir plus d’informations sur Qkit, veuillez nous contacter via le formulaire ci-après.

Qkit est disponible pour différents langages de programmation C/C++ et Rust et prend en charge plusieurs architectures, telles que TriCore/Aurix, ARM (32 bits et 64 bits), RISC-V (32 bits et 64 bits) et Power Architecture. De plus, Qkit peut être utilisé pour divers processus de certification, tels que ISO 26262, ISO 13849 et IEC 61508.