Flexible Software-Unterstützung

F75P, der sichere Bahnrechner auf 3 HE CompactPCI, bildet die Grundlage für eine neue Produktfamilie im Bereich Safe Train Control, deren Komponenten gerade von MEN entwickelt werden. Für den auf Intel Atom basierenden SBC F75P mit On-Board-Redundanz kann als alleinstehende Hardware-Komponente ein SIL-4-Zertifikat des TÜV Süd und ein komplettes Zertifizierungspaket zur Verfügung gestellt werden.

Mit QNX kommt nun ein sicheres Betriebssystem hinzu, das den F75P zur einer sicheren Lösung inklusive zertifizierter Hard- und Software macht. MEN bietet auch das sichere QNX-BSP zusammen mit dem F75P als SIL-4-Zertifizierungspaket vom TÜV Süd an. Um jedoch den Entwicklungsstart einer sicheren Bahnanwendung auf Basis des F75P aus Kostensicht zu erleichtern, stehen je ein Standard-QNX-BSP für die beiden Control-Prozessoren und für den I/O-Prozessor zur Verfügung. Für PikeOS ist bereits ein Test-BSP verfügbar, das auf Anfrage von Sysgo zum sicheren BSP komplettiert wird. Auch weitere sichere Betriebssystem-BSPs wie VxWorks Cert und Integrity, angeboten von WindRiver und Greenhills, sind mit dem F75P denkbar. Selbst Linux wird vollständig unterstützt – zwar ohne BSP aber dafür mit entsprechend angepassten Treibern und einer ausführlichen Dokumentation.