{"id":12133,"date":"2011-03-03T12:45:48","date_gmt":"2011-03-03T12:45:48","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=12133"},"modified":"2011-03-03T12:45:48","modified_gmt":"2011-03-03T12:45:48","slug":"airbus-military-obtient-la-certification-do-178b-niveau-a-de-son-systeme-arbs-en-utilisant-loutil-de-verification-de-code-gnatcheck","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=12133","title":{"rendered":"Airbus Military obtient la certification DO-178B niveau A de son syst\u00e8me ARBS  en utilisant l&rsquo;outil de v\u00e9rification de code GNATcheck"},"content":{"rendered":"<div class=\"alignleft\"><script type=\"text\/javascript\"><!--\ngoogle_ad_client = \"pub-2913804460579993\";\n\/* 300x250, date de cr\u00e9ation 23\/02\/11 *\/\ngoogle_ad_slot = \"4347473311\";\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>AdaCore, fournisseur d\u2019outils et d\u2019expertise pour le d\u00e9veloppement de logiciels critiques (\u00ab\u00a0mission-critical, safety-critical, security-critical\u00a0\u00bb), annonce qu&rsquo;Airbus Military vient d&rsquo;obtenir avec succ\u00e8s la certification du syst\u00e8me ARBS (Aerial Refueling Boom System) de l&rsquo;avion ravitailleur A330 MRTT. La certification a \u00e9t\u00e9 simplifi\u00e9e gr\u00e2ce \u00e0 l&rsquo;utilisation de l&rsquo;outil qualifi\u00e9 GNATcheck qui a v\u00e9rifi\u00e9 la conformit\u00e9 du logiciel avec le standard de codage \u00e9tabli pour le projet ARBS. Cette v\u00e9rification a \u00e9t\u00e9 entreprise dans le cadre du processus de v\u00e9rification logicielle du standard DO-178B, niveau A.<\/p>\n<p>L&rsquo;A330 MRTT est la version militaire de l&rsquo;Airbus A330-200. Il a \u00e9t\u00e9 con\u00e7u pour \u00eatre un avion de transport et de ravitaillement en vol. Le syst\u00e8me ARBS est \u00e9quip\u00e9 d&rsquo;un syst\u00e8me de contr\u00f4le de commandes de vol \u00e9lectriques. Il est dot\u00e9 d&rsquo;un syst\u00e8me d&rsquo;all\u00e9gement des charges sur la voilure automatique et peut g\u00e9rer de mani\u00e8re autonome la d\u00e9connexion entre le ravitailleur et l\u2019avion ravitaill\u00e9. Pour encore plus de suret\u00e9, une architecture \u00e0 double redondance (fail operational, fail safe) a \u00e9t\u00e9 utilis\u00e9e. Pour plus de s\u00e9curit\u00e9, il est possible de passer les communications entre le ravitailleur et l\u2019avion ravitaill\u00e9 par la perche.<\/p>\n<p>AdaCore a d\u00e9velopp\u00e9 une infrastructure agile qui prend en charge le d\u00e9veloppement, la maintenance et la modification des outils logiciels et leur mat\u00e9riel de qualification associ\u00e9.<!--more--> Cela permet de figer plus simplement outils et mat\u00e9riel de qualification pour les projets en cours de certification et de modifier ces m\u00eames outils et documents de qualification \u00e0 moindre co\u00fbt pour les utiliser pour de nouvelles certifications. L&rsquo;outil GNATcheck tire parti de cette infrastructure pour qu&rsquo;outil et mat\u00e9riel de qualification puissent \u00eatre adapt\u00e9s au contexte de certification.<\/p>\n<p>\u00ab\u00a0Remplacer une co\u00fbteuse v\u00e9rification manuelle du code par une solution automatis\u00e9e s&rsquo;est r\u00e9v\u00e9l\u00e9e \u00eatre un bon choix\u00a0\u00bb, d\u00e9clare Isamel Lafoz de chez Airbus. \u00ab\u00a0Le fait d&rsquo;avoir un v\u00e9rificateur de code automatis\u00e9 et qualifi\u00e9 nous a grandement aid\u00e9s \u00e0 finaliser notre processus de validation logicielle et d&rsquo;assurer une livraison dans des d\u00e9lais bien ma\u00eetris\u00e9s\u00a0\u00bb.<\/p>\n<p>GNATcheck d&rsquo;AdaCore est un outil bas\u00e9 sur des r\u00e8gles dot\u00e9 d&rsquo;une interface conviviale. Il permet aux d\u00e9veloppeurs de d\u00e9finir enti\u00e8rement un standard de codage (en r\u00e9f\u00e9rence au \u00ab\u00a0Software Code Standard\u00a0\u00bb du DO-178B) en tant qu&rsquo;ensemble de r\u00e8gles, par exemple, pour d\u00e9finir dans le langage un sous-ensemble de fonctionnalit\u00e9s autoris\u00e9es. Il v\u00e9rifie la conformit\u00e9 d&rsquo;un programme avec des r\u00e8gles d\u00e9finies et de ce fait facilite la d\u00e9monstration de la conformit\u00e9 du syst\u00e8me avec le standard DO-178B. D\u00e9velopp\u00e9e par RTCA et EUROCAE, la norme DO-178B d\u00e9finit les lignes directrices du d\u00e9veloppement d&rsquo;un logiciel avionique aux USA et en Europe.<\/p>\n<p>\u00ab\u00a0La cr\u00e9ation de mat\u00e9riel de qualification fiable pour un outil est toujours plus facile pour la soci\u00e9t\u00e9 qui d\u00e9veloppe et maintient l&rsquo;outil plut\u00f4t que pour la soci\u00e9t\u00e9 qui l&rsquo;utilise\u00a0\u00bb, d\u00e9clare Cyrille Comar, Directeur d&rsquo;AdaCore. \u00ab\u00a0Nous sommes dans une position id\u00e9ale pour optimiser les efforts n\u00e9cessaires afin de cr\u00e9er et maintenir le mat\u00e9riel de qualification pour nos outils. Nos clients peuvent ainsi simplifier leurs activit\u00e9 de v\u00e9rification en utilisant des proc\u00e9d\u00e9s automatis\u00e9s sur lesquels peuvent s\u2019appuyer dans un contexte de certification\u00a0\u00bb.<\/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 est 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\u2019une large base de clients situ\u00e9e dans le monde entier ; voir <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>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>Le si\u00e8ge social d\u2019AdaCore 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\/\">http:\/\/www.adacore.com\/<\/a><\/p>\n<p><strong><span style=\"text-decoration: underline;\">Contacts Presse<\/span><\/strong><\/p>\n<p>Jamie Ayre<\/p>\n<p>AdaCore<\/p>\n<p><a href=\"mailto:press@adacore.com\">press@adacore.com<\/a><\/p>\n<p><a href=\"http:\/\/twitter.com\/AdaCoreCompany\">http:\/\/twitter.com\/AdaCoreCompany<\/a><\/p>\n<p>Pascale Desmaele \/ La\u00ebtitia D&rsquo;Urso<\/p>\n<p>Actual Public Relations<\/p>\n<p>T\u00e9l : 01 41 10 41 12 \/ 14<\/p>\n<p>emails : <a href=\"mailto:pascale@actual.fr\">pascale@actual.fr<\/a> \/ <a href=\"mailto:laetitia@actual.fr\">laetitia@actual.fr<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>AdaCore, fournisseur d\u2019outils et d\u2019expertise pour le d\u00e9veloppement de logiciels critiques (\u00ab\u00a0mission-critical, safety-critical, security-critical\u00a0\u00bb), annonce qu&rsquo;Airbus Military vient d&rsquo;obtenir avec succ\u00e8s la certification du syst\u00e8me ARBS (Aerial Refueling Boom System) de l&rsquo;avion ravitailleur A330 MRTT. La certification a \u00e9t\u00e9 simplifi\u00e9e gr\u00e2ce \u00e0 l&rsquo;utilisation de l&rsquo;outil qualifi\u00e9 GNATcheck qui a v\u00e9rifi\u00e9 la conformit\u00e9 du logiciel avec [&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\/12133"}],"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=12133"}],"version-history":[{"count":1,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/12133\/revisions"}],"predecessor-version":[{"id":12134,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/12133\/revisions\/12134"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=12133"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=12133"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=12133"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}