AbsInt couple ses outils d’analyse de code critique à l’environnement TargetLink de dSpace
Publié le 25-11-2013
par Francois Gauthier
Spécialiste des technologies d’analyse et de vérification de code pour applications critiques, l’éditeur allemand AbsInt lance a3, la version 2013 de ses trois outils phares : aiT WCET (analyse du comportement temporel ...d’un programme et du temps...
Je m'abonne
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 13/12/2013 – La simulation Harware-In-the-Loop s’appuie sur des calculateurs virtuels chez dSpace
- 03/12/2013 – ARM donne un coup de pouce aux développeurs d’applications à sûreté de fonctionnement
- 27/11/2013 – Renesas mise sur la sécurité fonctionnelle pour ses microcontrôleurs RX dédiés automatismes
- 22/11/2013 – Antycip Technologies distribue les solutions d’analyse statique de Raincode
- 21/11/2013 – Presto Engineering reconnu comme centre de test officiel en Europe pour les interfaces HDMI
- 15/11/2013 – MathWorks étoffe Matlab d'une “boîte à outils” pour l’analyse et la vérification de systèmes LTE
