Eingebettete Software in der Bahntechnik
Eingebettete Systeme spielen eine entscheidende Rolle in der Bahntechnik, darunter Zugsteuerung, Bordsysteme, ATP und Signaltechnik. In diesen Umgebungen können Softwarefehler schwerwiegende Folgen haben: von Betriebsstörungen über Sicherheitsrisiken bis hin zu Imageschäden.
Um die Sicherheit und Zuverlässigkeit von Bahnsystemen zu gewährleisten, wenden Branchenführer strenge Tests und internationale Normen an, darunter die neu eingeführte EN 50716:2023. Diese einheitliche Norm regelt die Entwicklung und Verifizierung von Software für den Schienenverkehr über alle Sicherheitsintegritätsstufen (SW-SIL 0–4) hinweg.
QA Systems unterstützt die Bahnindustrie mit zertifizierten Software-Verifizierungstools wie Cantata und QA-MISRA, die in hochkarätigen Projekten zum Einsatz kommen. Von ATP über ATO bis hin zu ETCS tragen unsere Tools dazu bei, Risiken zu reduzieren, die Zertifizierung zu beschleunigen und normkonforme Ergebnisse sowohl im U-Bahn- als auch im Fernverkehrsnetz zu liefern.
Die wichtigsten Standards für die Qualität von Eisenbahnsoftware
QA Systems‘ Tools unterstützen die vollständige Einhaltung der neuesten und relevantesten Software-Standards für den Bahnsektor:
- EN 50716:2023 (ersetzt EN 50128 & EN 50657)
- MISRA C/C++, CERT C/C++, CWE für sichere und zuverlässige Codierung
EN 50716 regelt die Entwicklung und Verifizierung von Software, die in der Eisenbahnsteuerung, Signaltechnik und in Schienenfahrzeugen verwendet wird. Sie deckt alle Software-Sicherheitsintegritätsstufen (SW-SILs) ab und definiert die Verwendung von Tools in der sicherheitsrelevanten Entwicklung, einschließlich der Klassifizierung und Qualifizierung von Tools.
Die Tools von QA Systems helfen mit zertifizierter Automatisierung und Compliance-Unterstützung dabei, die Anforderungen über den gesamten Software-Lebenszyklus hinweg (von der Qualitätssicherung und Entwicklung bis hin zur Bereitstellung und Wartung) zu erfüllen.
Cantata und QA-MISRA sind für den Einsatz in sicherheitsrelevanten Anwendungen bis SW-SIL 4 zertifiziert, wobei kostenlose Tool-Zertifizierungskits zur Verfügung stehen.
Weitere Informationen finden Sie unter den folgenden Links:
EN 50716
Railway applications – Rolling Stock Applications – Software on Board Rolling Stock
MISRA C/C++
Guidelines for the use of the C/C++ languages in critical systems
CERT C/C++
Secure Coding Standard
QA Systems Testtools
Sie möchten Software-Standards bei der Softwareentwicklung erfüllen? QA Systems unterstützt Sie dabei. Mit automatisierten statischen Analyse- und Softwaretest-Tools:
STATISCHE ANALYSE
QA-MISRA
Automatisierte Einhaltung von Programmierstandards für C/C++ Code
ASTRÉE
'Sound' Analyse zum Nachweis der Abwesenheit von Laufzeitfehlern und 'Dataraces' für C/C++
SOFTWARETESTS
CANTATA
Automatisierte Unit- und Integrationstests für C/C++-Code
CANTATA HYBRID
Einhaltung von Sicherheitsstandards für GoogleTest Suites
CANTATA TEAM REPORTING
Add-on für die Zusammenarbeit von verteilten Teams
ADATEST 95
Automatisierte Unit- und Integrationstests für Ada-Code
UNSERE KUNDEN
