Logiciel

PX5 annonce la certification de sécurité fonctionnelle de son système de fichiers FAT embarqué
Edité par la société éponyme américaine et lancé sur le marché en fin d’année 2022 (voir notre article), PX5, le système d’exploitation temps réel doté d’une implantation native des threads Posix, vient...

IAR optimise ses chaînes d'outils pour les coeurs Arm et RISC-V pour des flux de travail agiles
L’éditeur suédois d’outils de développements logiciels IAR, lance une mise à jour jugée majeure de ses chaînes d'outils phares destinées à l'écriture d’application sur des cibles Arm (version 9.70) et RISC-V...

White paper AdaCore : White paper : faut-il choisir les langage Ada, SPARK ou Rust plutôt que le C/C++ ?
Chez les développeurs de logiciels de haute intégrité, notamment pour les systèmes embarqués, les candidats les plus courants en 2024, en termes de langages de programmation, incluent le C/C++, l’Ada/SPARK et le Rust. Cependant, dans de nombreuses...

EEPX et Wind River collaborent sur l'IA dans l'Edge
DEEPX, entreprise coréenne de semi-conducteurs conçus pour accueillir des algorithmes d’intelligence artificielle (IA) et l’éditeur de logiciels pour l’embarqué Wind River, ont décidé de collaborer autour d'une combinaison...

5G satellitaire pour l’automobile : Anritsu travaille sur la mesure de KPI pour des cas d'utilisation clés des réseaux non terrestres
Le fournisseur d’instruments de test et mesure japonais Anritsu, en tant que partenaire de deux démonstrations pionnières de la technologie des réseaux non terrestres (NTN, Non Terrestrial Network) conformes à la norme 3GPP Release 17, lors de la réunion en...

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