אינטגריטי
| מפתח | גרין הילס |
|---|---|
| פלטפורמות | ARM |
| אתר אינטרנט | http://www.ghs.com/products/rtos/integrity.html |
אינטגריטי (באנגלית: INTEGRITY) ואינטגריטי-178B הן מערכות הפעלה זמן אמת (RTOS) המיוצרות ומשווקות על ידי חברת גרין הילס.
אינטגריטי
אינטגריטי מוסמכת POSIX ומיועדת לשימוש במערכות משובצות 32 סיביות או 64 סיביות. ארכיטקטורות מחשבים נתמכות כוללות וריאנטים של: ARM, Blackfin, ColdFire, MIPS, PowerPC, XScale ו-x86. כמו כן אינטגריטי נתמך על ידי ספריות SSL/TLS פופולריות כגון wolfSSL.[1]
אינטגריטי-178B
אינטגריטי-178B היא גרסה תואמת התקן התעופתי DO-178, של אינטגריטי. משתמשים בה בכמה מטוסי צבא כמו ה-B-2[2] -16, F-22 ו-F-35, וכלי הטיס המסחרי איירבוס A380.[3] תכנון הליבה שלה מבטיח זמני מחשוב מוגבלים על ידי ביטול תכונות כגון הקצאת זיכרון דינמית.
יכולות הביקורת והנדסת האבטחה אפשרו לה להשיג את דירוג הערכת הבטחת הערכה (EAL) ברמה 6, על ידי הסוכנות לביטחון לאומי (NSA).[3] אולם יש לציין כי הערכת האבטחה (TOE) של ארכיטקטורת היעד של לא כוללת רכיבים כמו מערכת קבצים ותקשורת, ומתמקדת כמעט אך ורק בליבה.[4] מערכות הפעלה אחרות, כגון Windows, MacOS או Linux, אף שהן מוערכות ברמות אבטחה נמוכות יותר, כוללות בדרך כלל יכולות אלה בתוך ה-TOE שלהן.
ארכיטקטורות מעבדים נתמכות
חבילת התמיכה בארכיטקטורה (ASP) של אינטגריטי מספקת תמיכה למשפחות מעבדים רבות:
הערות שוליים
- ^ "i.MX6 CAAM with Integrity OS - wolfSSL" (באנגלית אמריקאית). 2018-10-26. נבדק ב-2019-02-14.
- ^ "Board or bored? Lockheed Martin gets into the COTS hardware biz". VITA Technologies Magazine. 10 בדצמבר 2010. נבדק ב-9 במרץ 2012.
{{cite web}}: (עזרה) - ^ 3.0 3.1 Kelly Jackson Higgins (2008-11-18). "Secure OS Gets Highest NSA Rating, Goes Commercial". Dark Reading. נבדק ב-2013-12-01.
- ^ "Integrity-178B Separation Kernel Security Target" (PDF). SAIC. 2011-01-31. נבדק ב-2011-03-22.
30474532אינטגריטי