LDRA

LDRA Test microcontrôleurs
L’éditeur britannique d’outils logiciels d’analyse et de test de systèmes critiques LDRA a décidé d’adapter ses technologies d’analyse de code au domaine des microcontrôleurs. Jusque-là, en effet, la plupart des applications...
Réservé aux abonnés
LDRA outil LCMS
Introduit officiellement lors du dernier salon Embedded World, l’outil LDRA Compliance Management System (LCMS) de l’éditeur britannique LDRA vise à faciliter la gestion des projets de développement logiciel embarqués ...dans les automobiles,...
Réservé aux abonnés
LDRA Lauterbach
Afin d’améliorer le test et la vérification globale d’un système embarqué, l’anglais LDRA mène une politique d’intégration de ses outils avec ceux de partenaires qui proposent des technologies adjacentes et complémentaires....
Réservé aux abonnés
LDRA L'Embarqué N°1-2013
Misra C:2012 est une amélioration des normes MISRA C qui, tout en restant proche des versions précédentes, bénéficie non seulement de règles supplémentaires spécifiques au C99, mais aussi d’une amélioration dans la...
Réservé aux abonnés
LDRA Simulink
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...
Réservé aux abonnés
LDRA Misra C
Pour le développement d’applications critiques en langage C, la société britannique LDRA annonce la compatibilité de ses outils de développement avec les règles de codages récemment publiées par ...l’organisme Misra en 2012. LDRA...
Réservé aux abonnés