{"id":4470,"date":"2009-06-08T14:37:44","date_gmt":"2009-06-08T13:37:44","guid":{"rendered":"http:\/\/www.autopromopro.com\/2009\/06\/08\/thales-avionics-choisit-gnat-pro-pour-lairbus-a350-xwb-xtra-wide-body.php"},"modified":"2020-02-07T17:38:27","modified_gmt":"2020-02-07T16:38:27","slug":"thales-avionics-choisit-gnat-pro-pour-lairbus-a350-xwb-xtra-wide-body","status":"publish","type":"post","link":"https:\/\/www.autopromopro.com\/articles\/2009\/06\/08\/thales-avionics-choisit-gnat-pro-pour-lairbus-a350-xwb-xtra-wide-body\/","title":{"rendered":"Thales Avionics choisit GNAT Pro pour l&rsquo;Airbus A350 XWB (Xtra Wide-Body)."},"content":{"rendered":"<p><em><strong>Des syst\u00e8mes critiques impl\u00e9ment\u00e9s en Ada 2005.<\/strong><\/em><\/p>\n<p><strong>PARIS, 8 juin 2009.<\/strong> AdaCore, fournisseur d&rsquo;outils de d\u00e9veloppement et de services pour le langage Ada, annonce aujourd&rsquo;hui le choix du groupe Thales en faveur de la technologie GNAT Pro pour le d\u00e9veloppement de syst\u00e8mes critiques embarqu\u00e9s sur la nouvelle gamme d&rsquo;Airbus A350 XWB (Xtra Wide-Body).<\/p>\n<p>Thales va utiliser GNAT Pro High-Integrity Edition pour DO-178B et le langage Ada 2005 pour r\u00e9aliser l&rsquo;Air Data Inertial Reference Unit (ADIRU) de l&rsquo;Airbus A350 XWB. L&rsquo;ADIRU fournit des informations de positionnement de l&rsquo;appareil en vol et devra donc satisfaire aux plus hautes exigences de certification, en l&rsquo;occurrence le niveau A de la norme DO-178B. L&rsquo;ADIRU reposera \u00e9galement sur MACS2, un syst\u00e8me d&rsquo;exploitation multi-partitions ARINC 653.<\/p>\n<p>Le projet permettra des avanc\u00e9es dans le domaine du d\u00e9veloppement de syst\u00e8mes critiques \u00e0 travers un certain nombre d&rsquo;innovations, dont l&rsquo;utilisation de m\u00e9thodes de d\u00e9veloppement agiles et de techniques de programmation orient\u00e9e objet. Thales utilisera Ada 2005, la derni\u00e8re version du langage Ada, dans laquelle le support de la programmation temps r\u00e9el et de la programmation orient\u00e9e objet sont \u00e9tendus, et qui inclut des fonctionnalit\u00e9s sp\u00e9cifiques pour les syst\u00e8mes critiques.<\/p>\n<p>\u00ab Quand on en vient aux syst\u00e8mes critiques, l\u2019historique d\u2019Ada est impressionnant et le langage a fait ses preuves \u00bb, d\u00e9clare Fran\u00e7ois Brun, expert en architecture logicielle de l&rsquo;unit\u00e9 Navigation de Thales Avionics. \u00ab Le couplage de GNAT Pro avec Ada 2005 fournit le socle technologique dont nous avions besoin pour d\u00e9velopper le logiciel ADIRU du nouvel Airbus A350 XWB. \u00bb<\/p>\n<p>Dans le cadre de ce programme, AdaCore fournit \u00e9galement un outil qualifi\u00e9 de v\u00e9rification de standards de codage, ainsi qu&rsquo;un outil de couverture de code. Ces outils seront des \u00e9l\u00e9ments cl\u00e9s du processus de d\u00e9veloppement de l&rsquo;ADIRU et  du dossier de certification. La solution de couverture propos\u00e9e par AdaCore adopte une approche innovante en fournissant des informations de couverture MC\/DC sur du code source non instrument\u00e9, gr\u00e2ce \u00e0 l&rsquo;utilisation d&rsquo;un simulateur PowerPC. Le mat\u00e9riel de qualification qui accompagne l&rsquo;outil offre une garantie sur les r\u00e9sultats obtenus, permettant ainsi d&rsquo;acc\u00e9l\u00e9rer le cycle de certification.<\/p>\n<p>\u00ab Thales ouvre la voie dans le d\u00e9veloppement syst\u00e8mes critiques pour l&rsquo;avionique \u00bb, reconna\u00eet Micha\u00ebl Friess, Technical Sales Manager chez AdaCore. \u00ab C&rsquo;est un plaisir de travailler en partenariat avec une \u00e9quipe technique aussi comp\u00e9tente. Notre collaboration de longue date avec Thales et nos fr\u00e9quentes discussions avec ses \u00e9quipes techniques ont conduit \u00e0 des avanc\u00e9es strat\u00e9giques de l&rsquo;offre d&rsquo;AdaCore. L&rsquo;ADIRU est un nouvel exemple de projet qui permet \u00e0 notre technologie de progresser. Cela montre \u00e0 nos clients qu&rsquo;ils peuvent compter sur AdaCore comme un partenaire s\u00fbr dans leur processus de d\u00e9veloppement. \u00bb<\/p>\n<p>La famille A350 XWB (Xtra Wide-Body) est la r\u00e9ponse d&rsquo;Airbus \u00e0 la demande du march\u00e9 pour une s\u00e9rie d&rsquo;appareils long-courriers de moyenne capacit\u00e9, dot\u00e9s d&rsquo;un fuselage large, et plus \u00e9conomes en carburant. Avec une autonomie de 15 400 km, l\u2019A350 XWB est disponible en trois versions : A350-800, A350-900 et A350-1000.<\/p>\n<p><strong>A propos d\u2019AdaCore<\/strong><\/p>\n<p>Fond\u00e9e en 1994, AdaCore propose des solutions de d\u00e9veloppement logiciel pour Ada, un langage de programmation con\u00e7u sp\u00e9cifiquement pour r\u00e9pondre aux besoins des applications industrielles pour lesquelles la s\u00fbret\u00e9, la s\u00e9curit\u00e9 et la fiabilit\u00e9 sont essentielles. La gamme de produits d\u2019AdaCore s\u2019articule autour de son environnement de d\u00e9veloppement GNAT Pro, disponible sur de nombreuses plates-formes, et du support qui l\u2019accompagne.<\/p>\n<p>Ada et GNAT Pro sont utilis\u00e9s pour des applications critiques et certifi\u00e9es, dans des secteurs tels que l\u2019avionique, les syst\u00e8mes militaires, la gestion du trafic a\u00e9rien, le transport ferroviaire ou encore les \u00e9quipements m\u00e9dicaux, ainsi que les services financiers o\u00f9 la s\u00e9curit\u00e9 est d\u00e9terminante. AdaCore dispose d\u2019une large client\u00e8le parmi les industriels de r\u00e9f\u00e9rence dans ces domaines (www.adacore.com\/home\/company\/customers\/ pour plus de d\u00e9tails).<\/p>\n<p>AdaCore est implant\u00e9e \u00e0 Paris et New-York. <a href=\"https:\/\/www.adacore.com\/\">www.adacore.com<\/a><\/p>\n<p><strong>Contact presse<\/strong><\/p>\n<p>Florian Villoing<br \/>\n<strong>AdaCore<\/strong><br \/>\npress@adacore.com<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Des syst\u00e8mes critiques impl\u00e9ment\u00e9s en Ada 2005. PARIS, 8 juin 2009. AdaCore, fournisseur d&rsquo;outils de d\u00e9veloppement et de services pour le langage Ada, annonce aujourd&rsquo;hui le choix du groupe Thales en faveur de la technologie GNAT Pro pour le d\u00e9veloppement de syst\u00e8mes critiques embarqu\u00e9s sur la nouvelle gamme d&rsquo;Airbus A350 XWB (Xtra Wide-Body). Thales va [&hellip;]<\/p>\n","protected":false},"author":217,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1795],"tags":[],"class_list":["post-4470","post","type-post","status-publish","format-standard","hentry","category-high-tech"],"_links":{"self":[{"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/posts\/4470","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/users\/217"}],"replies":[{"embeddable":true,"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/comments?post=4470"}],"version-history":[{"count":2,"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/posts\/4470\/revisions"}],"predecessor-version":[{"id":87027,"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/posts\/4470\/revisions\/87027"}],"wp:attachment":[{"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/media?parent=4470"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/categories?post=4470"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.autopromopro.com\/articles\/wp-json\/wp\/v2\/tags?post=4470"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}