{"id":33259,"date":"2013-05-31T07:09:44","date_gmt":"2013-05-31T07:09:44","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=33259"},"modified":"2013-05-31T07:09:44","modified_gmt":"2013-05-31T07:09:44","slug":"adacore-annonce-la-reussite-du-projet-hi-lite","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=33259","title":{"rendered":"AdaCore annonce la r\u00e9ussite du projet Hi-Lite."},"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><em>Ce projet Open Source facilite le d\u00e9veloppement de logiciels critiques<\/em><span style=\"text-decoration: underline;\"> <\/span><em>en associant m\u00e9thodes formelles et tests.<\/em><\/strong><\/p>\n<p>AdaCore et ses partenaires ont annonc\u00e9 aujourd&rsquo;hui la r\u00e9ussite du Projet Hi-Lite, un projet au budget de 3,9 millions d&rsquo;euros qui s&rsquo;est \u00e9tendu sur trois ans. L&rsquo;objectif du projet \u00e9tait de d\u00e9mocratiser les m\u00e9thodes formelles dans le d\u00e9veloppement de logiciels critiques en associant la v\u00e9rification formelle et le test. Le projet Hi-Lite s&rsquo;est appuy\u00e9 sur l&rsquo;exp\u00e9rience acquise pendant dix ans par Airbus pour cr\u00e9er des syst\u00e8mes critiques en utilisant des m\u00e9thodes de v\u00e9rification formelles et sur les outils industriels performants d\u00e9j\u00e0 d\u00e9velopp\u00e9s par les partenaires du projet. Les travaux ont \u00e9t\u00e9 financ\u00e9s en partie par le gouvernement fran\u00e7ais et le Conseil G\u00e9n\u00e9ral de l&rsquo;Essonne et ont \u00e9t\u00e9 r\u00e9alis\u00e9s en partenariat par AdaCore, Altran, Astrium\u00a0Space Transportation, CEA List, INRIA Toccata et Thales Communications.<\/p>\n<p>L&rsquo;objectif principal de Hi-Lite \u00e9tait de rendre la v\u00e9rification formelle plus rapide et facilite d&rsquo;utilisation pour les projets de grande taille impliquant plusieurs langages de programmation, et soumis \u00e0 des crit\u00e8res de certification. Le projet a rempli cet objectif. \u00ab\u00a0Hi-Lite nous a permis d&rsquo;adapter des technologies de pointe d\u00e9velopp\u00e9es dans les Universit\u00e9s \u00e0 une utilisation industrielle\u00a0\u00bb, a d\u00e9clar\u00e9 Yannick Moy, responsable du projet Hi-Lite chez AdaCore. \u00ab\u00a0Le projet a montr\u00e9 que la v\u00e9rification formelle peut remplacer ou compl\u00e9ter les activit\u00e9s de test et jouer un r\u00f4le pr\u00e9dominant dans la v\u00e9rification des logiciels critiques\u00a0\u00bb.<!--more--><\/p>\n<p>Le test est une activit\u00e9 consommatrice de temps et de ressources, notamment lorsque le logiciel doit se conformer aux standards tels que le DO-178B ou sa nouvelle version DO-178C pour les syst\u00e8mes avioniques civils (qui sont utilis\u00e9s par les organismes de certification comme le FAA, EASA et Transport Canada). Alors que les syst\u00e8mes critiques continuent \u00e0 cro\u00eetre en taille et en complexit\u00e9, les m\u00e9thodes formelles comme celles qui ont \u00e9t\u00e9 utilis\u00e9es dans le projet Hi-Lite apportent une solution \u00e9conomique faisant diminuer le recours au test, acc\u00e9l\u00e9rer le d\u00e9veloppement de projets et faciliter la certification des syst\u00e8mes. Ces techniques sont sp\u00e9cialement pertinentes dans un environnement DO-178C, \u00e0 la lumi\u00e8re du suppl\u00e9ment pour les m\u00e9thodes formelles (DO-333) qui apporte des indications sur la fa\u00e7on dont l&rsquo;analyse formelle s&rsquo;int\u00e8gre dans le processus de v\u00e9rification.<\/p>\n<p>Le projet Hi-Lite a produit les premiers <a href=\"http:\/\/www.ducoterre-jardinbio.com\/\">outils<\/a> int\u00e9grant le test et la v\u00e9rification formelle pour les programmes Ada et C. Il s&rsquo;agit des outils SPARK pour Ada et de la plate-forme Frama-C pour C. Ces deux technologies s&rsquo;appuient sur les outils de preuve de programmes d\u00e9velopp\u00e9s par l&rsquo;INRIA, partenaire du projet Hi-Lite. Les avanc\u00e9es pratiques et th\u00e9oriques r\u00e9sultant de ce projet et de ces outils ont \u00e9t\u00e9 publi\u00e9es dans plus de trente conf\u00e9rences et journaux internationaux, parmi lesquels Embedded World et IEEE Software. L&rsquo;utilisation des outils et de la m\u00e9thodologie du projet a \u00e9t\u00e9 expliqu\u00e9e et publi\u00e9e sous forme d&rsquo;\u00e9tudes de cas par les partenaires Astrium\u00a0Space Transportation et Altran. Tous les outils d\u00e9velopp\u00e9s sont Open Source et les prototypes sont disponibles sur :\u00a0<a href=\"https:\/\/forge.open-do.org\/projects.hi-lite\/%20\" target=\"_blank\">https:\/\/forge.open-do.org\/projects.hi-lite\/ <\/a>et\u00a0<a href=\"http:\/\/frama-c.com\/\" target=\"_blank\">http:\/\/frama-c.com<\/a>.<\/p>\n<p>Une cons\u00e9quence imm\u00e9diate du projet Hi-Lite est que les m\u00e9thodologies d\u00e9velopp\u00e9es sont actuellement utilis\u00e9es par AdaCore et son partenaire Altran pour fa\u00e7onner la nouvelle version du langage SPARK, connue sous le nom de SPARK 2014. SPARK, un sous-ensemble d&rsquo;Ada compl\u00e9t\u00e9 par des annotations qui formalisent diff\u00e9rentes propri\u00e9t\u00e9s des programmes, est un langage de programmation reconnu pour faciliter la cr\u00e9ation de logiciels devant atteindre les plus hauts niveaux de s\u00fbret\u00e9 et de s\u00e9curit\u00e9. SPARK est le seul langage de programmation moderne con\u00e7u avec comme premier objectif une v\u00e9rification statique s\u00fbre. L&rsquo;utilisation du langage SPARK est li\u00e9e \u00e0 la bo\u00eete \u00e0 outils SPARK Pro, compos\u00e9e du langage et des outils de v\u00e9rification SPARK d&rsquo;Altran et de l&rsquo;environnement de d\u00e9veloppement GNAT Programming Studio (GPS) d&rsquo;AdaCore.<\/p>\n<p>SPARK Pro permet de pr\u00e9venir, d\u00e9tecter et \u00e9liminer les d\u00e9fauts tr\u00e8s t\u00f4t dans le cycle de vie du projet, lors du d\u00e9veloppement du code source. Les technologies d\u00e9velopp\u00e9es dans le projet Hi-Lite seront enti\u00e8rement int\u00e9gr\u00e9es dans les outils SPARK Pro pour les rendre conformes \u00e0 SPARK 2014. Plus d&rsquo;informations sur la disponibilit\u00e9 prochaine de la version SPARK 2014 \u00e0 l&rsquo;adresse :\u00a0<a href=\"http:\/\/www.spark-2014.org\/\" target=\"_blank\">http:\/\/www.spark-2014.org<\/a>.<\/p>\n<p><strong>\u00c0 propos d&rsquo;AdaCore<\/strong><\/p>\n<p>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.\u00a0 Le 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.\u00a0 AdaCore dispose d&rsquo;une large base de clients situ\u00e9e dans le monde entier ; voir\u00a0<a href=\"http:\/\/www.adacore.com\/home\/company\/customers\/\" target=\"_blank\">http:\/\/www.adacore.com\/home\/company\/customers\/<\/a> pour de plus amples informations.<\/p>\n<p>L&rsquo;utilisation d&rsquo;Ada et de GNAT Pro conna\u00eet une croissance continue dans les applications critiques 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>Le si\u00e8ge social d&rsquo;AdaCore est situ\u00e9 \u00e0 Paris pour la zone Europe, et \u00e0 New York pour la zone Am\u00e9rique du Nord.\u00a0<a href=\"http:\/\/www.adacore.com\/\" target=\"_blank\">http:\/\/www.adacore.com<\/a><\/p>\n<p><strong>Contacts Presse<\/strong><br \/>\nJamie Ayre<br \/>\nAdaCore<br \/>\n<a href=\"mailto:press@adacore.com\" target=\"_blank\">press@adacore.com<\/a><br \/>\n<a href=\"http:\/\/twitter.com\/AdaCoreCompany\" target=\"_blank\">http:\/\/twitter.com\/AdaCoreCompany<\/a><\/p>\n<p><center><script type=\"text\/javascript\"><!--\ngoogle_ad_client = \"ca-pub-2913804460579993\";\n\/* Comm *\/\ngoogle_ad_slot = \"9074092525\";\ngoogle_ad_width = 468;\ngoogle_ad_height = 15;\n\/\/-->\n<\/script><br \/>\n<script type=\"text\/javascript\"\nsrc=\"http:\/\/pagead2.googlesyndication.com\/pagead\/show_ads.js\">\n<\/script><\/p>\n<p><iframe src=\"\/\/www.facebook.com\/plugins\/like.php?href=http:\/\/www.agglotv.com\/?p=33259;send=false&amp;layout=button_count&amp;width=150&amp;show_faces=false&amp;font&amp;colorscheme=light&amp;action=like&amp;height=21\" scrolling=\"no\" frameborder=\"0\" style=\"border:none; overflow:hidden; width:150px; height:21px;\" allowTransparency=\"true\"><\/iframe> <g:plusone><\/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> <a href=\"http:\/\/www.scoop.it\" class=\"scoopit-button\" scit-position=\"horizontal\" scit-url=\"http:\/\/www.agglotv.com\/?p=33259\" >Scoop.it<\/a><script type=\"text\/javascript\" src=\"http:\/\/www.scoop.it\/button\/scit.js\"><\/script><\/center><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Ce projet Open Source facilite le d\u00e9veloppement de logiciels critiques en associant m\u00e9thodes formelles et tests. AdaCore et ses partenaires ont annonc\u00e9 aujourd&rsquo;hui la r\u00e9ussite du Projet Hi-Lite, un projet au budget de 3,9 millions d&rsquo;euros qui s&rsquo;est \u00e9tendu sur trois ans. L&rsquo;objectif du projet \u00e9tait de d\u00e9mocratiser les m\u00e9thodes formelles dans le d\u00e9veloppement de [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[5],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/33259"}],"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=33259"}],"version-history":[{"count":1,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/33259\/revisions"}],"predecessor-version":[{"id":33260,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/33259\/revisions\/33260"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=33259"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=33259"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=33259"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}