Schienenverkehr

Software für Schienenverkehr und Massenverkehrsmittel müssen hohen Standards an Zuverlässigkeit, Sicherheit und Systemintegrität gerecht werden - und dies unabhängig davon, ob die Software an der Bahnlinie oder im Zug eingesetzt wird.
Um diese Anforderungen zu erfüllen, ist ein rigoroser Softwareentwicklungsprozess, einschließlich der Nutzung von Software-Testtools, notwendig.
2 Die Normen DIN EN 50657 "Bahnanwendungen - Anwendungen für Schienenfahrzeuge - Software auf Schienenfahrzeugen bzw. deren Vorgängernorm IEC 62279, welche identisch mit der europäischen Norm EN 50128 "Railway applications - Communication, signaling and processing systems - Software for railway control and protection systems" ist, spezifiziert Vorgehensweisen und technische Anforderungen für die Entwicklung von programmierbaren elektronischen Systemen, welche in Bahnkontroll- und Schutzeinrichtungen verwendet werden.
EN 50657 (bzw. IEC 62279 / EN 50128) erfordern eine Code Coverage Analyse, die Benutzung von Programmierstandards wie MISRA und Tools für Verifikation und Überprüfung wie die Statische Code Analyse.

Erfüllen Sie die Anforderungen der DIN EN 50657 bzw. EN 50128 / IEC 62279 für die Code Coverage mit Testwell CTC++

Abhängig vom Security Integration Level (SIL) fordert der Standard EN 50657 folgende Test Coverage Stufen (R steht für empfohlen/"recommended", HR steht für dringend empfohlen/"highly recommended"):

	Basisintegrität	SIL 1	SIL 2	SIL 3	SIL 4
1. Anweisungen (Statement Coverage)	-	HR	HR	HR	HR
2. Verzweigungen (Branch Coverage)	-	R	R	HR	HR
3. Zusammengesetzte Bedingungen       (MC/DC oder MCC-Coverage)	-	R	R	HR	HR
4. Datenfluss	-	R	R	HR	HR
5. Pfadabdeckung	-	R	R	HR	HR

Testwell CTC++ ist das ideale Werkzeug um diese Anforderungen der EN 50657 bzw. die entsprechenden Anforderungen der EN 50128 zu erfüllen, da es alle Coveragestufen abdeckt und die Test-Coverge in allen (selbst kleinsten) eingebetteten Zielsystemen analysieren kann.
Das Tool Qualification Kit for Testwell CTC++ unterstützt Sie bei der Qualifizierung von Testwell CTC++ in Ihren Umgebungen.
Erfahren Sie hier mehr über Testwell CTC++

Datenflussanalyse

Die Datenflussanalyse wird von Imagix 4D gezeigt. Imagix 4D ist ein Tool, das dabei hilft Third Party oder Legacy Source Code in C, C++ und Java zu verstehen, zu dokumentieren und komplexere Codes zu verbessern. Es automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten.
Mit Imagix 4D erhöhen Sie die Produktivität, verbessern die Qualität und reduzieren Risiken.

Statische Analyse

Testwell CMT++ analysiert die wichtigsten Metriken wie Zeilenmetriken (LOC), Halstead-Metriken, die McCabe Cyclomatic Number v(G), den Wartbarkeitsindex (Maintainability Index) und Max ND / Maximum Nesting Depth. Das Tool ist sehr einfach zu nutzen, extrem schnell und analysiert auch sehr große Codebasen.

CodeSonar ist ein Statisches Code Analyse Tool, welches speziell für Umgebungen konzipiert wurde, die absolut fehlerfrei funktionieren müssen.
CodeSonar leistet einen signifikanten Beitrag zum Erreichen höchster Code-Qualität. Anspruchsvolle Analysen liefern zahlreiche Hilfen für die Verifizierung.
Mit seiner fortschrittlichen statischen Analyse ist CodeSonar eines der effektivsten Tools um die kostenintensivsten und am schwierigsten zu findenden Fehler bereits früh während der Software-Entwicklung zu finden.
CodeSonar findet automatisch Bugs in Software, die in C, C++ oder Java geschrieben wurde. Dank der interprozeduralen Analyse ist das Werkzeug außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter. Es hat in zahlreichen Vergleichen als bestes Werkzeug abgeschnitten.
Für die Entwicklung von "High-Quality-Code" für sicherheitskritische Systeme nutzt die Automotive-Industrie Programmierrichtlinien wie die MISRA Guidelines für C und C++. CodeSonar untertützt Sie mit Checks für MISRA und zahlreichen anderen Programmierstandards bei der Einhaltung dieser Richtlinien.

Seminare

Entwickler und Manager von sicherheitskritischer Software benötigen bestes Fachwissen um exzellente Software liefern zu können.
Verifysoft unterstützt Sie mit Seminaren und Workshops.

Hunderte von Unternehmen und Organisationen verbessern ihre Softwarequalität mit Testlösungen von Verifysoft

Verifysofts Testlösungen werden erfolgreich in der sicherheitskritischen Softwareentwicklung für Bahnanwendungen eingesetzt.
Zu unseren zufriedenen Kunden zählen unter anderem:







Erfahren Sie hier was unsere Kunden über unsere Tools sagen: