Операционная система реального времени с гипервизором PikeOS компании SYSGO сертифицирована федеральной службой Германии по информационной безопасности BSI (Bundesamt für Sicherheit in der Informationstechnik) по международному стандарту информационной безопасности ИСО/МЭК 15408 «Общие Критерии». Предметом сертификации является ядро PikeOS Separation Kernel, выполняющее пространственную и временную изоляцию приложений, исполняющихся на одном и том же процессоре. Ядро PikeOS Separation Kernel версия 4.2.2 (сборка #s5400) сертифицировано на оценочный уровень доверия EAL3+ для процессорных архитектур x86-64, ARMv7 и ARMv8.
Для сертификации в других национальных и отраслевых сертифицирующих органах поставляется комплект сертификационной документации PikeOS Security Certification Kit. Руководство по сертификации PikeOS Security Manual, входящее в состав сертификационного пакета, может быть поставлено отдельно для опережающей проработки процедуры сертификации. Для PikeOS поставляется также сертификационный пакет по отраслевому стандарту информационной безопасности Airbus SAR (Security Assurance Requirements), разработанному на основе ИСО/МЭК 15408 с учетом специфики авиационных систем.
Для сертификации по стандартам функциональной безопасности (safety) PikeOS сопровождается сертификационными пакетами: для авионики DO-178C до уровня DAL A (Design Assurance Level), для железнодорожных систем EN 50128 до уровня SIL 4 (Safety Integrity Level) и для автоэлектроники ISO 26262 до уровня ASIL D (Automotive Safety Integrity Level). Теперь встраиваемые системы на базе PikeOS готовы к комплексной сертификации “Safety+Security” и по требованиям функциональной безопасности и по требованиям информационной безопасности.
Дистрибьютор компании SYSGO в России – компания АВД Системы, поставщик средств разработки программного обеспечения критически важных для безопасности сертифицируемых встраиваемых компьютерных систем.
