For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

Partenaires dSPACE

(Par ordre alphabétique)

AbsInt développe des outils destinés à valider, vérifier et certifier les logiciels embarqués en contexte critique. Ces outils d'analyse statique basent leur calcul sur la théorie de l’interprétation abstraite et garantissent des résultats fiables et valides pour tous les programmes et tous les scénarios d'entrée possibles. En coopération avec dSPACE, AbsInt a réalisé l’intégration entre TargetLink et les outils AbsInt Astrée (analyse des erreurs d'exécution), StackAnalyzer (analyseur de pile) et aiT WCET Analyzer (analyseur de temps d'exécution dans le cas le plus défavorable). Ainsi les erreurs d'exécution, les débordements de pile et les anomalies de temps d’exécution peuvent être détectées depuis un modèle TargetLink ce qui améliore considérablement les résultats d'analyse et réduit au minimum les fausses alertes. Des kits de qualification sont disponibles pour les outils AbsInt ce qui permet une qualification automatique d'outils selon les normes de sécurité en vigueur.


AbsInt est un partenaire TargetLink.

AMD est un sous-traitant global de circuits intégrés destinés aux marchés de l’informatique, des communications et de l’électronique grand public. Leurs produits comprennent les microprocesseurs, les dispositifs de mémoire flash, les solutions silicone pour les communications et les applications en réseau. La technologie du processeur serveur AMD Opteron™ 64 bits a été intégrée au matériel dSPACE (DS1006 Processor Board).

BTC Embedded Systems AG fournit des produits et des services destinés à la vérification formelle, à la validation et aux tests automatisés de systèmes intégrés. Les produits BTC réduisent considérablement le temps et les efforts nécessaires dans les tests et la validation de systèmes intégrés tout en augmentant considérablement leur qualité. BTC EmbeddedTester® est une solution certifiée et hautement intégrée destinée aux tests de modèles Simulink®/TargetLink® et du code de production. Ceci comprend les tests basés sur exigences ainsi que la génération de cas de test automatiques pour les tests « back-to-back » automatisés. BTC EmbeddedSpecifier® et BTC EmbeddedValidator® permettent aux utilisateurs de spécifier intuitivement des exigences formelles et critiques et de permettre la vérification automatique et complètement formelle du code automatique TargetLink. En combinaison avec la dSPACE RTT Observer Library, BTC EmbeddedSpecifier permet la vérification formelle par simulation qui augmente considérablement la profondeur et la couverture de test, en particulier pour les systèmes critiques, pendant les tests HIL ou la validation virtuelle.



BTC est partenaire stratégique TargetLink.

Elektrobit (EB) Automotive offre des solutions logicielles pour les systèmes automobiles d'info-divertissement, les unités de commandes électroniques (calculateurs) et les systèmes d'aide à la conduite.
La gamme de produits EB tresos® fournit un logiciel de base conforme AUTOSAR, des systèmes d'exploitation et les outils correspondants pour la configuration et la génération de code. EB tresos® fournit également un support pour l'application de la norme ISO 26262 jusqu'au niveau d’exigence ASIL-D/SIL 3. L’objectif de la coopération entre EB et dSPACE est de proposer une chaîne d’outils optimale – dSPACE TargetLink®, dSPACE SystemDesk® et EB tresos® Studio – pour le développement des derniers logiciels des calculateurs d’architecture AUTOSAR.
Dans le domaine des systèmes d'aide à la conduite (ADAS), Elektrobit et dSPACE coopèrent au niveau du développement et des tests des systèmes d'aide à la conduite utilisant les cartes routières. Construit sur le protocole ADASIS v2, dSPACE offre l'ADASIS v2 Horizon Reconstructor Blockset pour Simulink. L'EB Assist ADASISv2 Reconstructor d'Elektrobit est intégré dans ce blockset.

Emerge-Engineering est spécialisée dans le développement de logiciels de contrôle de moteurs électriques dérivés de modèles. Le Motor-Control Education Kit (MEDKit) de Emerge-Engineering est une plate-forme de formation à base de microcontrôleur et spécialement conçue pour l'enseignement de la programmation C, du développement basé sur modèle et de la génération de code automatique avec TargetLink. Le MEDKit est un outil d'enseignement de la programmation intégrée et utilise TargetLink pour générer des fonctions temps réel de bas niveau ainsi que des fonctions de contrôle complexes.


Emerge-Engineering est partenaire TargetLink.

Freescale est le fournisseur leader mondial de semi-conducteurs destinés à l’industrie automobile. Freescale et dSPACE coopèrent au développement de modules logiciels pour TargetLink, l’outil de codage automatique de dSPACE. dSPACE est ainsi en mesure de proposer à ses clients des modules d'optimisation et de simulation dès que Freescale lance un nouveau processeur sur le marché. De plus, TargetLink supporte également le système d’exploitation temps réel OSEKturbo de Freescale.

Infineon Technologies est l’un des constructeurs leader mondial de semi-conducteurs.
Infineon et dSPACE coopèrent au développement de modules d’optimisation et de simulation TargetLink pour différents processeurs Infineon. Les processeurs TriCore, XC2000 et C16x sont déjà supportés.

Intempora a été fondée en 2000 à partir de travaux de recherche effectués au Centre de robotique de l’École des Mines de Paris (nommée à présent Mines ParisTech). Depuis, l’équipe d’ingénieurs logiciels de cette société a travaillé au développement de RTMaps et de produits relatifs, en les transformant en des structures logicielles robustes et simples à utiliser qui répondent aux attentes des clients industriels. Intempora est, entre autre, membre du Groupement ADAS, une équipe du groupement français Mov’eo qui concentre ses efforts sur le domaine des systèmes avancés d’aide à la conduite.

KPIT est un partenaire majeur de solutions techniques destinées aux sociétés mondiales de production. Son activité se concentre en particulier sur l'industrie automobile et les processus de travail. L'expertise de KPIT s'étend à de nombreux sous-domaines de l'automobile tels qu’AUTOSAR et les réseaux embarqués, les fonctions de diagnostic du véhicule, la sécurité fonctionnelle, les systèmes d'infodivertissement, la transmission, le châssis, l'aide à la conduite et la conception. KPIT aide ses clients à concevoir et à installer des solutions de mobilité avancées avec des outils et des processus électroniques, mécaniques et logiciels intégrés afin de réduire les temps, les coûts et les efforts de développement.
MCD-3D Runtime, le système d'exploitation de diagnostic de KPIT (anciennement In2Soft), est complètement intégré à ControlDesk® Next Generation de dSPACE grâce à l'interface d'automatisation standardisée ASAM-MCD 3D.
 

MathWorks développe des logiciels de calcul technique pour les ingénieurs et les scientifiques dans l'industrie et l'éducation. Une famille étendue de produits basée sur MATLAB® et Simulink® fournit des outils de productivité élevés pour résoudre les défis présentés par les problèmes techniques dans le domaine des mathématiques, du calcul et de la modélisation.

dSPACE et MathWorks coopèrent avec succès et les produits des deux sociétés se complètent parfaitement.

Model Engineering Solutions (MES) est une société de consultants en informatique spécialisée dans le développement par modélisation de logiciels intégrés à l’aide de Simulink®, Stateflow® et TargetLink. En plus d'offrir des services de développement et de gestion de qualité pour les composants logiciels modélisés, MES développe et distribue le Model Examiner, un outil qui contrôle automatiquement que les modèles respectent les directives de modélisation. dSPACE et MES coopèrent au développement futur des contrôles de modèle pour les règles (MISRA-)TargetLink et pour les règles de modélisation AUTOSAR. Model Engineering Solutions (MES) est partenaire stratégique TargetLink.

PikeTec Développe l’outil de test TPT destiné aux tests de systèmes de contrôle embarqués. TPT est utilisé pour créer systématiquement des cas de test en utilisant une programmation basée sur des automates. Les tests peuvent réagir au comportement du système en fonctionnement et sont exploitables sur presque toutes les plates-formes de test (telles que Simulink®/TargetLink, MIL, SIL, PIL, code C, CAN et LIN ainsi qu’en temps réel sur des plates-formes temps réel). Après l’exécution d’un test, une évaluation détaillée est produite automatiquement, même dans le cas de scénarios complexes. Les résultats de test sont présentés sous forme d’un rapport clairement structuré. PikeTec offre également des services de conseil et d’ingénierie dans le domaine des tests et de l’assurance qualité pour les systèmes embarqués.

Pike Tec est partenaire TargetLink.

Reactive Systems, Inc. offre des outils et des services destinés aux tests et à la validation de logiciels embarqués. La gamme de produits Reactis® de cette société automatise la validation de modèles Simulink®/Stateflow® et TargetLink ainsi que la génération de données de test compactes et complètes pour ces modèles. Le plug-in Reactis for C est intégré à Reactis et permet d’effectuer des tests « boite blanche » pour tester des parties du code C d’un modèle (S-fonctions et code custom Stateflow). dSPACE et Reactive Systems coopèrent afin d’assurer que Reactis et TargetLink fonctionnent parfaitement ensemble.

Reactive Systems, Inc. est partenaire TargetLink.

Schaeffler Engineering GmbH est un fournisseur international d’ingénierie de système mécatronique, spécialisé dans le groupe moto-propulseur, les tests, les systèmes de mesure embarqués et l’optimisation de la NVH / de l’acoustique de véhicule.


Schaeffler Engineering GmbH est partenaire TargetLink.

TASKING (Embedded Software Development from Altium) fournit des compilateurs C/C++ et des débogueurs particulièrement performants pour un grand nombre de microcontrôleurs, notamment le 8051, le C166, le ST10, le XC16x, le XC2xx, le XE16x, le TriCore, l’ARM, le PowerPC, le M16C, le DSP56K, le 68K, le ColdFire et le Nios II. Des noyaux/RTOS basés sur des standards tels que Posix ou OSEK et des entités TCP/IP sont également disponibles. TargetLink génère un code optimisé, adapté à la cible pour de nombreuses combinaisons de compilateurs/de processeurs tels que la chaîne d’outils TASKING VX pour TriCore ou encore la suite classique C166/ST10 et la famille XC2200 (via Tasking VX pour le C166/ST10). Les TargetLink Target Optimization Modules tirent parfaitement profit des particularités du processeur et du compilateur, par exemple en utilisant les extensions de langage spécifiques au compilateur et l’assembleur « inliné ». Ce qui augmente l’efficacité du code C généré.

TASS est une société de simulation logicielle innovante présentant une solide base en R&D de par son étroite coopération avec TNO. TASS propose à l'industrie des transports une gamme de produits étendue pour le développement de systèmes de sécurité destinés au monde réel. Depuis sa maison mère aux Pays-Bas et ses bureaux dans le monde entier, TASS travaille en coopération étroite avec les principaux constructeurs automobiles et leurs sous-traitants, afin de fournir des solutions dédiées aux défis complexes en matière de sécurité. TASS et dSPACE s’efforcent ensemble à intégrer PreScan de TASS et les Automotive Simulation Models (ASM) de dSPACE afin de concevoir et de valider les systèmes avancés d’aide à la conduite et les systèmes actifs de sécurité.



TESIS développe des logiciels et des processus pour optimiser les méthodes de travail assistées par ordinateur dans le développement de produits. TESIS DYNAware offre des modèles haute performance pour simulation hardware-in-the-loop avec dSPACE Simulator, comme des modèles de moteur, des modèles de dynamique véhicule et des modèles hydrauliques.


VEMAC GmbH & Co.KG est fournisseur de services et de produits pour les secteurs tels que la construction de bancs d'essais, le développement logiciel, le développement de systèmes électroniques, la technologie piézo, le prototypage rapide de lois de commande et les tests sur banc d'essais. Le code de production pour les calculateurs VEMAC est généré par TargetLink® de dSPACE. VEMAC a développé les interfaces nécessaires en coopération avec dSPACE et les propose à ses clients.