Railway Control System

Siemens

The Mobility Division of Siemens Switzerland Ltd., has selected GNAT Pro, along with the CodePeer static analysis tool, to develop the next generation of its railway control and information system.

Siemens Switzerland Selects AdaCore Toolset for Railway Project siemens-railway

GNAT Pro to be used for safety-critical software development of railway control system

STUTTGART, PARIS, ZURICH, June 30, 2011 – 16th International Conference on Reliable Software Technologies AdaCore, a leading supplier of Ada development tools and support services, today announced that the Mobility Division of Siemens Switzerland Ltd., has selected GNAT Pro, along with the CodePeer static analysis tool, to develop the next generation of its railway control and information system. The contract with AdaCore provides Siemens software developers with state-of-the-art Ada tools and direct access to the world’s largest team of Ada experts, many of whom have years of experience in safety-critical application development.

The Siemens railway control system is a modern networked application that covers every aspect of the railway control domain. It uses a distributed architecture to allow a computer to automatically take over control of a cell from another computer in the same cell due to a hardware failure or planned maintenance. This architecture guarantees high-availability of the system in accordance with European railway software standards. The current version of the system controls the train traffic throughout major parts of Switzerland and also parts of Austria, Hungary and Malaysia.

“Safety has the highest priority in the railway business. Therefore, we invest a lot of time and energy in code-review and testing activities. Recently, Siemens is experiencing a renaissance in demand for its railway control software, which is placing a heavy load on our software development resources. In order to meet the demand, without compromising safety or quality, we recognized the need for tools that would allow us to work more efficiently. Our two most important requirements were an Ada compiler that could be configured to analyze code against a rigorous set of specific criteria, and an automated code review and validation tool to identify potential runtime errors. Now, with detailed feedback from the GNAT compiler and CodePeer we are able to discover problems at the source instead of in the test lab and the code-review process is now essentially automated,” said Daniel Bigelow, Siemens software developer.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base. See http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

About Siemens
Siemens AG (Berlin and Munich) is a global powerhouse in electronics and electrical engineering, with operating sectors in industry, energy and healthcare. In fiscal 2010, revenue totaled some €76 billion with a net income of €4.1 billion. Siemens has around 405,000 employees worldwide. For information in English specific to Siemens Mobility please visit www.mobility.siemens.com/mobility/global/en/Pages/siemens-mobility.aspx

Press Contacts
press@adacore.com

Siemens choisit les outils AdaCore pour son projet ferroviaire.

Le GNAT Pro sera utilisé pour développer le logiciel de sécurité critique du système de contrôle ferroviaire.

STUTTGART, PARIS, ZURICH, 30 juin 2011 - 16ème conférence internationale sur le développement des systèmes logiciels fiables - AdaCore, fournisseur leader d'outils de développement sur Ada et de services de support, annonce que la division Mobilité de Siemens Suisse Ltd a choisi GNAT Pro, ainsi que l'outil d'analyse statique CodePeer, pour développer la nouvelle génération de systèmes d'information et de contrôle ferroviaire. Le contrat avec AdaCore apporte aux développeurs des logiciels de Siemens des outils Ada de premier plan et un accès direct à la première équipe d'experts Ada au monde, dont plusieurs possèdent des années d'expérience dans le développement d'applications de sécurité critique.

Le système de contrôle ferroviaire de Siemens est une nouvelle application en réseau qui couvre chaque aspect du contrôle des trains. Elle utilise une architecture distribuée permettant à un ordinateur de prendre automatiquement le contrôle d'une cellule à partir d'un autre ordinateur de la même cellule en cas d'échec matériel ou de maintenance planifiée. Cette architecture garantit une haute disponibilité du système pour être en conformité avec les standards logiciels ferroviaires européens. La version actuelle du système contrôle le trafic des trains dans plusieurs régions suisses mais aussi autrichiennes, hongroises et malaisiennes.

"La sécurité est la priorité n°1 de l'activité ferroviaire. De ce fait, nous investissons beaucoup de temps et d'énergie dans la révision du code et les tests. Depuis quelques temps, Siemens fait face à une recrudescence de demandes pour son logiciel de contrôle ferroviaire, ce qui occasionne un surcroît de travail pour ses équipes de développement logiciel. Pour y faire face, et sans faire de compromis sur la sécurité ou la qualité, nous avons détecté le besoin de faire appel à des outils qui nous permettraient de travailler plus efficacement. Nos deux pré-requis majeurs étaient : un compilateur Ada qui pourrait être configuré pour analyser le code avec des critères spécifiques rigoureux et une révision automatisée du code ainsi qu'un outil de validation pour identifier les erreurs d'exécution potentielles. Maintenant, avec le rapport détaillé du compilateur GNAT et CodePeer, nous sommes capables de découvrir les problèmes à la source au lieu de les trouver pendant les tests et le processus de révision du code est désormais complètement automatisé", a déclaré Daniel Bigelow, développeur logiciel chez Siemens.

À propos d'AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d'AdaCore est l'environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.

L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications de haute intégrité ou certifiées pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.

À propos de Siemens
Siemens AG (Berlin et Munich) est l'une des sociétés d'électronique et d'ingénierie électrique les plus importantes et solidement établies au monde évoluant dans les domaines de l'industrie, de l'énergie et de la santé. Le chiffre d'affaires pour l'année fiscale 2010 s'est élevé à 76 milliards de $ avec un bénéfice net de 4,1 milliards de $. Siemens a environ 405 000 employés dans le monde. Site web : www.mobility.siemens.com/mobility/global/en/Pages/siemens-mobility.aspx.

Contacts Presse
press@adacore.com

Siemens Schweiz väljer AdaCore Toolset för Railway Project

GNAT Pro ska användas för säkerhetskritiska mjukvaruutveckling av järnvägens styrsystem

Stuttgart, Paris, Zürich den 30 juni, 2011 - 16e workshop: Development of reliable software systems - AdaCore, en ledande leverantör av Ada utvecklingsverktyg och stödtjänster, tillkännagav idag att Mobility Division of Siemens Schweiz Ltd har valt GNAT Pro tillsammans med CodePeer statiskt analysverktyg för att utveckla nästa generation av järnvägsstyrning och informationssystem.

Avtalet med AdaCore ger Siemens mjukvaruutvecklare med state-of-the-art Ada-verktyg och direkt tillgång till världens största team av Ada-experter, med många års erfarenhet av säkerhetskritiska applikationsutveckling.


Siemens järnvägs-styrsystem är ett modernt nätverksprogram som täcker alla aspekter av järnvägens kontrolldomän. Den använder en distribuerad arkitektur för att möjliggöra en dator att automatiskt ta över kontrollen över en cell från en annan dator i samma cell på grund av ett hårdvarufel eller
planerat underhåll. Denna arkitektur garanterar hög tillgänglighet i systemet i enlighet med Europeiska järnvägsföretagen mjukvara-standarder. Den nuvarande versionen av systemet styr tågtrafiken över stora delar av Schweiz och även delar av Österrike, Ungern och Malaysia.

– Säkerhet har högsta prioritet i järnvägssektorn. Vi satsar därför mycket tid och energi i code-review och testaktiviteter. Siemens genomgick nyligen en renässans i efterfrågan på dess järnvägsstyrningsprogramvara och satsar nu mer på våra resurser för mjukvaruutveckling. För att möta efterfrågan utan att äventyra säkerheten eller kvaliteten har vi insett behovet av verktyg
som ger oss möjlighet att arbeta mer effektivt. Våra två viktigaste krav var en Ada-kompilator som kan konfigureras för att analysera koden mot en strikt uppsättning av specifika kriterier och en automatiserade kodgranskning och validering verktyg för att identifiera potentiella runtime-fel. Nu, med detaljerade
feedback från GNAT-kompilator och CodePeer har vi möjlighet att upptäcka problem vid källan i stället för i testlabbet och code-review-processen är nu i huvudsak automatiserad, sade Daniel Bigelow, Siemens programutvecklare.

Om AdaCore
AdaCore grundades 1994 och är den ledande leverantören av kommersiella mjukvarulösningar för Ada, ett toppmodernt programmeringsspråk utformat för stora, långlivade tillämpningar där säkerhet, skydd och pålitlighet är kritiska faktorer. AdaCores flaggskeppsprodukt är utvecklingsmiljön GNAT Pro, som säljs med expert-support online och finns tillgänglig på fler plattformar än någon annan Ada-teknologi. AdaCore har en omfattande global användarbas; se http://www.adacore.com/home/company/customers/ för mer information.

Ada och GNAT Pro ser nu en stor ökning inom tillämpningar med hög integritet och säkerhetscertifiering, till exempel kommersiell flygteknik, militärsystem, flygtrafikledning/-kontroll, järnvägssystem, medicinsk utrustning, samt inom säkerhetskänsliga områden såsom finanstjänster. Verktygsuppsättningen SPARK Pro, som tillhandahålls av AdaCore, är särskilt användbar i sådana sammanhang.

AdaCore har ett nordamerikanskt huvudkontor i New York och ett europeiskt huvudkontor i Paris. www.adacore.com

Om AdaCore
Siemens AG (Berlin och München) är ett av världens största företag inom elektronik och elteknik med operativsystem inom sektorer som industri, energi och hälsovård. Under räkenskapsåret 2010 uppgick faktureringen till €76
miljarder med en nettovinst på €4,1 miljarder kronor. Siemens har cirka 405 000 anställda världen över. För mer information på engelska som är specifik för Siemens Mobility besök
 www.mobility.siemens.com/mobility/global/en/Pages/siemens-mobility.aspx

Presskontakt
press@adacore.com

Siemens Switzerland wählt AdaCore-Werkzeuge für Eisenbahnprojekt

GNAT Pro wird für die Entwicklung von sicherheitskritischer Software für ein Eisenbahnverkehrsleitsystem eingesetzt

Paris, Zürich, Stuttgart, 30. Juni 2011 - AdaCore, ein führender Anbieter von Ada Entwicklungswerkzeugen und Supportdiensten, hat heute bekanntgegeben, dass die Mobility Division von Siemens Switzerland Ltd die Entwicklungsumgebung GNAT Pro zusammen mit dem CodePeer Tool zur statischen Analyse einsetzen wird, um die nächste Generation ihres Eisenbahnkontroll- und Informationssystems zu entwickeln

Der Vertrag mit AdaCore gibt den Softwareentwicklern von Siemens Zugang zu State-of-the-Art-Ada-Werkzeugen. Außerdem erhalten sie einen direkten Kontakt zu dem weltgrößten Team von Ada-Experten. Viele von diesen haben jahrelange Erfahrung in der Entwicklung sicherheitskritischer Anwendungen.

Das Eisenbahnverkehrsleitsystem von Siemens ist eine moderne, vernetzte Anwendung, die jeden Aspekt der Eisenbahnüberwachung abdeckt. Es besitzt eine verteilte Architektur, die es einem Computer erlaubt, die Kontrolle eines Knotens von einem anderen System zu übernehmen, etwa dann, wenn ein Hardwarefehler auftritt oder Wartungsarbeiten durchgeführt werden. Diese Architektur garantiert eine hohe Verfügbarkeit der Lösung, wie sie von den europäischen Eisenbahnsoftwarestandards gefordert wird. Die aktuelle Version des Systems steuert den Verkehr in großen Teilen der Schweiz sowie in Teilen von Österreich, Ungarn und in Malaysia.

"Sicherheit hat höchste Priorität im Eisenbahngeschäft. Daher investieren wir viel Zeit und Energie in Code Review und Tests. In letzter Zeit hat Siemens eine erhöhte Nachfrage nach seiner Eisenbahnkontrollsoftware beobachtet, und dadurch wächst der Druck auf unsere Softwareentwicklungsressourcen. Wir haben unseren Bedarf an Werkzeugen erkannt, die uns erlauben, effizienter zu arbeiten, um die Nachfrage befriedigen zu können, ohne die Sicherheit oder die Qualität zu beeinträchtigen. Die beiden wichtigsten Auswahlkriterien waren erstens ein Ada Compiler, der konfiguriert werden kann, um Code rigoros auf bestimmte Kriterien zu überprüfen, und zweitens ein automatisches Code Review und Validierungswerkzeug, um potenzielle Laufzeitfehler zu identifizieren. Heute sind wir dank des detaillierten Feedbacks des GNAT Compilers und von CodePeer in der Lage, Probleme an der Quelle zu lokalisieren anstatt im Testlabor. Der Codereview-Prozess erfolgt damit weitgehend automatisiert", sagte Daniel Bigelow, Siemens Softwareentwickler.

Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für Mission-Critical-Anwendungen in sicherheitskritischen Umgebungen. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. Unternehmen aus aller Welt aus sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor setzen AdaCore-Lösungen für sicherheitskritische Anwendungen ein. Hauptsitz des Unternehmens ist New York, das europäische Headquarter ist in Paris. Weitere Informationen: www.adacore.com

Über Siemens
Siemens AG (Berlin und München) ist ein weltweit führender Anbieter in Elektronik und Elektrotechnik mit Betriebsbereichen in der Industrie, der Energie und der Medizin. Im Steuerjahr 2010 betrug der Umsatz etwa 76 Milliarden Euro, mit einem Nettogewinn von 4 Milliarden Euro. Siemens hat etwa 405 000 Mitarbeiter weltweit. Mehr über Siemens Mobility können Sie hier erfahren: http://www.mobility.siemens.com/mobility/global/de/Seiten/siemens-mobility.aspx

Pressekontakte:
press@adacore.com