Safety Critical, MILS, AdaMULTI IDE for DO-178B, Ada95, C/C++ compilers source-level symbolic debugger, JTAG at Green Hills Software

Safety Critical Products: AdaMULTI

AdaMULTI IDE

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.

AdaMULTI

INTEGRITY-178B RTOS
Board Support Packages (BSP)
Ada95 Compiler
SPARK compliant Ada run-time (GMART)
Ravenscar compliant Ada run-time
   (GSTART)
C/C++ Compiler
AdaMULTI - Advanced software
   development environment
G-Cover - Level A qualified coverage test
   tool

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


Products \| Benefits \| Services \| Support \| Partners \| About \| Home Contact \| Request Info \| Search \| Webmaster \| RSS \| Copyright © 2010 Green Hills Software