Outils Logiciel HighTec

HighTec, Outils pour logiciel embarqué

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 STMicroelectronicsBrochure 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
Voir plus d’informations sur le site HighTec