fbpx
Wikipedia

Integrity (operating system)

January 01, 1970

INTEGRITY and INTEGRITY-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software.

INTEGRITY
DeveloperGreen Hills Software
OS familyReal-time operating systems
Working stateCurrent
Source modelClosed source (classified)
Marketing targetEmbedded systems
Available inEnglish
PlatformsARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA-32, x86-64
Kernel typeMicrokernel
UserlandPOSIX
LicenseProprietary
Official websitewww.ghs.com/products/rtos/integrity.html

INTEGRITY edit

INTEGRITY is POSIX-certified and intended for use in embedded systems of 32-bits or 64-bits. Supported computer architectures include variants of: ARM, Blackfin, ColdFire, MIPS, PowerPC, XScale, and x86. INTEGRITY is supported by popular SSL/TLS libraries such as wolfSSL.[1]

INTEGRITY-178B edit

INTEGRITY-178B is the DO-178B–compliant version of INTEGRITY. It is used in several military jets such as the B-2,[2] F-16, F-22, and F-35, and the commercial aircraft Airbus A380.[3] Its kernel design guarantees bounded computing times by eliminating features such as dynamic memory allocation.

The auditing and security engineering abilities have allowed it to obtain the Evaluation Assurance Level (EAL) 6 rating by the National Security Agency (NSA).[3] The Target of Evaluation (TOE) Architecture in the Security Target for the evaluation excludes components such as those for file system and networking, from the definition of the TOE, focusing almost solely on the core kernel.[4] Other operating systems, such as Windows, macOS or Linux, though evaluated at lower levels of assurance, generally include these abilities within their TOE.

Supported processor architectures edit

The INTEGRITY Architecture Support Package (ASP) provides support for many processor families:

References edit

  1. ^ "i.MX6 CAAM with Integrity OS - wolfSSL". 2018-10-26. Retrieved 2019-02-14.
  2. ^ . VITA Technologies Magazine. December 10, 2010. Archived from the original on 2 May 2012. Retrieved 9 March 2012.
  3. ^ a b Kelly Jackson Higgins (2008-11-18). . Dark Reading. Archived from the original on 2013-12-03. Retrieved 2013-12-01.
  4. ^ "Integrity-178B Separation Kernel Security Target" (PDF). SAIC. 2011-01-31. Retrieved 2011-03-22.

External links edit

  • Official website
  • Official website INTEGRITY-178B

January 01, 1970
integrity, operating, system, integrity, integrity, 178b, real, time, operating, systems, rtoses, produced, marketed, green, hills, software, integritydevelopergreen, hills, softwareos, familyreal, time, operating, systemsworking, statecurrentsource, modelclos. INTEGRITY and INTEGRITY 178B are real time operating systems RTOSes produced and marketed by Green Hills Software INTEGRITYDeveloperGreen Hills SoftwareOS familyReal time operating systemsWorking stateCurrentSource modelClosed source classified Marketing targetEmbedded systemsAvailable inEnglishPlatformsARM XScale Blackfin ColdFire MIPS PowerPC IA 32 x86 64Kernel typeMicrokernelUserlandPOSIXLicenseProprietaryOfficial websitewww wbr ghs wbr com wbr products wbr rtos wbr integrity wbr html Contents 1 INTEGRITY 2 INTEGRITY 178B 3 Supported processor architectures 4 References 5 External linksINTEGRITY editINTEGRITY is POSIX certified and intended for use in embedded systems of 32 bits or 64 bits Supported computer architectures include variants of ARM Blackfin ColdFire MIPS PowerPC XScale and x86 INTEGRITY is supported by popular SSL TLS libraries such as wolfSSL 1 INTEGRITY 178B editINTEGRITY 178B is the DO 178B compliant version of INTEGRITY It is used in several military jets such as the B 2 2 F 16 F 22 and F 35 and the commercial aircraft Airbus A380 3 Its kernel design guarantees bounded computing times by eliminating features such as dynamic memory allocation The auditing and security engineering abilities have allowed it to obtain the Evaluation Assurance Level EAL 6 rating by the National Security Agency NSA 3 The Target of Evaluation TOE Architecture in the Security Target for the evaluation excludes components such as those for file system and networking from the definition of the TOE focusing almost solely on the core kernel 4 Other operating systems such as Windows macOS or Linux though evaluated at lower levels of assurance generally include these abilities within their TOE Supported processor architectures editThe INTEGRITY Architecture Support Package ASP provides support for many processor families PowerPC Power ISA AMD and Intel x86 ARM Holdings ARM MIPSReferences edit i MX6 CAAM with Integrity OS wolfSSL 2018 10 26 Retrieved 2019 02 14 Board or bored Lockheed Martin gets into the COTS hardware biz VITA Technologies Magazine December 10 2010 Archived from the original on 2 May 2012 Retrieved 9 March 2012 a b Kelly Jackson Higgins 2008 11 18 Secure OS Gets Highest NSA Rating Goes Commercial Dark Reading Archived from the original on 2013 12 03 Retrieved 2013 12 01 Integrity 178B Separation Kernel Security Target PDF SAIC 2011 01 31 Retrieved 2011 03 22 External links editOfficial website Official website INTEGRITY 178B Retrieved from https en wikipedia org w index php title Integrity operating system amp oldid 1212027749, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.