Infobox OS
name = INTEGRITY-178B

caption =
developer = Green Hills Software
source_model =
kernel_type =
supported_platforms =
ui =
family = Real-time operating systems
latest_release_version =
latest_release_date =
marketing_target =
programmed_in =
prog_language =
language =
updatemodel =
package_manager =
working_state =
license =
website = [ INTEGRITY-178B]

INTEGRITY-178B is a royalty-free ARINC ARINC-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 permissions and 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-oriented design and access verification.

Competing operating systems include LynuxWorks' LynxOS-178 [] and Wind River Systems' Platform For Safety Critical ARINC 653 [] .

External links

* [ INTEGRITY-178B official homepage]

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • INTEGRITY — У этого термина существуют и другие значения, см. Integrity (значения). INTEGRITY Разработчик Green Hills Software Тип ядра Микроядро velOSity Лицензия Проприетарная Состояние Активное Веб с …   Википедия

  • Integrity (operating system) — Infobox OS name = INTEGRITY caption = developer = Green Hills Software source model = Closed Source kernel type = Microkernel supported platforms = ARM, XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, x86 ui = family = Real time operating… …   Wikipedia

  • Green Hills Software — Infobox Company company name = Green Hills Software Inc. company company type = Private company slogan = The technology leader in device software optimization (DSO) and real time operating systems (RTOS) foundation = 1982 location = Santa Barbara …   Wikipedia

  • Multilevel security — or Multiple Levels of Security (abbreviated as MLS) is the application of a computer system to process information with different sensitivities (i.e., at different security levels), permit simultaneous access by users with different security… …   Wikipedia

  • List of operating systems — Operating systems can be categorized by technology, ownership, licensing, working state, usage, and by many other characteristics. In practice, many of these groupings may overlap.Early, and historically important*CTSS (The Compatible Timeshare… …   Wikipedia

  • Sistemas operativos — Anexo:Sistemas operativos Saltar a navegación, búsqueda Los Sistemas Operativos se pueden categorizar por su tecnología, su propietario o licenciatario, el estado de desarrollo, su uso o por muchas otras características. En la práctica, muchos de …   Wikipedia Español

  • Anexo:Sistemas operativos — Los Sistemas Operativos se pueden categorizar por su tecnología, su propietario o licenciatario, el estado de desarrollo, su uso o por muchas otras características. En la práctica, muchos de estos grupos se solapan. Contenido 1 Por Propietario… …   Wikipedia Español

  • MKS Inc. — This article is about MKS Inc, the software vendor. For other uses, see MKS. MKS Inc Type Public Industry Computer software Founded 1984 Headquarte …   Wikipedia

  • LDRA Testbed — provides static code analysis, as well as code, quality and design reviews and test verification for code coverage and the product was developed by LDRA.It makes use of static analysis and dynamic analysis technology to assist software developers …   Wikipedia

  • Avionics Full-Duplex Switched Ethernet — (AFDX) is a deterministic data network for safety critical applications that utilizes dedicated bandwidth while providing Quality of Service (QoS). AFDX is based on IEEE 802.3 Ethernet technology and utilizes commercial off the shelf (COTS)… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.