HighTec: Suite de développement Multi-coeur, Safety
HighTec, fondée en 1982, propose depuis 1991 des plateformes de développement avec compilateurs basés sur GNU mais optimisés. En effet, elles s’adressent aux processeurs embarqués multi-core tels que le TriCore et Aurix d’Infineon et les PowerPC de Freescale et de STMicrolectronics. C’est à dire, pour le marché Automotive et Industriel.
Donc, les outils logiciels proposés par High-Tec s’intègrent dans de nombreux environnements, notamment sous Eclipse. Cela permet entre autres, d’utiliser de façon transparente le compilateur C/C++ d’HighTec. HighTec a développé des plug-in permettant de fonctionner avec des débogueurs tels que UAD de PLS. Ce debugger, lui même s’intégrant dans un environnement Eclipse.
Plateforme de développement pour l'Industrie et l'Automobile
Un produit complet:
- Suite de compilateurs C/C++ multi-architectures et multi-cœurs de HighTec avec technologie d’optimisation de pointe
- Prise en charge des microcontrôleurs leaders du marché pour les applications automobiles et industrielles, tels que TriCore, AURIX, AURIX 2G, Power Architecture (PowerPC), ARM et RH850.
- Support des blocs fonctionnels spécifiques à l’architecture, tels que le module GTM/MCS et HSM, grâce à des compilateurs C dédiés.
- IDE Eclipse avec paramètres de projet étendus et interface graphique pour la configuration de la description de l’éditeur de liens, et facilement extensible pour l’intégration du débogueur.
Fonctionnalités:
Prise en charge avancée du multi-cœur grâce à une configuration aisée- Dernières stratégies d’optimisation du compilateur et de l’éditeur de liens
- Compaction du code (inlining inversé)
- Stratégies d’optimisation globale
- Le compilateur C++ génère un code intermédiaire au lieu d’un code C, ce qui permet des optimisations supplémentaires.
- Temps de construction (compilation-liaison) les plus courts de l’industrie, optimisant les investissements en licences
- Regroupement des données par module pour minimiser les opérations d’adressage de la charge
- Contrôle des options par fichier et par fragment de code source
- Optimisé pour l’auto-codage
- Prise en charge des problèmes fonctionnels de l’unité centrale (y compris les solutions de contournement et les vérifications de code)
- IDE avec assistant de projet et paquets de support de carte préconfigurés
- Bibliothèques standard et mathématiques commerciales (pas d’open source, pas d’implication virale GPL)
- Basé sur des technologies de compilateur standard pour une plus grande portabilité du code
- Conforme à toutes les normes C/C++/IEEE/ISO/EABI pertinentes pour l’industrie et le codage, y compris toutes les principales caractéristiques de C++14
- Génération de code extrêmement stable et fiable, éprouvée dans de nombreuses applications automobiles critiques en termes de sécurité.
- Les ensembles d’outils comprennent un compilateur C, un compilateur C++, un assembleur, un éditeur de liens, un IDE et divers utilitaires.
- Assistance à long terme, prise en charge des jeux d’outils à version gelée, compilateurs à analyse avancée des bogues et service de maintenance.
- Support des pilotes AUTOSAR MCAL (y compris les ventes et la formation sur site)
- Utilisé par les principaux Tier1 et OEM sur les marchés de l’automobile et de l’industrie
- Utilisé par les fabricants de semi-conducteurs pour exécuter en continu des tests de validation HW
- Modèles d’utilisation des licences conviviaux et mise en cache des licences pour des constructions rapides sur des réseaux distribués
- Support de l’hôte pour Windows et Linux, autres plateformes sur demande
- Pris en charge par tous les principaux fournisseurs d’outils tiers.
Prise en charge avancée du multi-cœur grâce à une configuration aiséeSupport Multi-coeurs avancé:
Concept de dissimulation et de visibilité – interfaces entre les cœurs au niveau de l’éditeur de liens- Contrôle au niveau de l’éditeur de liens – la solution portable pour migrer vers le multi-cœur
- Permet d’adapter facilement le code et les données aux différents cœurs
- Le code de l’application peut être porté vers le multi-cœur sans modification du code source
- Les logiciels éprouvés peuvent être facilement migrés vers le silicium multicœur.
- Les informations relatives à l’ID du cœur sont stockées en tant que méta-informations sur les sections et dans les objets ; il est facile d’extraire des informations en analysant la table des symboles.
- Prise en charge des architectures multicœurs homogènes et hétérogènes
Concept de dissimulation et de visibilité – interfaces entre les cœurs au niveau de l’éditeur de liensCaractérisitiques des Compilateurs selon l'architecture
TriCore
Architecture Power
Arm
RH850
TriCore
Support de toutes les variantes AURIX 3G TC4xx, AURIX 2G TC3xx et AURIX TC2xx- Compilateurs C pour HSM et PCP
- Compilateur C pour GTM/MCS
- Support SIMD et FPU
- Optimisation des petites zones de données
- Instructions SAT et optimisation du pipeline
- Code indépendant de la position (PIC) et données (PID)
- Modes d’adressage : absolu, relatif au registre, circulaire
- Suite de validation unique Qkit ISO26262 pour la certification ASIL D
- Système d’exploitation en temps réel multicœur certifié ASIL-D/SIL-3 (PXROS-HR), optimisé pour AURIX
- “Infineon Preferred Design House“, en tant qu’unique fournisseur de compilateurs
- Partenaire de vente, d’assistance et de formation pour Infineon MCAL, SafeTlib/SafeTPack et PXROS-HR
Support de toutes les variantes AURIX 3G TC4xx, AURIX 2G TC3xx et AURIX TC2xxArchitecture Power
STMicroelectronics SPC56x, SPC57x, SPC58x Architecture Power- NXP Qorivva MPC56xx, MPC57xx, MPC58xx
- Prise en charge de VLS, SAT, LSP et double émission optimisée par pipeline
- Mélange d’instructions d’encodage de longueur variable NON-VLE et VLE
- Traduction de l’ancien code NON-VLE en code VLE équivalent
- Fonctionnalité du petit pointeur de données : amélioration d’environ 20 % du code et du temps d’exécution
- Support SIMD et FPU
- Compilateur C pour GTM/MCS
- Code indépendant de la position (PIC) et données (PID)
- Partenaire de vente et de support pour les bibliothèques AUTOSAR de STMicroelectronics
STMicroelectronics SPC56x, SPC57x, SPC58x Architecture PowerArm
Compilateur C/C++ pour Cortex Mx/Rx/Ax- Prise en charge des séries NXP S32, ST Stellar (Cortex-R52), Infineon TRAVEO II, TI Cortex-Rx, Renesas ARM, etc.
- Vectoriseur automatique et instructions Advanced Neon (SIMD)
- Support AUTOSAR adaptatif (C++14)
- Optimisation du temps de liaison
- Optimisation du pipe-line
- Prise en charge des bibliothèques partagées
- Jeu d’instructions Thumb2
- Support VFP
- Prise en charge des Cortex M3/M4 (y compris AURIX HSM)
- Compilateur C pour GTM/MCS
Compilateur C/C++ pour Cortex Mx/Rx/AxRH850
Unité à virgule flottante (FPU) à haute vitesse- Compilateur C pour GTM/MCS
- Optimisations interprocédurales
- Modèles à mémoire multiple : Données normales, données ‘small’, données ‘zero’ et données ‘tiny’
Unité à virgule flottante (FPU) à haute vitesse
QKit : Kit de qualification de compilateur SAFETY
Le Qkit de HighTec permet de réaliser simplement une qualification de conformité selon des standards pour les applications à sécurité critique:
– ISO 26362 ASIL D
– IEC 61508 SIL 4
– EN 50128 SIL 4
Deux éléments composent le QKit:
– Qualification Support Tool, QST: contient le modèle de la chaine et génère des documents ( rapport de qualification, Safety manual, Plan de qualification, rapport de classification)
– Test Automation Unit, TAU: intègre les différentes suites de test.
Voir notre page QKit.
PXROS-HR : Micro noyau RTOS Temps-Réel
PXROS-HR est un micro noyau de système d’exploitation temps-réel ( RTOS) spécialement conçu pour les applications de sécurité fonctionnelle:
- Protection de la mémoire (MPU), avec une attention particulière aux communications inter-tâches pour les applications multi-cœurs
- Temps de Latence zéro pour les interruptions
- Certification IEC 61508 SIL-2.Support certification SIL-3
- Permet une reconfiguration dynamique pendant l’exécution (en plus de la configuration statique)
Plus d’informations sur notre page PXROS-HR.
Voir notre page Compilateur Certifié HighTec . Voir plus d’informations sur le site HighTec