Couverture ElectroniqueS n°127

La manifestation française RTS Embedded Systems a été l'occasion de faire le point sur les derniers outils supportant le standard Autosar et sur l'offre en analyse statique de code. Fournisseurs de matériels et éditeurs de logiciels ont fait le déplacement à Paris-porte de Versailles pour RTS Embedded Systems 2008, qui s'est tenu du 1er au 3 avril derniers (voir notre article page 6). Une majorité d'exposants en a profité pour présenter au public français les produits dévoilés juste avant au salon Embedded World à Nuremberg (Allemagne). Côté matériel, citons, entre autres, la gamme de plates-formes de développement NanoBoard (voir EI n° 642) pour le déploiement de l'australien Altium et les systèmes embarqués reconfigurables économiques CompactRIO cRIO-9072 et cRIO-9074 de l'américain National Instruments. Bientôt des outils pour Autosar 3.0Dans le domaine logiciel, le standard Autosar a occupé une place à part avec plusieurs sessions techniques et les dernières versions d'outils, en attendant la prise en compte d'Autosar 3.0. L'allemand Vector a d'ailleurs annoncé, pour le second trimestre 2008, une solution complète d'outils et de composants logiciels intégrant les améliorations apportées par la version 3.0 d'Autosar. La société a également présenté VT System, des interfaces matérielles modulaires et reconfigurables permettant d'accéder aux lignes d'entrées-sorties d'un calculateur et Test Automation Editor pour la création des plans de tests XML exécutés automatiquement par l'outil de test et de validation CANoe. L'allemand dSpace a mis en avant le support des spécifications Autosar 2.1, qui sont plus précises pour le développement d'une architecture électrique/électronique standardisée, par son logiciel d'architecture SystemDesk 1.1. Sur le stand de dSpace se trouvait également son compatriote OSC Embedded Systems, spécialisé dans les outils de vérification formelle des systèmes embarqués, avec lequel il s'est associé, afin de proposer un processus automatisé de génération des vecteurs de test, depuis la modélisation jusqu'à l'implémentation du code. Quant à l'allemand Etas, la version 3.0 de son environnement de prototypage intégré Intecrio assure l'association de composants logiciels Autosar avec des modules de fonction existants, en plus de l'intégration directe du logiciel d'application compatible avec le standard. Autres nouveautés, le système d'exploitation (OS) RTA-Osek 5.0 supporte désormais la spécification OS Autosar, et la suite de conception d'architectures logicielles Ascet permet la définition et l'implémentation de la structure et du comportement des fonctions d'un véhicule, ainsi que, dans la version 6.0 à venir, la prise en charge des descriptions des composants logiciels. Ajoutons à cette liste le rôle du français Geensys dans l'Autosar Lab (voir notre article page 36) et les versions 2008a de Simulink et de Real-Time Workshop Embedded Coder de l'américain The MathWorks, qui gèrent désormais l'import-export des descriptions de composants logiciels Autosar et la génération de code de production Autosar. Autre thème de RTS Embedded Systems 2008, l'analyse statique de code a reçu les honneurs d'une session de conférences techniques, session qui a connu une très bonne affluence. « En une dizaine d'années, le comportement des utilisateurs a bien changé. Nous sommes passés d'une incrédulité à une utilisation de fait grâce notamment à la disponibilité d'outils d'analyse statique de code », constate Daniel Pilaud, consultant chez Casse-rousse Consulting. Parmi les fournisseurs présents sur le marché, le britannique LDRA a montré sur le stand de son distributeur français Isit, la version 2.0 de son outil d'automatisation de la traçabilité des exigences TBreq. Des fonctionnalités supplémentaires ont été apportées au niveau des interfaces avec les logiciels de gestion d'exigences du marché et de l'intégration encore plus étroite avec Testbed pour la revue et l'analyse de couverture de code et TBrun pour les tests unitaires automatisés. Sur le stand de B2i Automotive Engineering, qui distribue son produit, le français All4Tec a, pour sa part, dévoilé la version 4.6 de son outil de fiabilisation et de validation fonctionnelle de systèmes MaTeLo. Il est désormais possible d'associer des exigences au modèle de MaTeLo, afin de les tracer dans les cas de test générés et de fournir des indicateurs de couverture. L'américain Coverity, distribué en France par NeoMore et qui a récemment levé 22 millions de dollars pour mieux desservir le marché européen, a annoncé la disponibilité de fonctionnalités simultanées de détection de défauts dans son outil Prevent pour l'analyse statique de code C/C++ et Java. Cette nouvelle technologie apporte la détection des concurrences critiques, l'une des principales erreurs dans les applications multithread.

L’édition 2008 a mis Autosar et l’analyse statique de code à l’honneur

Couverture ElectroniqueS n°127

IBM grave les premières puces en 2 nm en abandonnant les FinFET

Zeta, le protocole LPWAN made in China, arrive en Europe

Harting invente le connecteur électronique sur mesure

L’édition 2008 a mis Autosar et l’analyse statique de code à l’honneur

Dans la même rubrique

Couverture ElectroniqueS n°127

IBM grave les premières puces en 2 nm en abandonnant les FinFET

Zeta, le protocole LPWAN made in China, arrive en Europe

Harting invente le connecteur électronique sur mesure