Editing Integrity (operating system)

{{Short description|Real-time operating system}}
{{Infobox OS
| name                   = INTEGRITY
| logo                   = 
| screenshot             = 
| caption                = 
| developer              = [[Green Hills Software]]
| family                 = [[Real-time operating system]]s
| working state          = Current
| source model           = [[Closed source]] (classified)
| released               = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} -->
| RTM date               = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} ONLY for articles about OS releases -->
| GA date                = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} ONLY for articles about OS releases -->
| latest release version = 
| latest release date    = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} -->
| latest preview version = 
| latest preview date    = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} -->
| marketing target       = [[Embedded system]]s
| programmed in          = 
| language               = English<!-- Others? -->
| language count         = 
| update model           = <!-- APT, Windows Update, etc. -->
| package manager        = <!-- dpkg, rpm, Windows installer, etc. -->
| supported platforms    = [[ARM architecture|ARM]], [[XScale]], [[Blackfin]], [[NXP ColdFire|ColdFire]], [[MIPS architecture|MIPS]], [[PowerPC]], [[IA-32]], [[x86-64]]
| kernel type            = [[Microkernel]]
| userland               = [[POSIX]]
| ui                     = 
| license                = [[Proprietary software|Proprietary]]
| website                = {{URL|www.ghs.com/products/rtos/integrity.html}}
}}
'''INTEGRITY''' and '''INTEGRITY-178B''' are [[real-time operating system]]s (RTOSes) produced and marketed by [[Green Hills Software]]. 

==INTEGRITY==
INTEGRITY is [[POSIX]]-certified and intended for use in [[embedded system]]s of [[32-bit]]s or [[64-bit computing|64-bits]]. Supported [[computer architecture]]s include variants of: [[ARM architecture|ARM]], [[Blackfin]], [[NXP ColdFire|ColdFire]], [[MIPS architecture|MIPS]], [[PowerPC]], [[XScale]], and [[x86]]. INTEGRITY is supported by popular [[Transport Layer Security|SSL/TLS]] libraries such as [[wolfSSL]].<ref>{{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}}</ref> 

==INTEGRITY-178B==
INTEGRITY-178B is the [[DO-178B]]–compliant version of INTEGRITY. It is used in several military jets such as the [[B-2]],<ref name="VITA Technologies Magazine">{{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|archive-date=2 May 2012|archive-url=https://web.archive.org/web/20120502090205/http://vita-technologies.com/articles/board-bored-lockheed-martin-co/|url-status=dead}}</ref> [[F-16]], [[F-22]], and [[F-35 Lightning II|F-35]], and the commercial aircraft [[Airbus A380]].<ref name=darkreading>{{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 |archive-date=2013-12-03 |archive-url=https://web.archive.org/web/20131203031833/http://www.darkreading.com/applications/secure-os-gets-highest-nsa-rating-goes-c/212100421 |url-status=dead }}</ref> Its [[Kernel (operating system)|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).<ref name=darkreading /> The Target of Evaluation (TOE) Architecture in the [[Security Target]] for the evaluation excludes components such as those for [[file system]] and [[Computer network|networking]], from the definition of the TOE, focusing almost solely on the core kernel.<ref name=securitytarget>{{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}}</ref> Other operating systems, such as [[Microsoft Windows|Windows]], [[macOS]] or [[Linux]], though evaluated at lower levels of assurance, generally include these abilities within their TOE.

== Supported processor architectures ==
The INTEGRITY Architecture Support Package (ASP) provides support for many processor families:<!-- Do not link processor name until an article, or section thereof, exists on it. -->
* [[PowerPC]]/[[Power ISA]]
* [[Advanced Micro Devices|AMD]] and [[Intel]]: [[x86]]
* [[ARM Holdings]]: [[ARM architecture|ARM]]
* [[MIPS architecture|MIPS]]

==References==
{{Reflist}}

==External links==
*{{Official website|www.ghs.com/products/rtos/integrity.html}}
*{{Official website|www.ghs.com/products/safety_critical/integrity-do-178b.html}} INTEGRITY-178B

{{Real-time operating systems}}
{{Microkernel}}

[[Category:ARM operating systems]]
[[Category:Embedded operating systems]]
[[Category:Microkernel-based operating systems]]
[[Category:Microkernels]]
[[Category:MIPS operating systems]]
[[Category:PowerPC operating systems]]
[[Category:Proprietary operating systems]]
[[Category:Real-time operating systems]]
[[Category:IA-32 operating systems]]
[[Category:X86-64 operating systems]]