Logiciel

AdaCore partenaire avec Nvidia avec les lanages Ada et Spark
AdaCore, éditeur franco-américain d’outils de développement et de vérification logiciels pour applications critiques, anonce la disponibilité opérationnelle des langages de programmation formelle Ada et Spark (*) sur le marché automobile, et ce...

Conçu pour fournir un aperçu immédiat du comportement du système d’exploitation temps réel Zephyr, l’outil de trace Percepio View de l’éditeur suédois d’outils de visualisation de code Percepio (distribué en...

Siemens outils de CAO pilotés par l'IA PADS Pro et Xpedition
Le groupe allemand Siemens à travers son entité Siemens Digital Industries Software, a décidé de rendre sa technologie de conception de cartes électroniques (PCB, Printed Circuit Board), optimisée par l’intelligence artificielle(IA), accessible aux...

Thales chosit TrusInSoft Analyser pour ses systèmes avioniques
Le français TrustInSoft, éditeur d'outils d'analyse de code et de vérification formelle pour la sécurité des logiciels, annonce que le groupe Thales a décidé de s’appuyer sur son outil TrustInSoft Analyzer pour renforcer la...

Spécification MIPI C-PHY version 3.0
La version 3.0 de la spécification MIPI C-PHY - interface de couche physique pour le transfert de données à haut débit, publiée par l’Alliance Mipi (Mobile Industrial Processor Interface) organisme qui édicte des standards pour liaisons entre...

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...


Solutions d’IA embarquée au service des forces armées : la start-up française Alta Ares lève 2 millions d’euros
La jeune société française Alta Ares, spécialisée dans les solutions d’intelligence artificielle (IA) et de gestion de la données pour le secteur de la défense, vient de lever 2 millions d'euros auprès des fonds Expansion et...

Aqara renforce la compatibilité Matter sur ses équipements
La société chinoise Aquara (*), fournisseur de technologies de l’IoT pour la maison intelligente et connectée (capteurs, passerelles, logiciels…), annonce que sa plateforme de gestion d’objets connectés Aquara Home, adopte dédormais massivement...

Segger Quintauris RISC-V
La société allemande Segger, spécialiste en outils matériels et logiciels de débogage et de programmation de cibles embarquées, a décider de collaborer avec la société Quintauris afin de favoriser la conceptions et à faciliter le...

IoT de masse : Telenor IoT adopte d’ores et déjà la norme eSIM SGP.32 édictée par l’organisme GSMA
Le fournisseur suédois de services dans le domaine de l’IoT Telenor IoT, a décidé d’adopter la future norme eSIM SGP.32 de la GSMA prévue en publication dans sa version définitive dans les prochains mois, afin de pérenniser les...

White paper PTC ISO 26262 et ASPICE
Dans ce white paper en anglais sur 9 pages, PTC détaille comment l'évolution des exigences de sécurité fonctionnelle dans l'industrie automobile impose aux développeurs et fournisseurs de technologies numérique de maîtriser la...

Logiciel Assistant IA Arduino
La société Arduino qui gère et développe une plateforme ouverte éponyme, annonce que le logiciel Assistant IA est désormais disponible dans l'environnement de développement Arduino Cloud. Il s’agit d’un outil compagnon expert en...