| Integridad | |
|---|---|
| Desarrollador | Software de colinas verdes |
| ultima versión | ( 29 de octubre de 2009 ) |
| Plataformas compatibles | BRAZO |
| tipo de núcleo | micronúcleo |
| Licencia | Propiedad |
| Estado | Activo |
| Sitio web | ghs.com |
Integrity es un sistema operativo en tiempo real desarrollado por Green Hills Software, con sede en California . Certificado POSIX . Está enfocado a sistemas embebidos de un solo procesador , en cuyo procesador central se encuentra una unidad de gestión de memoria (arquitecturas ARM , XScale , Blackfin , Freescale ColdFire , MIPS , PowerPC , x86 ). El sistema se basa en el micronúcleo de µ-velocidad . La característica principal del sistema es tolerancia a fallas (si ocurre una falla en cualquier programa que se ejecuta en este sistema operativo, el sistema en su conjunto continuará funcionando normalmente y la aplicación bloqueada intentará reiniciarse proporcionándole las áreas de memoria de datos que se asignaron a la aplicación antes de que se estrellara).
Integrity-178B es un sistema operativo en tiempo real, un “subconjunto” de Integrity, certificado según el nivel A del estándar DO-178B (en Rusia se conoce como KT-178B [1] ). Totalmente compatible con ARINC 653 -1-Application/Executive (APEX) API.
Utilizado en aviones militares estadounidenses (por ejemplo , F-16 , F-22 , F-35 ) y helicópteros , también en aviones civiles Airbus A380 , Boeing 787 .
| Sistemas operativos en tiempo real | |
|---|---|
| |
| abierto | |
| Propiedad |
|
| histórico |
|
| |