Sistema operativo de tempo real de integridade
Cinco razões para escolher Green Hills
1.
Sistema operativo da mais alta segurança ("Security"): Certificado EAL6+ High Robustness, de acordo com a norma IEC-15408 IT
2.
Sistema operativo pré-certificado de acordo com as normas de segurança funcional: DO-178, EN-50128, ISO-26262, IEC-62304
3.
Suporte multi-core avançado certificável
4.
Características "Hard Real Time" para aplicações "Safety Critical
5.
Utilização comprovada nos sistemas críticos mais avançados
Satisfaz os requisitos de desempenho mais críticos
O kernel do Integrity nunca inibe quaisquer interrupções.
As rotinas de serviço de interrupção são executadas com latência mínima. A integridade pode responder a eventos numa questão de nanossegundos.
Integridade de partição garantida nos domínios do espaço e do tempo
A integridade permite a atribuição de quantidades fixas de tempo de CPU e de memória a cada processo. Estas quantidades atribuídas estarão disponíveis independentemente do comportamento dos outros processos.
A integridade garante que, se uma aplicação, executada numa das suas partições (Protected Virtual Address Spaces), falhar por qualquer motivo (interno ou externo), as restantes aplicações não serão afectadas. Isto permite-nos certificar aplicações de diferente criticidade no mesmo equipamento.
As bibliotecas típicas, como a pilha de comunicações (TCP/IP, USB), os sistemas de ficheiros e até os controladores de dispositivos são executados em partições separadas umas das outras e separadas do kernel do sistema operativo.
Suporte para arquitecturas multi-core certificáveis
O Integrity suporta arquitecturas multi-core de multiprocessador assimétrico (AMP) e multiprocessador simétrico (SMP) optimizadas para utilização em ambientes incorporados em tempo real.
Pode configurar a atribuição de aplicações a núcleos com um kernel dedicado e uma área de memória dedicada. Também pode configurar a execução de "n" tarefas de alta prioridade em "n" núcleos para facilitar o determinismo.
Suporte de virtualização seguro
O Integrity Multivisor fornece a funcionalidade de virtualização que permite a execução de diferentes sistemas operativos no mesmo hardware.
Nos processadores que suportam a aceleração do hipervisor, como o Intel VT-x/d, ARM VE, o Integrity suporta a virtualização total, não sendo necessárias alterações ao sistema operativo anfitrião.
O Integrity Multivisor pode atribuir sistemas operativos convidados a núcleos ou distribuir a carga de trabalho entre eles.
Suporte de middleware
A Green Hills fornece aplicações básicas para a Integridade, tais como protocolos de comunicação TCP/IP e USB, sistemas de ficheiros, correio eletrónico, etc. São também fornecidas bibliotecas criptográficas para o desenvolvimento de aplicações de segurança extremo-a-extremo: protocolos TLS/SSL, SSH, IPSec/IKE, agente de gestão do ciclo de vida do dispositivo, arranque seguro, etc.
Além disso, existem vários fabricantes que oferecem aplicações externas para a Integrity.
