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

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

ID: 433385

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

Paris, Zürich, 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.

(firmenpresse) - 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 festgestellt, 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 Compiler und von CodePeer in der Lage, Probleme an der Quelle zu lokalisieren anstatt im Testlabor. Der Code-Review-Prozess erfolgt damit weitgehend automatisiert", sagt Daniel Bigelow, Softwareentwickler bei Siemens.






Diese Presseinformation kann unter www.pr-com.de abgerufen werden.


Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:

Ãœ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




Leseranfragen:




PresseKontakt / Agentur:

AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Sandra Hofer
sandra.hofer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-800



drucken  als PDF  an Freund senden  IFS bringt ERP mit IFS Touch Apps auf Android und iPhone Cordys erreicht Führungsposition im IDC MarketScape für BPM-Plattformen
Bereitgestellt von Benutzer: PR-COM
Datum: 30.06.2011 - 12:40 Uhr
Sprache: Deutsch
News-ID 433385
Anzahl Zeichen: 2628

Kontakt-Informationen:
Ansprechpartner: Sandra Hofer
Stadt:

Paris, Zürich


Telefon: +49-89-59997-800

Kategorie:

Computer & Technik


Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 30.06.2011

Diese Pressemitteilung wurde bisher 0 mal aufgerufen.


Die Pressemitteilung mit dem Titel:
"Siemens Switzerland wählt AdaCore-Werkzeuge für Eisenbahnprojekt"
steht unter der journalistisch-redaktionellen Verantwortung von

AdaCore (Nachricht senden)

Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).

AdaCore startet Programmierwettbewerb "Make with Ada" ...

Paris, 15. Mai 2017 – Bis zu 5.000 Euro können Entwickler mit eingebetteter Software im Programmierwettbewerb "Make with Ada" gewinnen. Mit dem zum zweiten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Z ...

Alle Meldungen von AdaCore