SIL 4 für Betriebssystem und Hardware
Durch die Vorzertifizierung aller drei Bausteine – BSP, Hardware und Betriebssystem – können Kunden bei der Zertifizierung des Gesamtsystems deutlich Kosten und Aufwand sparen und das eigene Risiko für eine fehlgeschlagene Zertifizierung reduzieren. MEN erhielt die Zertifizierung vom TÜV SÜD, einem etablierten und international tätigen Dienstleister für Beratung, Prüfung, Zertifizierung und Schulung.
Im Gegensatz zu bestehenden Lösungen, die eine proprietäre, unflexible Hardware-/Software-Konfiguration nutzen, legt das Modular Train Control System alle relevanten Schnittstellen zwischen den Steuerfunktionen und der eigentlichen Anwendung offen. Durch die Software-Architektur des F75P wird der sichere vom „unsicheren“ Bereich getrennt, um Zeit und Kosten für die Entwicklung und Zertifizierung der Applikations-Software zu sparen. Diese Separierung wird durch das sichere Betriebssystem von QNX erreicht, das durch einen modularen Microkernel die Partitionierung der Anwendung unterstützt.
Das Zertifizierungs-Paket für das sichere BSP zusammen mit der F75P-Hardware beinhaltet das Safety Manual, das Safety-Case-Dokument und den Prüfbericht des TÜV SÜD. Das Paket ist auch für die reine Hardware ohne das BSP verfügbar.
John Wall, Senior Vice President und Head of QNX Software Systems Limited, eine BlackBerry-Tochter, meint: “Wir freuen uns, dass MEN die SIL-4-Zertifizierung für ihr BSP erreicht hat. Die Kombination aus vorzertifiziertem BSP, vorzertifizierter Hardware und zertifiziertem Betriebssystem von QNX für Sicherheit kann die Entwicklungszeit und das Projektrisiko für den Kunden erheblich verringern. Diese ganzheitliche Lösung bietet Kunden einen vereinfachten Weg zur System-Zertifizierung und letztendlich auch einer verbesserten Sicherheit für Bahnanwendungen.“
„Wir haben uns nicht nur für QNX entschieden, weil die Microkernel- und Partitionierungs-Technologie essentiell war für die Trennung der sicherheitsrelevanten Komponenten vom Rest des Systems, sondern auch weil es ein bewährtes Echtzeit-Betriebssystem ist, das ein breites Angebot an Entwicklungs-Tools bietet. QNX unterstützt auch eine transparente dezentrale Prozessbearbeitung, welche es einer Anwendung erlaubt, Ressourcen über mehrere Prozessoren hinweg zu nutzen, was eine Schlüsselfunktion zum Aufbau von Multi-Prozessor-Systemen ist“, erklärt Manfred Schmitz, CEO der MEN Mikro Elektronik.
Basierend auf dem SIL-4-zertifizierten SBC F75P mit dem sicheren BSP, ist MTCS das erste Computer-System für die Bahnindustrie, das die Steuerungsfunktionen von der Hardware-Plattform abtrennt. Kunden profitieren von einer schnellen Marktreife, geringerem Projektrisiko im Vergleich zu einer proprietären Lösung, geringeren Kosten, funktionaler Sicherheit und höchster Flexibilität.