אינטגריטי
| מפתח |
גרין הילס  |
|---|---|
| פלטפורמות |
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}}: (עזרה) - ^ 1 2 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.