Registro  
Login

Visure: Gestion de Requisitos

Astrée: Detección de errores runtime


Stack Analyzer: Dimensionar el stack

Multi: Entorno de desarrollo cruzado

Integrity: Real Time Operating System

Squish: Pruebas de Interfaz Gráfica
Formación en Certificación Aeronáutica

Formación en Certificación Ferroviaria

Formación en Certificación Automoción

Formación en Ingeniería de Requisitos

Formación en Ingeniería de Sistemas


Formación en SonarQube

Python for testers

HDL Verification for Safety Critical

Mejore su productivad
Reduzca el tiempo de desarrollo

Sistema Operativo de Tiempo Real Integrity

Consideramos que Integrity es un Sistema Operativo de Tiempo Real óptimo, por las siguientes razones:

¿Por qué elegir Green Hills Integrity?

Integrity Multivisor proporciona funcionalidad de virtualización con la que se permite ejecutar distintos sistemas operativos en un mismo hardware.

En los procesadores que soportan aceleración de tipo hypervisor, tales como Intel VT-x/d, ARM VE, Integrity soporta virtualización plena por la cual no se requiere realizar ningún cambio en el sistema operativo huesped.

Integrity Multivisor puede asignar sistemas operativos huéspedes a cores o distribuir la carga de trabajo entre ellos.
Cumple con los requisitos de prestaciones más críticos

 

El kernel de Integrity nunca inhibe ninguna interrupción.

Las rutinas de servicio de interrupciones se ejecutan con una latencia mínima. Integrity puede responder ante eventos en cuestión de nanosegundos
Integridad de particiones garantizadas en el dominio del espacio y del tiempo
Integrity permite asignar cantidades fijas de tiempo de CPU y memoria a cada proceso. Estas cantidades asignadas estarán disponibles independientemente del comportamiento del resto de los procesos.

Integrity garantiza que si una aplicación, ejecutándose en una de sus particiones (Protected Virtual Address Spaces), falla por cualquier razón (interna o externa), el resto de las aplicaciones no va a verse afectadas. Esto nos permite certificar aplicaciones de distinta criticidad en un mismo equipo.

Librerías típicas como la pila de comunicaciones (TCP/IP, USB), los sistemas de ficheros e incluso los drivers de dispositivos se ejecutan en particiones separadas entre sí y separadas del nucleo del sistema operativo.
Soporte de arquitecturas multi-core certificables
Integrity soporta arquitecturas multi-core de tipo Multiprocesdor Asimétrico (AMP) y Multiprocesador Simétrico (SMP) optimizadas para uso en entornos embebidos de tiempo real.

Se puede configurar la asignación de aplicaciones a cores con un kernel dedicado y un área de memoria dedicada. También se puede configurar la ejecución de "n" tareas de prioridad alta en "n" cores para facilitar el determinismo.
Soporte de virtualización segura
Soporte de aplicaciones externas ("Middleware")
Green Hills proporciona aplicaciones básicas para Integrity, tales como protocolos de comunicaciones TCP/IP y USB, sistemas de ficheros, correo electrónico, etc. También se proporcionan librerías criptográficas para el desarrollo de aplicaciones de seguridad extremo a extremo: protocolos TLS/SSL, SSH, IPSec/IKE, Device Lifecycle Management agent, secure boot, etc.

Adicionalmente, existen múltiples fabricantes que ofrecen aplicaciones externas para Integrity.
Productos
 
©  2014 - 2021 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Formación
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Tweets por el @DoymusSI.
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas de Integraz Gráfica
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Servicios
Gap Analysis

Plantillas para ARP 4754A / ED-79A

Plantillas para DO-178C / ED-12C

Plantillas para DO-254 / ED-80

Plantillas para DO-278A / ED-109A


Soporte a la Certificación DO-178C


Soporte a la Certificación ISO-26262
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies