Siemens Switzerland wählt AdaCore-Werkzeuge für Eisenbahnprojekt
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.
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
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
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 527 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).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
IFS bringt ERP mit IFS Touch Apps auf Android und iPhone ...
IFS stellt seine ersten beiden IFS Touch Apps vor: IFS Trip Tracker für die Reisekostenabrechnung und IFS Notify Me für Genehmigungen von Bestellvorgängen, Zeitbuchungen oder Reisekosten etc. Diese beiden neuen Apps ergänzen das Produktportfolio für den mobilen Anwender. IFS Touch Apps sind mit
ICBC Leasing baut auf Cordys Business Operations Platform ...
Eine der führenden chinesischen Finanzleasinggesellschaften, ICBC, verbessert das Kundenerlebnis und reduziert ihre Betriebskosten durch die BPM-Lösung (Business Process Management) von Cordys. Stuttgart, 27. Juni 2011 – Der chinesische Finanzleasinganbieter ICBC Leasing hat die Cordys Busine
Paessler-Studie zeigt: 70 % setzen auf Monitoring virtueller Umgebungen ...
Nürnberg, 29. Juni 2011 – Die Software PRTG Network Monitor (www.de.paessler.com) zeigt Administratoren frühzeitig Unregelmäßigkeiten im Netzwerk auf und liefert detaillierte Echtzeitdaten über den aktuellen Zustand sämtlicher Geräte. Wie eine aktuelle Kundenumfrage des PRTG-Herstellers Pae
Neue Lösung von Progress Software vereinfacht Kooperation von Partnern aus der Reisebranche ...
Progress Software, ein führender Anbieter von Unternehmens-Software, hat auf dem Air Transport IT Summit in Brüssel die neue Lösung „Progress Responsive Travel Alliances Solution Accelerator“ vorgestellt. Unternehmen aus der Reisebranche sind damit in der Lage, aus einer Hand ein größeres S
