Integrity gerçek zamanlı işletim sistemi
Green Hills'i seçmek için beş neden
1.
En yüksek güvenlikli işletim sistemi ("Güvenlik"): IEC-15408 IT'ye göre sertifikalı EAL6+ Yüksek Sağlamlık
2.
Fonksiyonel güvenlik standartlarına göre önceden sertifikalandırılmış İşletim Sistemi: DO-178, EN-50128, ISO-26262, IEC-62304
3.
Gelişmiş sertifikalandırılabilir çoklu çekirdek desteği
4.
"Kritik Güvenlik" uygulamaları için "Zor Gerçek Zamanlı" özellikler
5.
En gelişmiş kritik sistemlerde kullanımı kanıtlanmıştır
En kritik performans gereksinimlerini karşılar
Integrity'nin çekirdeği hiçbir kesintiyi engellemez.
Kesme hizmeti rutinleri minimum gecikme ile çalışır. Integrity olaylara nanosaniyeler içinde yanıt verebilir.
Uzay ve zaman alanlarında garantili bölüm bütünlüğü
Bütünlük, her bir sürece sabit miktarlarda CPU zamanı ve bellek tahsis edilmesini sağlar. Tahsis edilen bu miktarlar diğer süreçlerin davranışlarından bağımsız olarak kullanılabilir olacaktır.
Bütünlük, bölümlerinden birinde (Korumalı Sanal Adres Alanları) çalışan bir uygulamanın herhangi bir nedenle (dahili veya harici) başarısız olması durumunda, uygulamaların geri kalanının etkilenmeyeceğini garanti eder. Bu, aynı ekipman üzerinde farklı kritiklikteki uygulamaları sertifikalandırmamızı sağlar.
İletişim yığını (TCP/IP, USB), dosya sistemleri ve hatta aygıt sürücüleri gibi tipik kütüphaneler birbirlerinden ve işletim sistemi çekirdeğinden ayrı bölümlerde çalışır.
Sertifikalandırılabilir çok çekirdekli mimariler için destek
Integrity, gerçek zamanlı gömülü ortamlarda kullanım için optimize edilmiş Asimetrik Çoklu İşlemci (AMP) ve Simetrik Çoklu İşlemci (SMP) çok çekirdekli mimarileri destekler.
Uygulamaların çekirdeklere tahsis edilmesini özel bir çekirdek ve özel bir bellek alanı ile yapılandırabilirsiniz. Determinizmi kolaylaştırmak için "n" yüksek öncelikli görevin "n" çekirdek üzerinde yürütülmesini de yapılandırabilirsiniz.
Güvenli sanallaştırma desteği
Integrity Multivisor, farklı işletim sistemlerinin aynı donanım üzerinde çalışmasına olanak tanıyan sanallaştırma işlevi sağlar.
Intel VT-x/d, ARM VE gibi hipervizör hızlandırmasını destekleyen işlemcilerde Integrity, ana bilgisayar işletim sisteminde herhangi bir değişiklik gerektirmeyen tam sanallaştırmayı destekler.
Integrity Multivisor, konuk işletim sistemlerini çekirdeklere atayabilir veya iş yükünü çekirdekler arasında dağıtabilir.
Orta katman yazılım desteği
Green Hills, TCP/IP ve USB iletişim protokolleri, dosya sistemleri, e-posta vb. gibi Integrity için temel uygulamalar sağlar. Uçtan uca güvenlik uygulamalarının geliştirilmesi için kriptografik kütüphaneler de sağlanmaktadır: TLS/SSL protokolleri, SSH, IPSec/IKE, Cihaz Yaşam Döngüsü Yönetimi aracısı, güvenli önyükleme vb.
Buna ek olarak, Integrity için harici uygulamalar sunan çok sayıda üretici vardır.
