RSS
| Operating Systems |
 |
|||||
 |
INTEGRITY® - A modern, certified POSIX conformant, real-time operating systems (RTOS) designed for total reliability and absolute security. INTEGRITY uses full memory protection in a message-passing design with an extensive range of middleware and board support packages. |
|||||
 |
INTEGRITY-178B - Securely partitioned real-time operating systems (RTOS) for demanding safety critical applications containing multiple programs with different levels of safety criticality, all executing on a single processor. | |||||
 |
INTEGRITY Secure Virtualization – The industry's most powerful, reliable, and flexible embedded virtualization solution for hosting guest operating systems alongside real-time applications and middleware. | |||||
 |
velOSity™ kernel
is a small footprint RTOS with full range of middleware and board support
packages. |
|||||
 |
µ-velOSity™ real-time kernel is small, fast, easy-to-learn operating system for the most cost-sensitive and resource-constrained devices. | |||||
| Integrated Development Environments | ||||||
|
|
MULTI® - An integrated development
environment (IDE) that is a complete software environment for building
embedded applications in C, C++, and Embedded C++. |
|||||
|
|
AdaMULTI™ - An integrated development environment (IDE) that is a complete software toolkit for building embedded applications in Ada and mixed languages (C, C++, Embedded C++, and Ada). | |||||
 |
DoubleCheck™ - An integrated static analyzer tool, easy to use, fast in execution - improves quality for mature software as well as new projects. | |||||
 |
TimeMachine™ -
Revolutionary debugging suite. Run and step an application back in time,
after a failure occurs, to find even difficult bugs in
minutes. |
|||||
| Communications Software | ||||||
 |
GHNet – a standards-based dual mode IPv4/v6 host and router stack with broad RFC conformance and an extensive suite of security protocols, wireless support, network management and internet applications. It’s BSD v4.4 and NetLink socket API provide the foundation for this modular, scalable networking stack. | |||||
 |
GateD – a proven, fielded family of processor-neutral, comprehensive data-plane and control-plane solutions that provide complete support and RFC conformance for Layer 2 switching and Layer 3 routing protocols, fully integrated, tested and validated with INTEGRITY and GHNet. | |||||
| Target Debug Devices | ||||||
 |
SuperTrace™ Probe - A high-performance trace probe that non-intrusively captures up to one gigabyte of trace data in real-time at processor speeds up to 1.2 GHz, providing unprecedented visibility into a system's run-time behavior. | |||||
 |
Green Hills Probe™ -
an advanced hardware debug device that enables the MULTI debugger to load,
control, debug, and test a target system without the need for prior board
initialization. Through a JTAG or BDM test port, the Probe can debug and
control the core state (such as cpu internal registers) as well as the
system state (external ram and flash memory). |
|||||
| Optimizing Compilers | ||||||
|
|
» Ada Optimizing
Compilers |
|||||
| Safety Critical Products | ||||||
|
|
» Safety Critical
Overview |
|||||
© 1996-2010 Green
Hills Software, Inc. Trademark Acknowledgements Privacy
Statement