|
 |
||||||||||
| Safety Critical Products: AdaMULTI |
||||||||||
| » Download AdaMULTI datasheet (PDF) | ||||||||||
| 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. |
| |||||||||
|
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 |
||||||||||
 |
|
 |
INTEGRITY-178B RTOS
