HighTec: Suite de développement Multi-coeur, Safety

compilateur certifie hightec

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.

HighTec-Compiler

Plateforme de développement pour l'Industrie et l'Automobile

Un Produit Complet:

HighTec propose des chaînes de Compilation multi-architecture et multi-core avec une technologie d’optimisation la plus performante. Par exemple, le support de blocs fonctionnels spécifiques de l’architecture tels que les modules GTM/MCS et HSM. Et aussi avec  un 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 Tri-Core, PowerPC et Arm :

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
PDFBrochure 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

HighTec-QKit

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.

PDFHigh tec QKIT Overview

HighTec-PXROS-HR

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)

Voir notre page Compilateur Certifié HighTec . Voir plus d’informations sur le site  HighTec