Integrity Real-Time Operating System
Five reasons to choose Green Hills
1.
Highest security operating system (“Security”): EAL6+ High Robustness certified, according to IEC-15408 IT
2.
Pre-certified operating system according to functional safety standards: DO-178, EN-50128, ISO-26262, IEC-62304.
3.
Certifiable advanced “Multi Core” support
4.
“Hard Real Time” performance for “Safety Critical” applications
5.
Proven in use in the most advanced critical systems
It meets the most critical performance requirements
The Integrity kernel never inhibits any interrupt.
Interrupt service routines are executed with minimal latency. Integrity can respond to events in a matter of nanoseconds.
Guaranteed partition integrity in the space and time domains.
Integrity allows assigning fixed amounts of CPU time and memory to each process. These assigned amounts will be available regardless of the behavior of the other processes.
Integrity ensures that if an application, running in one of its partitions (Protected Virtual Address Spaces), fails for any reason (internal or external), the rest of the applications will not be affected. This allows us to certify applications of different criticality levels on the same equipment.
Typical libraries such as the communication stack (TCP/IP, USB), file systems, and even device drivers run in partitions that are separate from each other and separate from the operating system kernel.
Support for certifiable multi-core architectures
Integrity supports multi-core architectures of the Asymmetric Multiprocessing (AMP) and Symmetric Multiprocessing (SMP) types, optimized for use in real-time embedded environments.
You can configure the assignment of applications to cores with a dedicated kernel and a dedicated memory area. You can also configure the execution of “n” high-priority tasks on “n” cores to facilitate determinism.
Secure virtualization support
Integrity Multivisor provides virtualization functionality that allows different operating systems to run on the same hardware.
On processors that support hypervisor acceleration, such as Intel VT-x/d, ARM VE, Integrity supports full virtualization, which does not require any changes to the guest operating system.
Integrity Multivisor can assign guest operating systems to cores or distribute the workload among them.
Support of external applications (Middleware)
Green Hills provides basic applications for Integrity, such as TCP/IP and USB communication protocols, file systems, email, etc. Cryptographic libraries are also provided for the development of end-to-end security applications: TLS/SSL, SSH, IPSec/IKE protocols, Device Lifecycle Management agent, secure boot, etc.
Additionally, there are multiple manufacturers that offer external applications for Integrity.
