Safety Critical Products: AdaMULTI

The entire family of Green Hills Software's safety critical run-time products are supported by the AdaMULTI™ software development environment. Tightly integrated with INTEGRITY-178B and the bare target Ada run-times, AdaMULTI automates all aspects of embedded, safety-critical software development.

AdaMULTI features Ada95 and C/C++ compilers, a source-level symbolic debugger, and an automated program builder. AdaMULTI also provides a version control system, the EventAnalyzer™, a code performance and coverage profiler, a source code navigation and cross reference browser, a language sensitive editor, dependency and call graph displays, a processor-specific/INTEGRITY-178B simulator, and unit test tools. AdaMULTI also provides the embedded industry's most robust and comprehensive set of debugger-to-processor connectivity options including: serial, ethernet, In-Circuit-Emulators, processor probes, and JTAG/BDM interfaces.

Safety Critical Products:

INTEGRITY - High Reliability RTOS Solution
INTEGRITY-178B - DO-178B Level A Safety Critical Certified RTOS
MULTI - Advanced Multi-Language Development Environment
AdaMULTI - Ada Enabled Advanced Multi-Language Development Environment
GMART - DO-178B Level A SPARK Compliant Safety Critical kernel
GSTART - DO-178B Level A Ravenscar Compliant Safety Critical kernel
G-Cover - DO-178B Level A Qualified Test Capability