Современная электроника №3/2019

РЫНОК WWW.SOEL.RU СОВРЕМЕННАЯ ЭЛЕКТРОНИКА ◆ № 3 2019 На правах рекламы 5 В СТРАИВАЕМАЯ ОСРВ/ ГИПЕРВИЗОР P IKE OS СЕРТИФИЦИРОВАНА НА УРОВЕНЬ EAL3+ СТАНДАРТА ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ «О БЩИЕ К РИТЕРИИ » Операционная система реального вре- мени с гипервизором 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 Assu- rance Level), для железнодорожных си- стем EN 50128 до уровня SIL 4 (Safety Integrity Level) и для автоэлектроники ISO 26262 до уровня ASIL D (Automotive Safety Integrity Level). Теперь встраиваемые системы на ба- зе PikeOS готовы к комплексной серти- фикации Safety+Security и по требова- ниям функциональной безопасности, и по требованиям информационной без- опасности. Дистрибьютор SYSGO в России – ком- пания «АВД Системы», поставщик средств разработки программного обеспечения, кри- тически важных для безопасности серти- фицируемых встраиваемых компьютерных систем. www.avdsys.ru/pikeos СОВРЕМЕННЫЕ ТЕХНОЛОГИИ Реклама