Editing Integrity (operating system) (section)

==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.