Seite 3: Sicherheit und Zertifizierung von Anwendungen

http://www.elektronikpraxis.vogel.de/softwareengineering/betriebsysteme/articles/561361/index3.html

Das Echtzeitbetriebssystem (RTOS) und Virtualisierungssystem PikeOS ermöglicht die Entwicklung und den Betrieb sicherheits-zertifizierter Anwendungen auf einer gemeinsamen Hardware-Plattform.