{"id":29920,"date":"2012-12-17T11:32:22","date_gmt":"2012-12-17T11:32:22","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=29920"},"modified":"2012-12-17T11:32:22","modified_gmt":"2012-12-17T11:32:22","slug":"gnat-pro-safety-critical-utilise-par-terma-as-pour-le-projetspace-monitor","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=29920","title":{"rendered":"GNAT Pro Safety-Critical utilis\u00e9 par Terma A\/S pour le projetSpace Monitor"},"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>AdaCore annonce aujourd\u2019hui que Terma A\/S a s\u00e9lectionn\u00e9 l\u2019environnement de d\u00e9veloppement GNAT Pro Safety-Critical pour r\u00e9aliser le logiciel \u201cAtmosphere-Space Interactions Monitor\u201d(ASIM) qui sera embarqu\u00e9 sur le module Colombus de la station spatiale internationale (ISS). Terma utilisera GNAT Pro Safety-Critical combin\u00e9 aux <a href=\"http:\/\/www.ducoterre-jardinbio.com\/\">outils<\/a> de test GNATemulator et GNATcoverage pour d\u00e9velopper et tester l\u2019application avant d\u00e9ploiement sur la plateforme LEON3.<\/p>\n<p>ASIM est utilis\u00e9 pour d\u00e9tecter des ph\u00e9nom\u00e8nes de foudre connus sous les noms de \u201credsprites\u201d, \u201cblue jets\u201d et \u201celves\u201d, ainsi que les d\u00e9charges de rayons X et gamma. L\u2019objectif est la mise en lumi\u00e8re de la corr\u00e9lation entre ces formations et les orages de grande ampleur, am\u00e9liorant notre compr\u00e9hension de ces ph\u00e9nom\u00e8nes et leur influence sur le climat terrestre. Terma est, pour le compte de l\u2019ESA (European Space Agency), le ma\u00eetre d\u2019\u0153uvre du d\u00e9veloppement des instruments ASIM, et en particulier du logiciel embarqu\u00e9. ASIM sera d\u00e9ploy\u00e9 dans l\u2019espace, l\u00e0 o\u00f9 les op\u00e9rations de maintenance et de r\u00e9paration sont tr\u00e8s co\u00fbteuses, sinon impossibles. En cons\u00e9quence, la fiabilit\u00e9 de la plateforme est essentielle. Cette exigence de fiabilit\u00e9 a \u00e9t\u00e9 le principal facteur de s\u00e9lection du langage de programmation Ada pour le d\u00e9veloppement logiciel. Le profil Ravenscar (un sous-ensemble des fonctionnalit\u00e9s de tasking d\u2019Ada con\u00e7u pour les applications critiques temps r\u00e9el dur) sera utilis\u00e9 pour garantir que les propri\u00e9t\u00e9s temps r\u00e9el multit\u00e2ches de l\u2019application sont d\u00e9terministes et ordonnan\u00e7ables.<!--more--> Les possibilit\u00e9s qu\u2019offre Ada en termes de sp\u00e9cification de contrats statiques et dynamiques\u2013 en particulier les fonctionnalit\u00e9s introduites r\u00e9cemment dans le nouveau standard Ada 2012 \u2013permettent aux d\u00e9veloppeurs d\u2019exprimer les exigences logicielles directement au niveau de la sp\u00e9cification. En cons\u00e9quence, les incoh\u00e9rences peuvent \u00eatre d\u00e9tect\u00e9es pr\u00e9ventivement, soit statiquement (au moment de la compilation), soit dynamiquement (au moment du test).<\/p>\n<p>Pour r\u00e9aliser le d\u00e9veloppement en Ada, Terma a s\u00e9lectionn\u00e9 la configuration LEON 3 ELF de l\u2019environnement GNAT Pro Safety-Critical. Cet environnement inclut les outils qui tirent parti des propri\u00e9t\u00e9s du langage pour r\u00e9aliser des v\u00e9rifications statiques et dynamiques suppl\u00e9mentaires, permettant d\u2019atteindre des niveaux de fiabilit\u00e9 encore sup\u00e9rieurs. Les mesures telles que la complexit\u00e9 du code sont suivies automatiquement via GNATmetric, tandis que GNATcheck s\u2019assure du respect d\u2019un style de codage coh\u00e9rent et d\u00e9tecte un certain nombre de vuln\u00e9rabilit\u00e9s de code bien identifi\u00e9es. L\u2019outil GNATstack r\u00e9alise une analyse d\u2019utilisation de pile statique, de mani\u00e8re \u00e0 v\u00e9rifier les besoins m\u00e9moire avant ex\u00e9cution. En ce qui concerne l\u2019analyse dynamique, GNATemulator est utilis\u00e9 comme plateforme de test unitaire, ex\u00e9cutant directement le code compil\u00e9 pour LEON3, ind\u00e9pendamment de la disponibilit\u00e9 du mat\u00e9riel final. Combin\u00e9 \u00e0 GNATemulator, GNATcoverage fournit des informations de couverture structurelle de code tr\u00e8s t\u00f4t dans le cycle de d\u00e9veloppement, sans qu\u2019il soit n\u00e9cessaire d\u2019instrumenter le code test\u00e9. En effet, le logiciel est ex\u00e9cut\u00e9 dans un environnement int\u00e9gralement simul\u00e9, les seuls tests d\u2019int\u00e9gration restant n\u00e9cessaire sur la cible finale.<\/p>\n<p>\u201cChez Terma, nous consid\u00e9rons qu\u2019Ada est appropri\u00e9 pour le d\u00e9veloppement de notre logiciel embarqu\u00e9, du fait de ces avantages et de son historique dans le domaine du logiciel critique temps r\u00e9el. En choisissant GNAT Pro pour LEON 3 ELF, nous utilisons une cha\u00eene de d\u00e9veloppement Ada qui nous permet d\u2019obtenir le niveau de qualit\u00e9 requis et les preuves associ\u00e9es n\u00e9cessaires lors du d\u00e9veloppement de logiciel critique. Nous sommes particuli\u00e8rement satisfaits de ne pas avoir \u00e0 d\u00e9pendre d\u2019un syst\u00e8me d\u2019exploitation, puisque GNAT Pro for LEON 3 ELF nous permet de d\u00e9velopper une application temps r\u00e9el Ravenscar ciblant une machine nue LEON 3.\u201d [Mark Lorenzen, D\u00e9veloppeur logiciel, Responsable du logiciel des instruments ASIM]<\/p>\n<p>\u201cAda et GNAT Pro ont une implantation solide dans le domaine des applications spatiales, et leur s\u00e9lection pour le logiciel ASIM confirme leur avantage dans ce domaine critique,\u201d d\u00e9clare Cyrille Comar, Directeur G\u00e9n\u00e9ral \u00e0 AdaCore. \u201cIl est particuli\u00e8rement agr\u00e9able de voir Terma tirer parti de tout l\u2019\u00e9ventail de technologies qui permettent \u00e0 GNAT Pro d\u2019assurer les plus hauts niveaux de fiabilit\u00e9.\u201d<\/p>\n<p><strong> <\/strong><\/p>\n<p><strong>\u00c0 propos deTerma A\/S<\/strong><\/p>\n<p>Op\u00e9rant dans les domaines de l\u2019a\u00e9rospatial, de la d\u00e9fense et de la s\u00e9curit\u00e9, Terma offre du support \u00e0 ses clients et partenaires au niveau mondial. Comptant plus de 1100 employ\u00e9s d\u00e9vou\u00e9s, l\u2019entreprise d\u00e9veloppe des produits et des solutions r\u00e9pondant aux besoins et exigences de clients op\u00e9rant dans les milieux critiques.<\/p>\n<p><a href=\"http:\/\/www.terma.com\">www.terma.com<\/a><\/p>\n<p><strong>\u00c0 propos d\u2019AdaCore<\/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\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. http:\/\/www.adacore.com<\/p>\n<p><strong>Contacts Presse<\/strong><br \/>\nJamie Ayre<br \/>\nAdaCore<br \/>\n<a href=\"mailto:press@adacore.com\">press@adacore.com<\/a><br \/>\n<span style=\"text-decoration: underline;\">http:\/\/twitter.com\/AdaCoreCompany<\/span><\/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><\/center><\/p>\n<p><iframe src=\"http:\/\/www.facebook.com\/plugins\/like.php?href=http:\/\/www.agglotv.com\/?p=29920;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=\"Circonvolution\" data-lang=\"fr\">Tweeter<\/a><script type=\"text\/javascript\" src=\"\/\/platform.twitter.com\/widgets.js\"><\/script><\/p>\n","protected":false},"excerpt":{"rendered":"<p>AdaCore annonce aujourd\u2019hui que Terma A\/S a s\u00e9lectionn\u00e9 l\u2019environnement de d\u00e9veloppement GNAT Pro Safety-Critical pour r\u00e9aliser le logiciel \u201cAtmosphere-Space Interactions Monitor\u201d(ASIM) qui sera embarqu\u00e9 sur le module Colombus de la station spatiale internationale (ISS). Terma utilisera GNAT Pro Safety-Critical combin\u00e9 aux outils de test GNATemulator et GNATcoverage pour d\u00e9velopper et tester l\u2019application avant d\u00e9ploiement sur [&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\/29920"}],"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=29920"}],"version-history":[{"count":1,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/29920\/revisions"}],"predecessor-version":[{"id":29921,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/29920\/revisions\/29921"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=29920"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=29920"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=29920"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}