| 词条 | Integrity (operating system) |
| 释义 |
| name = INTEGRITY | logo = | screenshot = | caption = | developer = Green Hills Software | family = Real-time operating systems | working state = Current | source model = Closed source (classified) | released = | RTM date = | GA date = | latest release version = | latest release date = | latest preview version = | latest preview date = | marketing target = Embedded systems | programmed in = | language = English | language count = | update model = | package manager = | supported platforms = ARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA-32, x86-64 | kernel type = Microkernel | userland = | ui = | license = Proprietary | website = {{URL|www.ghs.com/products/rtos/integrity.html}} }} INTEGRITY and INTEGRITY-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software. INTEGRITYINTEGRITY 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-178BINTEGRITY-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 or Linux, though evaluated at lower levels of assurance, generally include these abilities within their TOE. Supported processor architecturesThe INTEGRITY Architecture Support Package (ASP) provides support for many processor families:
References1. ^{{Cite web|url=https://www.wolfssl.com/mx6-caam-integrity-os/|title=i.MX6 CAAM with Integrity OS - wolfSSL|date=2018-10-26|language=en-US|access-date=2019-02-14}} 2. ^{{cite web|title=Board or bored? Lockheed Martin gets into the COTS hardware biz|url=http://vita-technologies.com/articles/board-bored-lockheed-martin-co/|publisher=VITA Technologies Magazine|access-date=9 March 2012|date=December 10, 2010}} 3. ^1 {{cite web|author=Kelly Jackson Higgins|url=http://www.darkreading.com/applications/secure-os-gets-highest-nsa-rating-goes-c/212100421 |title=Secure OS Gets Highest NSA Rating, Goes Commercial |publisher=Dark Reading |date=2008-11-18 |access-date=2013-12-01}} 4. ^{{cite web |title=Integrity-178B Separation Kernel Security Target |url=http://www.niap-ccevs.org/st/st_vid10362-st.pdf |publisher=SAIC |date=2011-01-31 |access-date=2011-03-22}} External links
8 : ARM operating systems|Embedded operating systems|Microkernel-based operating systems|Microkernels|MIPS operating systems|PowerPC operating systems|Proprietary operating systems|Real-time operating systems |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。