Aérospatial

White paper : concevoir des applications embarquées critiques et déterministes sur architectures multicoeurs

Publié le 22 septembre 2017 à 08:31 par François Gauthier         Krono-Safe

Société française qui propose une technologie logicielle de rupture issue du CEA permettant de garantir à la fois sûreté de fonctionnement et déterminisme aux applications critiques embarquées, Krono-Safe publie un white paper intitulé “An innovative technology solution to design deterministic safety-critical applications on multi-core architectures”. ...

Partager
Lire

Huit raisons d'utiliser des FPGA dans les applications à sûreté de fonctionnement

Publié le 18 septembre 2017 à 12:37 par Pierrick Arlot         Intel

[APPLICATION by INTEL PSG] Réaliser un produit à sûreté de fonctionnement efficace demande beaucoup de rigueur. L’utilisation de FPGA permet une plus grande souplesse de conception et une meilleure optimisation système que ce qu’il est possible d’envisager avec des composants standard. Accompagnés d’un flot de conception certifié apte à maintenir le niveau de rigueur exigé, les FPGA peuvent aussi faciliter l’obtention du précieux sésame qu’est la certification vis-à-vis des normes de sûreté de fonctionnement....

Partager
Lire

Avec ADLink, la puissance des Intel Core de 6e génération vient aux cartes PCI/104-Express

Publié le 13 septembre 2017 à 07:55 par François Gauthier         ADLink

Le fabricant taïwanais de cartes et sous-systèmes pour l’embarqué ADLink intègre les processeurs Intel Core de 6e génération (Skylake-H) sur une carte PCI/104-Express Type 1 dotée d’une interface PCIe x16. Cette carte référencée CMx-SLx embarque jusqu'à 16 Go de mémoire soudée DDR4-ECC. ...

Partager
Lire

Mil/aéro : LDRA délivre son outil de vérification du code objet pour tous les cœurs PowerPC

Publié le 06 septembre 2017 à 12:15 par François Gauthier         LDRA

Distribué par la société ISIT sur le marché francophone, le britannique LDRA, éditeur d’outils logiciels dans le domaine de la sûreté de fonctionnement, de l’analyse automatisée du code source et des tests logiciels, a rendu sa suite d'outils (LDRA Tool Suite) compatible avec l’ensemble des microprocesseurs PowerPC 32 et 64 bits ...

Partager
Lire

Technologies spatiales : la spécification CompactPCI Serial for Space a été ratifiée

Publié le 04 septembre 2017 à 11:07 par Pierrick Arlot        

Créateur de standards ouverts pour cartes, modules processeurs ou architectures en châssis mis en œuvre sur les marchés de l’industriel, de la Défense, de l’aérospatial, des télécommunications, du médical ou du test et de la mesure, le comité PICMG a ratifié en août la spécification cPCI Serial Space. ...

Partager
Lire

Standards : le PICMG publie une brochure qui récapitule ses succès et liste ses travaux en cours

Publié le 23 août 2017 à 15:14 par Pierrick Arlot        

Créateur de standards ouverts pour cartes embarquées, modules processeurs ou architectures en châssis mis en œuvre sur les marchés de l’industriel, de la Défense, de l’aérospatial, des télécommunications, du médical ou du test et de la mesure, le comité PICMG a publié cet été une brochure de huit pages ...

Partager
Lire

Start-up dans l’aéronautique : partenariat entre l’incubateur Starburst Accelerator et le Gicat

Publié le 14 juillet 2017 à 08:24 par François Gauthier        

Fort de son label Generate, lieu d’échanges qui favorise la promotion de l’innovation au sein du secteur de la Défense et de la sécurité, le Gicat (Groupement des industries françaises de Défense et de sécurité terrestres et aéroterrestres) et Starburst, un incubateur de jeunes sociétés ...

Partager
Lire

Lire les articles suivants