Web site: www.ghs.com/products/rtos/integrity.html
Origin: USA
Category: Embedded
Desktop environment: CLI
Architecture: x86, x86_64, ARM, MIPS, PowerPC
Based on: Independent
Wikipedia: Integrity_(operating_system)
Media: Install
The last version | Released: unknown
Integrity – a Unix-compatible operating system distributed by Green Hills Software.
The INTEGRITY-178 tuMP real-time operating system (RTOS) is the world-leading multicore RTOS for safety- and security-critical applications. Green Hills Software believes that safety and security go hand-in-hand, and INTEGRITY-178 tuMP is a unified solution for multicore processors. INTEGRITY-178 and INTEGRITY-178 tuMP are part of systems that have been certified both to the highest levels of airborne safety (DO-178B/C DAL A) and security (SKKP/EAL 6+) for over 80 airborne systems. INTEGRITY-178 tuMP was the first operating system certified conformant to the latest Future Airborne Capability Environment (FACE™) technical standard, edition 3.0, and it is certified for both the safety base and security profiles. INTEGRITY-178 tuMP is the first and only RTOS to be part of a multicore certification to DO-178C and CAST-32A.
Related tools
– MULTI IDE for compiling INTEGRITY projects and debugging the kernel and applications running on the INTEGRITY operating system.
– EventAnalyzer for visual analysis of system events associated with INTEGRITY tasks and Address spaces.
– TimeMachine debugging suite for graphical analysis of the execution path of INTEGRITY applications, execution of an application in reverse, step-by-step execution and other debugging tools capable of acquiring traces on instructions and data.
– Green Hills probe and SuperTrace probe for loading INTEGRITY kernels on hardware targets, and reading traces.
– UML modeling (Telelogic Rhapsody and IBM Rose RealTime UML).
– Flash programmer
INTEGRITY BSPs support a wide range of processor families from leading manufacturers, including:
– Altera Cyclone
– AMD x86
– ARM Ltd.
– BAE RAD750
– Broadcom
– Fujitsu ARM
– IBM 970
– Intel Architecture (various)
– Intel SoC FPGA (Altera)
– Marvell (Cavium)
– Microchip PolarFire SoC
– NVIDIA
– NXP i.MX
– NXP Layerscape
– NXP MPC5xxx
– NXP QorIQ
– NXP S32
– Qualcomm Snapdragon
– Renesas R-Car
– ST Telemaco
– Texas Instruments Jacinto
– Texas Instruments Sitara
– Xilinx Zynq-7000 Soc
– Xilinx UltraScale+ MPSoC