{"id":26175,"date":"2012-06-13T17:28:13","date_gmt":"2012-06-13T17:28:13","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=26175"},"modified":"2012-06-13T17:31:44","modified_gmt":"2012-06-13T17:31:44","slug":"saab-electronic-defence-systems-adopte-codepeer","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=26175","title":{"rendered":"Saab Electronic Defence Systems adopte CodePeer"},"content":{"rendered":"<div class=\"alignleft\"><script type=\"text\/javascript\"><!--\ngoogle_ad_client = \"pub-2913804460579993\";\n\/* 300x250, date de cr\u00e9ation 09\/09\/10 *\/\ngoogle_ad_slot = \"3968300003\";\ngoogle_ad_width = 300;\ngoogle_ad_height = 250;\n\/\/-->\n<\/script><br \/>\n<script type=\"text\/javascript\"\nsrc=\"http:\/\/pagead2.googlesyndication.com\/pagead\/show_ads.js\">\n<\/script><\/div>\n<p><strong id=\"internal-source-marker_0.4090083653572947\">L\u2019analyse statique aide \u00e0 augmenter la fiabilit\u00e9 logicielle<\/strong><\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">AdaCore annonce que Saab Electronic Defence Systems (Su\u00e8de) a adopt\u00e9 l\u2019outil d\u2019analyse statique <a href=\"http:\/\/www.adacore.com\/codepeer\/\">CodePeer<\/a>, pour l\u2019utiliser sur le projet GIRAFFE. Cet outil aide les d\u00e9veloppeurs \u00e0 d\u00e9tecter statiquement les vuln\u00e9rabilit\u00e9s d\u2019un code source Ada tels que les erreurs d\u2019ex\u00e9cutions ou les erreurs logiques. En analysant math\u00e9matiquement chaque ligne du logiciel et en calculant les ensembles de valeurs possibles pour tous les chemins d\u2019ex\u00e9cution, CodePeer peut \u00eatre utilis\u00e9 tr\u00e8s en amont du cycle de d\u00e9veloppement et identifier les d\u00e9fauts du logiciel au moment o\u00f9 ils sont le moins couteux \u00e0 corriger.<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">CodePeer est int\u00e9gr\u00e9 dans l\u2019environnement de d\u00e9veloppement GNAT Pro. Il est fourni avec un certain nombre d\u2019outils d\u2019analyse statique compl\u00e9mentaires, communs au reste de la technologie, tels que l\u2019outil de v\u00e9rification de standard de codage <a href=\"http:\/\/www.adacore.com\/gnatpro\/toolsuite\/gnatcheck\">GNATcheck<\/a>, de calcul de m\u00e9triques de code GNATmetric, un analyseur s\u00e9mantique et un g\u00e9n\u00e9rateur de documentation accessibles depuis <a href=\"http:\/\/www.adacore.com\/gnatpro\/toolsuite\/gps\/\">l\u2019environnement de d\u00e9veloppement int\u00e9gr\u00e9<\/a> GPS.<\/p>\n<p><!--more--><\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">\u00ab\u00a0Dans le type de d\u00e9veloppement que nous r\u00e9alisons, il est tr\u00e8s important d\u2019\u00e9viter les bugs ou de les trouver et de les r\u00e9parer le plus t\u00f4t possible. Ceux qui restent dans le syst\u00e8me une fois d\u00e9ploy\u00e9 sont tr\u00e8s couteux \u00e0 corriger et peuvent avoir des cons\u00e9quences catastrophiques. Pour cette raison, les outils d\u2019analyse statiques sont d\u2019une aide pr\u00e9cieuse,\u00bb d\u00e9clare Ander R\u00e5berg, ing\u00e9nieur logiciel et syst\u00e8me \u00e0 Saab. \u00ab\u00a0Lors du d\u00e9veloppement de nouveau code, un outil tel que CodePeer aide nos ing\u00e9nieurs \u00e0 \u00e9viter les constructions qui sont potentiellement \u00e0 l\u2019origine de probl\u00e8mes et les encourage \u00e0 \u00e9crire du code plus robuste.\u00bb<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">\u00ab\u00a0Nous sommes heureux que les ing\u00e9nieurs de Saab tirent parti de CodePeer dans leur d\u00e9veloppement au jour le jour,\u00bb d\u00e9clare Yannick Moy, ing\u00e9nieur logiciel chez AdaCore. \u00ab\u00a0L\u2019association du langage de programmation Ada, de GNAT Pro et de CodePeer offre une d\u00e9tection tr\u00e8s pr\u00e9coce de vuln\u00e9rabilit\u00e9s et de bugs et permet de r\u00e9duire les temps et les co\u00fbts de d\u00e9veloppement.\u00a0\u00bb<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">\u00ab\u00a0AdaCore et Saab coop\u00e8rent depuis de nombreuses ann\u00e9es, \u00bb d\u00e9clare Jamie Ayre, Directeur Marketing chez AdaCore. \u00ab\u00a0Gr\u00e2ce \u00e0 l\u2019introduction de nouveaux produits tels que CodePeer et de l\u2019\u00e9volution continue du langage de programmation Ada (avec en particulier Ada 2012), notre objectif est de continuer \u00e0 fournir une technologie qui satisfasse les exigences de Saab pour de d\u00e9veloppement de syst\u00e8mes p\u00e9rennes et robustes dans un environnement critique.\u00a0\u00bb<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\"><strong>\u00c0 propos de CodePeer<\/strong><\/p>\n<p dir=\"ltr\">CodePeer est un analyseur statique de code source qui d\u00e9tecte les vuln\u00e9rabilit\u00e9s et les erreurs logiques. Il identifie les bugs potentiels en amont du test et de l\u2019ex\u00e9cution, \u00a0agissant comme un assistant \u00e0 la revue de code, aidant \u00e0 anticiper les erreurs t\u00f4t dans le cycle de d\u00e9veloppement. Il peut \u00e9galement \u00eatre utilis\u00e9 pour r\u00e9aliser une analyse d\u2019impact lors de modifications de code existant ou assister une analyse de s\u00fbret\u00e9. Utilisant des techniques telles que l\u2019analyse du flux de contr\u00f4le ou du flux de donn\u00e9es, CodePeer peut d\u00e9tecter des probl\u00e8mes qui ne pourraient \u00eatre trouv\u00e9s autrement que de mani\u00e8re laborieuse en phase de test.<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\"><strong>\u00c0 propos de Saab Electronic Defence Systems<\/strong><\/p>\n<p dir=\"ltr\">Saab est l\u2019un des leaders mondiaux de haute technologie, principalement ax\u00e9 sur les march\u00e9s de la d\u00e9fense, de l\u2019aviation et de la s\u00e9curit\u00e9 civile. Le groupe couvre un large spectre de comp\u00e9tences dans le domaine de l\u2019int\u00e9gration syst\u00e8me.<\/p>\n<p dir=\"ltr\"><a href=\"http:\/\/www.saabgroup.com\/en\/About-Saab\/Company-profile\/Organisation\/Electronic-Defence-Systems\/\">http:\/\/www.saabgroup.com\/en\/About-Saab\/Company-profile\/Organisation\/Electronic-Defence-Systems\/<\/a><\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\"><strong>\u00c0 propos d&rsquo;AdaCore<\/strong><\/p>\n<p dir=\"ltr\">AdaCore, fond\u00e9 en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe con\u00e7u pour des applications de grande taille et \u00e0 grande dur\u00e9e de vie. Les technologies fournies par AdaCore sont particuli\u00e8rement adapt\u00e9es aux applications pour lesquelles la s\u00fbret\u00e9, la s\u00e9curit\u00e9 et la fiabilit\u00e9 sont des \u00e9l\u00e9ments critiques. \u00a0Le produit phare d&rsquo;AdaCore est l&rsquo;environnement de d\u00e9veloppement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispens\u00e9 par des experts parmi les plus reconnus dans le domaine. \u00a0AdaCore dispose d\u2019une large base de clients situ\u00e9e dans le monde entier ; voir \u00a0<a href=\"http:\/\/www.adacore.com\/home\/company\/customers\/\">http:\/\/www.adacore.com\/home\/company\/customers\/<\/a> pour de plus amples informations.<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">L&rsquo;utilisation d&rsquo;Ada et de GNAT Pro conna\u00eet une croissance continue dans les applications de haute int\u00e9grit\u00e9 ou certifi\u00e9es pour la s\u00fbret\u00e9, comme les \u00e9l\u00e9ments d&rsquo;avionique pour les appareils commerciaux, les syst\u00e8mes militaires, le contr\u00f4le a\u00e9rien, les syst\u00e8mes ferroviaires, les appareils m\u00e9dicaux et dans des domaines sensibles pour la s\u00e9curit\u00e9 comme les services financiers.<\/p>\n<p dir=\"ltr\">\n<p dir=\"ltr\">\n<p dir=\"ltr\">Contact presse :<\/p>\n<p dir=\"ltr\">Jamie Ayre<\/p>\n<p dir=\"ltr\">AdaCore<\/p>\n<p dir=\"ltr\"><a href=\"mailto:press@adacore.com\">press@adacore.com<\/a><\/p>\n<p dir=\"ltr\"><a href=\"http:\/\/twitter.com\/AdaCoreCompany\">http:\/\/twitter.com\/AdaCoreCompany<\/a><\/p>\n<p><iframe src=\"http:\/\/www.facebook.com\/plugins\/like.php?href=http:\/\/www.agglotv.com\/?p=26175;width=300&amp;action=like&amp;colorscheme=light&amp;height=35\" scrolling=\"no\" frameborder=\"0\" style=\"border:none; overflow:hidden; width:300px; height:35px;\" allowTransparency=\"true\"><\/iframe> <g:plusone size=\"tall\"><\/g:plusone> <a href=\"https:\/\/twitter.com\/share\" class=\"twitter-share-button\" data-count=\"horizontal\" data-via=\"IciOnVousVoit\" data-lang=\"fr\">Tweeter<\/a><script type=\"text\/javascript\" src=\"\/\/platform.twitter.com\/widgets.js\"><\/script><\/p>\n<p><script type=\"text\/javascript\" src=\"http:\/\/tracking.publicidees.com\/showgrp.php?partid=27020&#038;grpid=8252\"><\/script><\/p>\n<div class=\"fb-comments\" data-href=\"http:\/\/www.agglotv.com\/?p=26175\" data-num-posts=\"2\" data-width=\"500\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>L\u2019analyse statique aide \u00e0 augmenter la fiabilit\u00e9 logicielle AdaCore annonce que Saab Electronic Defence Systems (Su\u00e8de) a adopt\u00e9 l\u2019outil d\u2019analyse statique CodePeer, pour l\u2019utiliser sur le projet GIRAFFE. Cet outil aide les d\u00e9veloppeurs \u00e0 d\u00e9tecter statiquement les vuln\u00e9rabilit\u00e9s d\u2019un code source Ada tels que les erreurs d\u2019ex\u00e9cutions ou les erreurs logiques. En analysant math\u00e9matiquement chaque [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[27],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/26175"}],"collection":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=26175"}],"version-history":[{"count":2,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/26175\/revisions"}],"predecessor-version":[{"id":26177,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/26175\/revisions\/26177"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=26175"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=26175"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=26175"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}