name = INTEGRITY-178B
Green Hills Software
Real-time operating systems
website = [http://www.ghs.com/products/safety_critical/integrity-do-178b.html INTEGRITY-178B]
INTEGRITY-178B is a royalty-free
ARINCARINC-653-1–compliant real-time operating system(RTOS) manufactured and marketed by Green Hills Software. It is a subset of the securely partitioned INTEGRITY real-time operating system. It targets demanding, safety-critical applications containing multiple programs with different levels of safety criticality, all executing on a single processor. (The "178B" indicates conformance to DO-178B.)
The INTEGRITY-178B kernel's design guarantees bounded computation times by eliminating features such as
dynamic memory allocation. An MMU is used to provide full-system memory protection for all components, including user applications, device drivers, and inter-partition communications. Clocks and timers are protected with access permissionsand implemented entirely in software. INTEGRITY-178B uses memory protection and error-handling to provide a secure system with built-in fault isolation and tolerance. At the lowest level, the kernel is protected from malicious access through its object-orienteddesign and access verification.
Competing operating systems include
LynuxWorks' LynxOS-178 [http://www.lynuxworks.com/rtos/rtos-178.php] and Wind River Systems' Platform For Safety Critical ARINC 653 [http://windriver.com/products/platforms/safety_critical/index.html] .
* [http://www.ghs.com/products/safety_critical/integrity-do-178b.html INTEGRITY-178B official homepage]
Wikimedia Foundation. 2010.