O nível EAL mais elevado garante que o PikeOS foi concebido e testado de forma semi-formal contra vulnerabilidades cada vez mais complexas. Os arquitetos de sistemas e os programadores de software embebido beneficiam deste elevado nível de garantia e podem ter uma grande confiança nas medidas de segurança do PikeOS contra a sabotagem e o roubo de dados. Os mercados-alvo para o sistema operativo em tempo real e hipervisor PikeOS da SYSGO abrangem qualquer dispositivo e infraestrutura crítica para a segurança e cibersegurança, particularmente nos setores da aviónica, defesa, automóvel, ferroviário, médico, industrial e aeroespacial.
As aplicações típicas incluem automóveis ligados à IoT, máquinas de construção e agrícolas, comboios, aeronaves e drones de qualquer nível de autonomia — incluindo qualquer veículo guiado automatizado — bem como controlos ligados em tempo real dentro da infraestrutura destes dispositivos. Nas fábricas da Indústria 4.0, o PikeOS com certificação EAL 5+ é também utilizado para máquinas estacionárias conectadas — com ou sem segurança funcional — bem como para robôs colaborativos e veículos logísticos autónomos. Os fabricantes de equipamento original (OEMs) implementam sistemas operativos com certificação CC-level EAL 5+, por exemplo, para proteção de perímetro com características fiáveis para controlo de acessos, assinaturas digitais, gateways seguras e comunicação segura, bem como para arquiteturas de confiança zero.
Embora o PikeOS tenha uma base de código relativamente pequena e, portanto, ofereça uma superfície de ataque reduzida, o seu conjunto de características certificadas diferencia-o de produtos semelhantes. Baseado em MILS (Múltiplos Níveis Independentes de Segurança), o PikeOS é o único sistema operativo (SO) que oferece os mais elevados padrões de certificação para segurança e cibersegurança para o mesmo produto e base de código. Com o seu robusto conjunto de características de segurança, os clientes beneficiam não só do particionamento espacial e temporal, mas também do fluxo de informação controlado, do controlo de acesso e da disponibilidade de recursos. A deteção de intrusão, a proteção de dados e outros recursos de computação fiáveis também são suportados. Isto torna o PikeOS uma base ideal para inúmeros casos de utilização, tais como gateways seguros, conectividade segura, atualizações de software over-the-air (OTA), proteção de dados e routers seguros.
“O sistema operativo em tempo real e o hipervisor PikeOS oferecem aos nossos clientes um dos mais elevados níveis de segurança alcançáveis para sistemas operativos embebidos e tecnologia de hipervisor. Seja para reforçar a cibersegurança dos sistemas embebidos sujeitos a outras restrições, ou para tirar partido das robustas propriedades de segurança do PikeOS para dispositivos embebidos que lidam com dados em múltiplos níveis de segurança, o PikeOS é uma opção única para acelerar a definição da arquitetura de segurança e a conformidade com diversas normas de segurança. Visando plataformas de execução ciberseguras, a SYSGO também fornece um conjunto abrangente de características de segurança adicionais, tais como arranque seguro, um ambiente de execução fiável, sistemas de deteção de intrusão e capacidades de encaminhamento seguro”, afirma Etienne Butery, CEO da SYSGO.
O kit de certificação Common Criteria (CC) nível EAL 5+ fornecido pela SYSGO ajuda a reduzir o tempo de certificação de segurança para um dispositivo embebido baseado em PikeOS. Os clientes podem utilizar os artefactos para os seus processos de certificação em Aviónica DO-356A/ED-203A (Métodos e Considerações de Segurança de Aeronavegabilidade), Automóvel (ISO/SAE 21434), Ferroviário (CLC/TS 50701) e Defesa.
