L'embarqué > Logiciel> Développement

Développement

Renesas amène la certification logicielle SIL3 aux équipements industriels fondés sur ses microcontrôleurs RX

Publié le 21 mars 2019 à 12:50 par François Gauthier         Renesas

Le fournisseur de semi-conducteurs Renesas lance sur le marché industriel une solution estampillée RX Functional Safety qui fournit une prise en charge complète de la sécurité fonctionnelle d’un système industriel bâti sur ses microcontrôleurs RX. Une approche qui vise à réduire la complexité de l'obtention de la certification CEI 61508 au niveau SIL3, ...

Partager
Lire

Concevoir un système connecté pour la sécurité ET la sûreté

Publié le 20 mars 2019 à 10:32 par François Gauthier        

[APPLICATION by BARR GROUP] Un « bon » logiciel embarqué doit être conçu pour satisfaire à la fois des exigences de sécurité et de sûreté. Cependant, l’avènement de la connectivité induit des vulnérabilités dans les applications avec des conséquences sur le niveau de sûreté. Une compréhension profonde des deux concepts, associée à de bonnes pratiques de conception, devient indispensable. Celles-ci portent sur l’adoption de normes de codage, l’utilisation d’outils d’analyse statique, les révisions de code et la modélisation des menaces, comme l’explique ici le Barr Group. ...

Partager
Lire

Le générateur de code de production de dSPACE gère le code Matlab inséré dans des modèles Simulink

Publié le 19 mars 2019 à 12:37 par François Gauthier         dSPACE

A travers la version 4.4 de son outil de génération de code de production TargetLink, dSPACE, fournisseur de solutions matérielles et logicielles de développement d’applications pour véhicules, permet aux ingénieurs de décrire algorithmes et modèles de comportement du contrôleur automobile directement avec du code Matlab dans un modèle Simulink....

Partager
Lire

Mil-aéro : Airbus Defence & Space et CoreAVI collaborent sur des solutions certifiables de calcul GPU

Publié le 19 mars 2019 à 10:52 par François Gauthier        

Airbus Defence & Space et l’américain Core Avionics & Industrial, fournisseur de produits et de services pour les applications critiques et sécuritaires dans l’avionique, ont scellé un partenariat technologique dont l’objet est de favoriser l’utilisation d’unités de calcul fondées sur des processeurs graphiques GPU dans l’avionique ...

Partager
Lire

OneSpin lance une solution de vérification formelle des conceptions RISC-V

Publié le 13 mars 2019 à 11:20 par François Gauthier        

La firme allemande OneSpin Solutions, spécialiste des outils de vérification formelle des fichiers de conception de circuits intégrés ou des blocs de propriété intellectuelle (IP), élargit ses technologies à la communauté des développeurs de processeurs et puces-systèmes fondés sur le jeu d’instructions open source RISC-V....

Partager
Lire

La Fondation Linux veut promouvoir du code open source pour la conception de puces-systèmes RISC-V

Publié le 12 mars 2019 à 09:26 par Pierrick Arlot        

Sous la houlette de la Fondation Linux, plusieurs sociétés, dont Google, SiFive, Western Digital et Esperanto Technologies, viennent de lancer un projet visant à développer dans le cadre d’un environnement collaboratif un jeu de blocs d’IP et d’outils open source facilitant la conception de processeurs et de puces-systèmes SoC bâtis sur l’architecture, également open source, RISC-V. ...

Partager
Lire

Développement : LDRA collabore avec Jama et Polarion pour une traçabilité bidirectionnelle des exigences

Publié le 01 mars 2019 à 10:59 par François Gauthier         LDRA

[EMBEDDED WORLD] L'intégration de la suite d'outils d’aide au développement logiciel du britannique LDRA avec les technologies de l’américain Jama Software et celles de Siemens, via son outil de gestion PLM Polarion, a pour objectif principal de fournir une traçabilité bidirectionnelle de bout en bout des exigences, tout au long du cycle de développement d’un produit....

Partager
Lire

Infineon et AbsInt collaborent autour de l’analyse des pires cas de temps d’exécution sur les processeurs Aurix

Publié le 28 février 2019 à 08:34 par François Gauthier         AbsInt

[EMBEDDED WORLD] AbsInt, spécialiste des technologies logicielles d’analyse et de vérification de code pour applications critiques, et la société de semi-conducteurs Infineon ont décidé de collaborer pour proposer aux développeurs une chaîne d’outillage logiciel pour les processeurs de la famille Aurix....

Partager
Lire

Lire les articles précèdents

Lire les articles suivants