Success Story ENYSE: SIL4-Zertifizierung gemäß CENELEC
Automatisiertes Erstellen und Verwalten von Testfällen sowie Messen der Code-Coverage
Der Kunde
Enyse ist ein Unternehmen für Eisenbahnsignaltechnik mit Sitz in Madrid, Spanien. Für Enyse basiert der Erfolg ihrer Projekte auf einem hohen Maß an Anpassung an die funktionalen und betrieblichen Anforderungen der verschiedenen Eisenbahnen. In einer Branche, die zunehmend Technologiestandards integriert, gelten die geforderten Standards für Zuverlässigkeit, Verfügbarkeit, Wartung und Sicherheit nicht nur auf der Ebene des Systemdesigns, sondern sind die eigentlichen Voraussetzungen für die ordnungsgemäße Umsetzung und Inbetriebnahme schlüsselfertiger Signalisierungsprojekte. Enyse arbeitet in allen Phasen eines Projekts, von der Konzeption und dem Design bis hin zur Herstellung und Wartung von Sicherheitsanlagen, sowohl für eigene als auch für zugekaufte Technologien.
Die Herausforderung
EUROBLOCK23 ist eine hochmoderne Plattform, die in der Lage ist, das elektronische Stellwerkssystem (EIS) von ENYSE und das Radio Block Centre (RBC) zu integrieren. Sie bietet die Funktionalitäten von ERTMS sowohl für Level 2 als auch für Level 3, die derzeit entwickelt werden.
Diese Systeme erfordern eine SIL4-Zertifizierung gemäß CENELEC. Dadurch ergeben sich hohe Anforderungen an das Verifizieren und Testen der Sotware, welche die dynamische Analyse und das Testen, die Rückverfolgbarkeit, die Messung der Code Coverage und Funktions- bzw. Black-Box-Tests beinhalten.
Die Lösung
Enyse verwendet die VectorCAST Embedded Testplattform für die automatisierte Erstellung und Verwaltung von Testfällen und zur Code Coverage Messung. Dabei ermöglicht VectorCAST eine effiziente Zusammenarbeit bei den Testaktivitäten, beschleunigt die Testausführung und zeigt aktuelle Metriken zum Testfallstatus und zur Codeabdeckung an.
Die Vorteile
VectorCAST ist für die Entwicklung sicherheitskritischer Software im Bahnverkehr vom TÜV Süd zertifiziert und wird seit mehr als 20 Jahren erfolgreich in Projekten in der Bahntechnik eingesetzt.
- Es bietet Tool-Qualifizierungsdokumente (TOR und TQD) für die erleichterte Zertifizierung bei den Zertifizierungsstellen.
- VectorCAST unterstützt das Erfassen und die Berichterstellung der strukturellen Codeabdeckung von SIL1 bis SIL4.
- VectorCAST lässt sich perfekt in das Build-System und die bestehende Testinfrastruktur bei Enyse integrieren und automatisieren.
- Interna der Anwendung können überwacht und Defekte über Probe-Points injiziert werden.
- Änderungsbasiertes Testen reduziert effizient die benötigte Testzeit, da nur Tests ausgeführt werden, die von Codeänderungen betroffen sind.
