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

Last Updated: 10/8/2017
Posted on: 6/30/2011