&quot;Much of the F-35&#x27;s software is written in C and C++ due to programmer availability, Ada83 code also is reused from the F-22. The Integrity DO-178B real-time operating system (RTOS) from Green Hills Software runs on COTS Freescale PowerPC processors&quot; &quot;24 million lines of code&quot;<p>From <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Lockheed_Martin_F-35_Lightning_II" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Lockheed_Martin_F-35_Lightning...</a><p>Integrity-178B is the DO-178B–compliant version of Integrity. It is used in several military jets such as the B-2, F-16, F-22 and F-35, as well as the commercial airframes Airbus A380. Its kernel&#x27;s design guarantees bounded computation times by eliminating features such as dynamic memory allocation.<p>The auditing and security engineering capabilities have allowed it to obtain the EAL6 rating by the NSA.<p>Integrity-178B has a unique feature: an EAL6 rating.<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Integrity_%28operating_system%29" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Integrity_%28operating_system%...</a><p>EAL6: Semiformally Verified Design and Tested