Le lundi 2 février verra le lancement du laboratoire ProofInUse. Son objectif est de fournir des outils de vérification de logiciels basés sur la preuve mathématique à des acteurs industriels. Ces outils visent à remplacer ou à complémenter les activités existantes de tests, tout en réduisant les coûts de vérification pour l’aérospatial, le transport, la médecine ou encore l’aéronautique …

publicité

« Les logiciels vérifiés avec ces techniques formelles seront plus fiables et moins coûteux à développer », promettent les responsables du laboratoire.

C’est en 2014 que l’Agence Nationale de la Recherche (ANR) a validé le projet de laboratoire commun ProofInUse d’Inria, établissement public de recherche dédié aux sciences du numérique, et de la société AdaCore, éditeur de logiciels spécialisé dans la fourniture d’outils de développement et de vérification pour les logiciels critiques.

« La place des logiciels dans les systèmes informatiques, ainsi que leur criticité, ne cesse de croître dans tous les domaines. Pour certains, où la certification de ces systèmes est requise tels que l’aérospatial, le transport, la médecine ou encore l’aéronautique, la moindre faille logicielle peut avoir des conséquences dramatiques, tant humaines que financières. L’objectif de ce laboratoire commun, démontrant l’excellence de la recherche française, est d’augmenter le nombre d’utilisateurs industriels en démocratisant l’utilisation des technologies de preuve formelle », souligne le communiqué de ProofInUse.

Le marché mondial de la CAO électronique a progressé de 5,7% au troisième trimestre 2014 par rapport au troisième trimestre 2013 et a augmenté de 4% par rapport au deuxième trimestre 2014, à 1828,1 M$, selon les statistiques de l’EDA Consortium. Cette progression s’explique surtout par l’envol de 22,9% sur un des ventes trimestrielles de blocs d’IP et des services (+20,2%) …

Au cours des quatre derniers trimestres (T4-2013 à T3-2014), le marché de la CAO aura ainsi progressé de 5,6% par rapport aux quatre trimestres précédents.

Toutes les régions du monde à l’exception du Japon ont enregistré de solides revenus, avec des records sur le continent américain et dans la zone Asie-Pacifique. « Le troisième trimestre 2014 marque ainsi le 19e trimestre de suite d’expansion du marché de la CAO électronique », se plait à dire Walden C. Rhines, p-dg de Mentor Graphics et président de l’EDA Consortium.

Les statistiques du consortium pour le troisième trimestre 2014 montrent que la conception en électronique a augmenté sur un an en Europe. Les ventes de CAO en Europe de l’Ouest, Moyen-Orient et Afrique ont en effet progressé de 4% sur un an, à 296,8 millions de dollars. En lissant les ventes des quatre derniers trimestres par rapport à celles des quatre trimestres précédents, le marché européen de la CAO a progressé de 3,4%.

En Amérique du Nord, le marché de la CAO a augmenté sur un an de 9,2% au troisième trimestre, à 842 M$. En comparant, les ventes des quatre derniers trimestres à celles des quatre trimestres de l’année précédente, le marché américain de la CAO a progressé de 8,7%.

Au Japon, le marché trimestriel de la CAO a chuté en dollars de 15,3%, à 189,5 M$ (-12,2%, si l’on prend en compte l’évolution sur quatre trimestres). Dans le reste de la région Asie-Pacifique, le marché de la CAO a progressé de 11,3%, à 499,9 M$ (+12,2% en prenant en compte l’évolution sur quatre trimestres).

Par famille de produits, les ventes mondiales de logiciels d’aide à l’ingénierie du troisième trimestre ont reculé en un an de 6,1%, à 604,5 M$. Deuxième famille de produits du secteur, les ventes trimestrielles de blocs de propriété intellectuelle (IP) ont bondi sur un an de 22,9%, à 586,1 M$. Celles d’outils de conception physique et de vérification ont reculé de 1,4% sur un an, à 357,8 M$. Les ventes de logiciels de routage pour circuits imprimés et modules multipuces ont progressé de 9,7%, à 167,4 M$. Enfin, les services ont progressé de 20,2%, à 112,4 millions de dollars.

La profession employait 31 648 personnes dans le monde fin septembre 2014, soit 5,6% de plus qu’un an plus tôt et 1,2% de plus que lors du trimestre précédent.

Numéro trois mondial de la CAO électronique, l’Américain Mentor Graphics annonce l’acquisition de Flexras Technologies, une start-up française créée en août 2009 pour développer des technologies propriétaires afin de réduire le temps nécessaire à la conception de circuits intégrés et de systèmes sur une puce (prototypage, validation et débogage) …

Créé en août 2009 par un groupe d’experts en CAO et FPGA, Flexras bénéfice de 10 ans de recherches au sein de l’Université Pierre et Marie Curie et du laboratoire LIP6. La vision de Flexras est le développement d’un environnement logiciel et matériel pour des architectures reconfigurables dédiées au marché de système sur puce.

Le montant de l’acquisition n’a pas été dévoilé.

National Instruments annonce la publication de L'observatoire des tendances 2015 de NI. Cette deuxième édition annuelle couvre un certain nombre de thèmes – de l'industrialisation de l'Internet des Objets à l'influence croissante du mouvementMaker …

L'observatoire des tendances 2015 de NI, qui se penche sur les tendances actuelles majeures pour aider les ingénieurs à optimiser leurs applications dans différents secteurs de l'industrie, aborde les sujets suivants :

• 5G : l'Internet pour tous et pour tout.

• L'Internet des Objets va détrôner les équipements de test automatique de grande envergure – Les équipements de test automatique traditionnels ne seront pas à la hauteur des exigences de test de demain. Les ingénieurs de test ont besoin d'équipements intelligents pour tester les appareils connectés de l'Internet des Objets.

• L'Internet des Objets Industriels– L'Internet des Objets Industriels représente un grand nombre de systèmes industriels connectés qui communiquent et coordonnent leurs analyses de données et leurs actions pour améliorer les performances industrielles et augmenter les bénéfices des sociétés.

• L'influence du mouvement Maker– L'Internet a fait naître une importante communauté de « bricoleurs du Web ». Étant donné que le mouvement Maker continue de s'amplifier, il est essentiel d'estimer l'impact qu'il aura sur l'innovation, la croissance économique et les générations futures.

Téléchargez l'édition complète sur la page www.ni.com/trend-watch

RS Components (RS), la marque commerciale du distributeur en ligne et par catalogue de composants électroniques et de maintenance Electrocomponents, lance une nouvelle version de DesignSpark Mechanical, l’outil de conception et de modélisation 3D, disponible gratuitement pour les ingénieurs …

La version 2.0 du logiciel présente plusieurs nouvelles fonctionnalités réclamées par les utilisateurs. La nouvelle interface utilisateur simplifiée comprend un texte d’assistance intégré, des tutoriels et des exemples de conceptions pour une prise en main plus rapide. Elle permet également de trouver plus facilement la fonctionnalité nomenclature. De plus, l’outil permet d’accéder à une nouvelle bibliothèque de modèle 3D provenant des principaux fabricants de composants et permettant aussi l’intégration de toutes les données nécessaires à la création d’une nomenclature. Enfin, un service d’impression 3D pour « pièces rapides » est maintenant intégré dans l’outil, et disponible via RS en association avec son partenaire 3D Systems.

DesignSpark Mechanical a été développé en association avec SpaceClaim, éditeur de logiciels de modélisation 3D polyvalents destinés aux ingénieurs. Avec DesignSpark PCB, l’outil de conception de carte de circuit impirmé, DesignSpark Mechanical est un élément clé de l’initiative de la société pour fournir aux ingénieurs des outils qui leur permettent de développer rapidement des prototypes, au stade de l’innovation et de la création de concepts de produits. Un des éléments importants de DesignSpark Mechanical est son format d’exportation STL, qui permet le transfert du modèle 3D réalisé vers une imprimante 3D.
[img]http://www.vipress.net/images/3D1712.JPG[/img]

Keysight Technologies, l’ancienne division test et mesure électronique d’Agilent, devenue une entreprise entièrement indépendante depuis le 1er novembre, publie un chiffre d’affaires annuel de 2,93 milliards de dollars pour son exercice clos fin octobre 2014, en progression de 2% par rapport à l’exercice précédent. Ses prises de commandes ont progressé de 3%, à 2,96 milliards …

Au dernier trimestre, les ventes de Keysight ont représenté 762 M$, en hausse de 8% par rapport au dernier trimestre de l’exercice précédent et ses prises de commandes ont crû de 2%, à 760 M$. Le bénéfice d’exploitation de l’entreprise a atteint 469 M$ pour l’ensemble de l’exercice à comparer à 496 M$ pour l’exercice précédent. Pour le dernier trimestre, son bénéfice opérationnel a atteint 130 M$, contre 128 M$ un an plus tôt.

Pour le trimestre qui démarre, Keysight vise un CA compris entre 675 M$ et 715 M$.