Outil de vérification formelle
Encounter Conformal Low Power GXL de Cadence Ce logiciel de vérification à base de preuve formelle assure la validation de…
Encounter Conformal Low Power GXL de Cadence Ce logiciel de vérification à base de preuve formelle assure la validation de…
M2C Acceleration d'AccelChip Cette solution de synthèse d'algorithmes pour architecture DSP se dote d'un générateur automatique de modèles de vérification…
Starter Kit for STR730F de Hitex Ce kit de développement logiciel/matériel du contrôleur STR730F, basé sur le cœur 32 bits…
TargetLink 2.1 de dSPACE Cette solution de génération automatique de code supporte désormais les architectures TriCore 1.3 d'Infineon et MPCC55xx…
Kit de développement Viper/Windows CE d'Arcom Ces kits de développement pour Windows CE sont basés sur des cartes à base…
XPC Target de The Mathworks Ces pilotes logiciels, destinés à équiper une plate-forme logicielle/matérielle de prototypage rapide, assurent le lien…
ObjectADA 8.2 for VxWorks/PowerPC d'Aonix Cet environnement de développement d'application en langage ADA supporte les processeurs PowerPC équipés de l'OS…
Keil MCB2103 de Keil SoftWare Cette plate-forme logicielle/matérielle permet d'évaluer au niveau applicatif les caractéristiques du micro-contrôleur LPC2103, basé sur…
Kit écran tactile couleur de Nagasaki Ce kit de développement permet d'intégrer un écran tactile à une application embarquée basée…
Nucleus Energy Manager d'Accelerated Technology (division de Mentor Graphics) Cet OS temps réel supporte la technologie de gestion d'énergie logicielle…
CANOpen Library de Port Cette bibliothèque libre de droits écrite en C Ansi est dédiée au développement d'applications basées sur…
VPOM 2430 de Virtio Cette technologie de prototypage virtuel de plate-forme matérielle simule le processeur OMAP4300 et permet de développer…
X-Com System de Wago Destinés à la connexion de sous-groupes précâblés, ces connecteurs modulaires pour montage sur rail se caractérisent…
Connectez-vous pour accéder à l'ensemble de vos contenus et services.
Connectez-vous pour accéder à l'ensemble de vos contenus et services.