LDRA

Application LDRA : IA ML dans les systèmes critiques pour les drones
[APPLICATION LDRA] Comme les logiciels open source il y a quelques années, l'intelligence artificielle (IA) et l'apprentissage automatique (ML, Machine Learning) sont les nouvelles frontières des logiciels embarqués critiques pour la...

LDRA Mesure automatique du WECT sur Risc-V
La société britannique LDRA, spécialiste en outils de test et de vérification de code (et qui fait désormais partie de Tasking) a présenté lors du salon Embedded World qui s’est déroulé du 11 au 13 mars 2025 à Nuremberg,...

LDRA support les logiciels implantés sur RISC-V
Accélérer les tests ciblés des applications embarquées critiques fondées sur des architectures RISC-V, tel est l’objectif affiché par la firme britannique LDRA, éditeur d’outils automatisés de vérification, de...

[APPLICATION LDRA] L’annonce récente effectuée par le Misra Working Group de deux nouvelles mises à jour concernant les directives Misra C, Misra C:2012 Amendment 4 (AMD4) et de l’imminente Misra C:2023 marque une étape...

DDC-I et LDRA intégrent leur outils respectifs pour l'avionique
Fournisseur de logiciels et de services professionnels pour les applications critiques et sensibles vis-à-vis de la sûreté de fonctionnement, l’éditeur américain DDC-I annonce que son système d’exploitation temps réel Deos, conforme aux...

De nouvelles fonctionnalités axées sur la sécurité, notamment une analyse étendue des failles et des cartes de vulnérabilité, vont aider les développeurs de logiciels embarqués à résoudre les problèmes critiques...


LDRA MISRA:C 2023
S'appuyant sur son expertise dans la prise en charge de la norme Misra C qui donne aux développeurs des directives et règles de codage pour des applications écrites en langage C, la firme britannique LDRA indique avoir ajouté à ses outils d’analyse de...

LDRA Autosar C++14
L’éditeur d’outils de vérification automatisés et de conformité aux normes LDRA (distribué en France par Isit) annonce qu’il prend désormais en charge au sein de sa suite d'outils les spécifications Autosar C++14 mises en oeuvre...

LDRA Jenkins
L’éditeur britannique LDRA, fournisseur d'outils de vérification logicielle, d'analyse de code source et de test (distribué en France par ISIT), a ajouté un plug-in à ses logiciels afin de leur apporter la capacité de s’intégrer au...

LDRA DDC-I
Le britannique LDRA, éditeur de logiciels de test et de validation de code embarqué, et l’américain DDC-I, fournisseur de logiciels embarqués pour applications critiques, se sont associés afin de fournir des moyens puissants et efficaces permettant de...

LDRA OpenSynergy
Le britannique LDRA, spécialiste des outils de vérification automatisée de logiciels et d'analyse de code source, a noué un partenariat technologique avec l'allemand OpenSynergy, filiale du japonais Panasonic et éditeur de logiciels embarqués pour...

LDRA Yocto
L’éditeur britannique de logiciels de test et de validation de code embarqué LDRA a décidé d’intégrer ses outils de test au sein de l’environnement Yocto, un projet collaboratif qui permet aux développeurs de s'appuyer sur des outils open...