אינטגריטי

אינטגריטי (באנגלית: INTEGRITY) ואינטגריטי-178B הן מערכות הפעלה זמן אמת (RTOS) המיוצרות ומשווקות על ידי חברת גרין הילס.

אינטגריטי 
אינטגריטי מוסמכת POSIX ומיועדת לשימוש במערכות משובצות 32 סיביות או 64 סיביות. ארכיטקטורות מחשבים נתמכות כוללות וריאנטים של: ARM, Blackfin, ColdFire, MIPS, PowerPC, XScale ו-x86. כמו כן אינטגריטי נתמך על ידי ספריות SSL/TLS פופולריות כגון wolfSSL.

אינטגריטי-178B 
אינטגריטי-178B היא גרסה תואמת התקן התעופתי DO-178, של אינטגריטי. משתמשים בה בכמה מטוסי צבא כמו ה-B-2 -16, F-22 ו-F-35, וכלי הטיס המסחרי איירבוס A380. תכנון הליבה שלה מבטיח זמני מחשוב מוגבלים על ידי ביטול תכונות כגון הקצאת זיכרון דינמית.

יכולות הביקורת והנדסת האבטחה אפשרו לה להשיג את דירוג הערכת הבטחת הערכה (EAL) ברמה 6, על ידי הסוכנות לביטחון לאומי (NSA). אולם יש לציין כי הערכת האבטחה (TOE) של ארכיטקטורת היעד של לא כוללת רכיבים כמו מערכת קבצים ותקשורת, ומתמקדת כמעט אך ורק בליבה. מערכות הפעלה אחרות, כגון Windows, MacOS או Linux, אף שהן מוערכות ברמות אבטחה נמוכות יותר, כוללות בדרך כלל יכולות אלה בתוך ה-TOE שלהן.

ארכיטקטורות מעבדים נתמכות 
חבילת התמיכה בארכיטקטורה (ASP) של אינטגריטי מספקת תמיכה למשפחות מעבדים רבות:
 PowerPC/Power ISA
 AMD ו Intel: x86
 ARM Holdings: ARM
 MIPS

הערות שוליים 

ערכים שבהם תבנית אתר רשמי אינה מתאימה להוספה אוטומטית
מערכות הפעלה זמן אמת