LDRA rend possible la vérification des modèles Simulink au niveau des codes source et objet
Publié le 02-04-2013
par Francois Gauthier
Le développement basé modèles, réalisé par exemple avec les outils Matlab et Simulink de Mathworks, impose de multiplier les phases de vérification du code, notamment vis-à-vis des normes de certification ...de l’avionique comme la DO-178C pour...
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)
- 25/04/2013 – Frédérique Vallée, All4tec : "Les approches de tests basées sur les modèles vont s'imposer"
- 05/04/2013 – Stockage : le Jedec publie les suites de test standard de l’interface UFS
- 05/04/2013 – Coverity ouvre son outil de test aux projets open source en Java
- 27/03/2013 – L’OCP-IP annonce une spécification pour le débogage des architectures hétérogènes
- 26/03/2013 – Xilinx renforce ses solutions vis-à vis-des certifications pour l’avionique
- 22/03/2013 – Ruetz renforce son activité de tests et de stress des bus automobiles
