L'analyse de développements logiciels basés modèles pour l’automobile s'accélère
Publié le 24-05-2013
par Francois Gauthier
Avec son outil de vérification statique Mxam (Model Examiner), la société berlinoise Model Engineering Solutions (MES) a pour ambition d’analyser les développements basés modèles de code embarqué pour l’automobile. ...Avec la version 1.7...
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)
- 06/06/2013 – La démocratisation des méthodes de preuve formelle est en marche
- 04/06/2013 – Altera va utiliser la technologie de Network-On-Chip d’Arteris
- 31/05/2013 – Les environnements de Lattice s’adaptent aux contraintes de la basse consommation
- 17/05/2013 – L’outil CoSy Compiler optimise les compilateurs pour architectures spécifiques
- 16/05/2013 – Limiter les surcharges via l’ordonnancement du seuil de préemption
- 16/05/2013 – Le MISRA C:2012, pour obtenir du code C à haut niveau de sûreté
