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 HighTec

Un Produit Complet:

• Chaîne de Compilation HighTec multi-architecture et multi-core avec une technologie d’optimisation la plus performante

• Support de blocs fonctionnels spécifiques de l’architecture tels que les modules GTM/MCS et HSM.
• Environnement de développement Eclipse avec gestion de projet améliorée, et interface graphique pour la configuration du linker

Fonctionnalités:

• Support Multi-Core (conforme EABI et ISO)
• Pérennité du support technique et de la maintenance
• Stratégies d’Optimisation dernier cri
• Compactage du code (reverse inlining)
• Stratégies d’Optimisation Globales
• Regroupement des données en modules pour minimiser les opérations de chargement d’adresse.
• Options s’appliquant par fichier ou par fragments de code source
• Optimisé pour l’Auto-Coding
• Bibliothèques Standard et math commerciales ( pas d’open source)
• Support de driver AUTOSAR MCAL

Support Multi-Core Avancé

• Concept ‘Masquer/Montrer’ entre les coeurs au niveau du Linker
• La solution propriétaire pour migrer vers le multi-coeurs.
• Le code applicatif peut être porté en multi-coeur sans modification du source.
• Un logiciel éprouvé peut être migré facilement sur un circuit multi-core
• Basé au niveau Linker (conforme EABI et ISO) – une solution propriétaire pour migrer en multi-core
• L’information Core ID peut êtrre enregistrée en meta-information sur des sections et dans des objets, extraction facile des infos par l’analyse de la table de symboles.
  Support des architectures multi-coeurs homogènes et hétérogènes.

Solutions pour logiciel embarqué Automobile et Industriel

Compilateur C/C++ pour Tri-Core

Le compilateur HighTec est certifié ISO 26262 en tant qu’outil logiciel certifié NQA pour les développement liés à la sécurité.

Caractéristiques du compilateur TriCore:

– Compilateur C PCP C – Support Multi-Coeur
– Support des AURIX
– Optimisation sophistiquée du code aussi bien en densité, qu’en vitesse d’éxécution 
– Utilisation des modes d’adressage optimals: absolu, relative aux registres, circulaire
– Arithmétique à saturation sur les entiers et opérations sur données par paquets 
– Support FPU
– Emulation logicielle virgule flottante additionelle
– Maintenance et services professionnels pérennes.

Brochure High-Tec Tricore

Compilateur C/C++ pour PowerPC

Caractéristiques du compilateur PowerPC:

– le support VLE
– également, le support SPE
– et enfin, le support Multi-Coeur
– optimisation sophistiquée du code aussi bien en densité, qu’en vitesse d’éxécution
– utilisation optimisée des modes d’adressage
– émulation logicielle virgule flottante additionelle
– maintenance et services professionnels pérennes.

Compilateur compatible familles MPC 551 x, MPC553x, MPC555x, MPC556x, MPC560x, MPC563x, MPC564x, MPC567x  de Freescale.
SPC56x, STPC57x, STPC58x de STMicroelectronics
Brochure High Tec PowerPC

Compilateur C/C++ pour ARM

Caractéristiques du compilateur pour ARM:

– Cortex M3/M4 (Infineon’s XMC4700/XMC4800 SoCs…)
– Support VFP
– Support jeu d’instructions Thumb2

Brochure High Tec-Arm

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

High tec QKIT Overview