Green Hills Software
Green Hills Software LLC
Santa Barbara, CA, United States
About
Green Hills Software is a defense software developer based in Santa Barbara, United States working in air systems, defense software & ai.
Green Hills Software develops embedded software for safety- and security-critical systems. Its portfolio includes the INTEGRITY and INTEGRITY-178 tuMP real-time operating systems, the INTEGRITY Multivisor hypervisor, the MULTI integrated development environment with TimeMachine debugger and DoubleCheck static analyzer, the GHNet networking stack, and VectorCAST and Rhapsody tool integrations. The company serves aerospace and defense, automotive, industrial, medical and other markets. Its aerospace and defense products have been deployed in avionics programmes since 1997, including the Boeing B-1B avionics upgrade and the Sikorsky S-92 avionics management system, and the company offers certification evidence support for safety and security standards. Headquartered in the United States with offices in the United Kingdom, Germany, Sweden, Japan and other regions.
Location
Legal name
Focus areas
Languages
Products & capabilities
Defense domains
Supply-chain role
What they offer
Markets
Products
INTEGRITY RTOS
Real-time operating system
Microkernel-based separation kernel RTOS with hardware memory protection, partitioning and time/space budgeting, certified for safety and security in avionics and other critical systems.
INTEGRITY-178 tuMP RTOS
Multicore real-time operating system
Multicore RTOS for DO-178C airborne safety and security applications, supporting SMP, AMP and bound multiprocessing and ARINC 653 partitioning.
INTEGRITY Multivisor
Embedded hypervisor
Virtualization service that runs guest operating systems alongside critical INTEGRITY tasks in mixed-criticality systems.
MULTI IDE
Integrated development environment
Embedded software development environment with compilers, debugger and tools for C, C++, Ada and other languages.
TimeMachine Debugger
Debugger
Back-in-time debugging suite for visual analysis of program execution, part of the MULTI IDE.
DoubleCheck
Static analyzer
Static code analyzer integrated with the compiler to analyze the same code that is deployed.
GHNet
Networking stack
Dual-mode IPv4/IPv6 TCP/IP host and router networking stack for embedded systems.
Green Hills Platform for Aerospace and Defense
Software platform
Integrated ecosystem including the INTEGRITY RTOS, development tools, middleware, reference hardware and documentation for aerospace and defense systems.
End users
Standards, platforms & customers
Defense standards
Platforms & programmes
Named customers
Credentials & affiliations
Certifications
IEC 61508 SIL 3 certified RTOS kernel
Common Criteria EAL 6 High Robustness
ISO 26262 ASIL D tool qualification
