{"id":16175,"date":"2011-07-01T13:26:17","date_gmt":"2011-07-01T13:26:17","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=16175"},"modified":"2011-07-01T13:43:56","modified_gmt":"2011-07-01T13:43:56","slug":"siemens-choisit-les-outils-adacore-pour-son-projet-ferroviaire","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=16175","title":{"rendered":"Siemens choisit les outils AdaCore pour son projet ferroviaire"},"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>Le GNAT Pro sera utilis\u00e9 pour d\u00e9velopper le logiciel de s\u00e9curit\u00e9 critique du syst\u00e8me de contr\u00f4le ferroviaire.<\/strong><\/p>\n<p>4\u00e8me conf\u00e9rence internationale sur le d\u00e9veloppement des syst\u00e8mes logiciels fiables &#8212; AdaCore, fournisseur leader d&rsquo;outils de d\u00e9veloppement sur Ada et de services de support, annonce que la division Mobilit\u00e9 de Siemens Suisse Ltd a choisi GNAT Pro, ainsi que l&rsquo;outil d&rsquo;analyse statique CodePeer, pour d\u00e9velopper la nouvelle g\u00e9n\u00e9ration de syst\u00e8mes d&rsquo;information et de contr\u00f4le ferroviaire. Le contrat avec AdaCore apporte aux d\u00e9veloppeurs des logiciels de Siemens des outils Ada de premier plan et un acc\u00e8s direct \u00e0 la premi\u00e8re \u00e9quipe d&rsquo;experts Ada au monde, dont plusieurs poss\u00e8dent des ann\u00e9es d&rsquo;exp\u00e9rience dans le d\u00e9veloppement d&rsquo;applications de s\u00e9curit\u00e9 critique.<\/p>\n<p>Le syst\u00e8me de contr\u00f4le ferroviaire de Siemens est une nouvelle application en r\u00e9seau qui couvre chaque aspect du contr\u00f4le des trains. Elle utilise une architecture distribu\u00e9e permettant \u00e0 un ordinateur de prendre automatiquement le contr\u00f4le d&rsquo;une cellule \u00e0 partir d&rsquo;un autre ordinateur de la m\u00eame cellule en cas d&rsquo;\u00e9chec mat\u00e9riel ou de maintenance planifi\u00e9e. Cette architecture garantit une haute disponibilit\u00e9 du syst\u00e8me pour \u00eatre en conformit\u00e9 avec les standards logiciels ferroviaires europ\u00e9ens. La version actuelle du syst\u00e8me contr\u00f4le le trafic des trains dans plusieurs r\u00e9gions suisses mais aussi autrichiennes, hongroises et malaisiennes.<!--more--><\/p>\n<p>\u00ab\u00a0La s\u00e9curit\u00e9 est la priorit\u00e9 n\u00b01 de l&rsquo;activit\u00e9 ferroviaire. De ce fait, nous investissons beaucoup de temps et d&rsquo;\u00e9nergie dans la r\u00e9vision du code et les tests. Depuis quelques temps, Siemens fait face \u00e0 une recrudescence de demandes pour son logiciel de contr\u00f4le ferroviaire, ce qui occasionne un surcro\u00eet de travail pour ses \u00e9quipes de d\u00e9veloppement logiciel. Pour y faire face, et sans faire de compromis sur la s\u00e9curit\u00e9 ou la qualit\u00e9, nous avons d\u00e9tect\u00e9 le besoin de faire appel \u00e0 des outils qui nous permettraient de travailler plus efficacement. Nos deux pr\u00e9-requis majeurs \u00e9taient : un compilateur Ada qui pourrait \u00eatre configur\u00e9 pour analyser le code avec des crit\u00e8res sp\u00e9cifiques rigoureux et une r\u00e9vision automatis\u00e9e du code ainsi qu&rsquo;un outil de validation pour identifier les erreurs d&rsquo;ex\u00e9cution potentielles. Maintenant, avec le rapport d\u00e9taill\u00e9 du compilateur GNAT et CodePeer, nous sommes capables de d\u00e9couvrir les probl\u00e8mes \u00e0 la source au lieu de les trouver pendant les tests et le processus de r\u00e9vision du code est d\u00e9sormais compl\u00e8tement automatis\u00e9\u00a0\u00bb, a d\u00e9clar\u00e9 Daniel Bigelow, d\u00e9veloppeur logiciel chez Siemens.<\/p>\n<p><strong>\u00c0 propos d&rsquo;AdaCore<\/strong><br \/>\nAdaCore, 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.  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.<br \/>\nAdaCore 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><strong>\u00c0 propos de Siemens<\/strong><br \/>\nSiemens AG (Berlin et Munich) est l&rsquo;une des soci\u00e9t\u00e9s d&rsquo;\u00e9lectronique et d&rsquo;ing\u00e9nierie \u00e9lectrique les plus importantes et solidement \u00e9tablies au monde \u00e9voluant dans les domaines de l&rsquo;industrie, de l&rsquo;\u00e9nergie et de la sant\u00e9. Le chiffre d&rsquo;affaires pour l&rsquo;ann\u00e9e fiscale 2010 s&rsquo;est \u00e9lev\u00e9 \u00e0 76 milliards de $ avec un b\u00e9n\u00e9fice net de 4,1 milliards de $. Siemens a environ 405 000 employ\u00e9s dans le monde. Site web : <a href=\"http:\/\/www.mobility.siemens.com\/mobility\/global\/en\/Pages\/siemens-mobility.aspx\">www.mobility.siemens.com\/mobility\/global\/en\/Pages\/siemens-mobility.aspx<\/a>.<\/p>\n<p><strong>Contacts Presse<\/strong><br \/>\nJamie Ayre<br \/>\nAdaCore<br \/>\npress@adacore.com<br \/>\n<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=16175;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=\"http:\/\/twitter.com\/share\" class=\"twitter-share-button\" data-count=\"vertical\" data-via=\"IciOnVousVoit\" data-lang=\"fr\">Tweet<\/a><script type=\"text\/javascript\" src=\"http:\/\/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","protected":false},"excerpt":{"rendered":"<p>Le GNAT Pro sera utilis\u00e9 pour d\u00e9velopper le logiciel de s\u00e9curit\u00e9 critique du syst\u00e8me de contr\u00f4le ferroviaire. 4\u00e8me conf\u00e9rence internationale sur le d\u00e9veloppement des syst\u00e8mes logiciels fiables &#8212; AdaCore, fournisseur leader d&rsquo;outils de d\u00e9veloppement sur Ada et de services de support, annonce que la division Mobilit\u00e9 de Siemens Suisse Ltd a choisi GNAT Pro, ainsi [&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\/16175"}],"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=16175"}],"version-history":[{"count":2,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/16175\/revisions"}],"predecessor-version":[{"id":16177,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/16175\/revisions\/16177"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=16175"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=16175"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=16175"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}