Ada Compiler, Ada95, Embedded C, Embedded Tools, Compilers, Full Program Analysis, Static Code Analysis, Multicore

Advanced RTOS, embedded real-time OS, compact OS, IDE, Software development toolkits, embedded c compilers, Multicore debugger, hardware probes, static source code analysis tool, secure hypervisor, virtual prototyping platform

Ada Optimizing Compilers

Green Hills Optimizing Ada 95 Compilers

Green Hills Software offers the industry's first, fully validated family of Ada 95 Cross Compilers for real-time targets. Green Hills industrial strength Ada 95 compiler family offers powerful new Ada language features that deliver maximum efficiency and reliability. The Ada 95 Compilers are available for the following runtime implementations:

INTEGRITY® Real-Time Operating System

VxWorks®/Tornado® Real-Time Operating System

Bare Board Ada Runtime

RT Secure™ Real-Time Operating System

TOOL CHAIN
Green Hills' Tool Chains consist of a Macro Assembler, Librarian, Linker and Utility Programs. The Macro Assembler assembles compiler-generated or user-coded assembly language files into object files. The Librarian manages object file libraries. The Linker links object files and object file libraries into executable programs.

VALIDATION
Green Hills Optimizing Ada 95 Compilers were the first 32-bit embedded compilers to successfully pass the ACVC 2.1 validation tests, and are conformance certified by the ACAA.

Ada Compiler, Ada95, Embedded C, Embedded Tools, Compilers, Full Program Analysis, Static Code Analysis, Multicore

Click here for a larger view.

Power Architecture
680x0/683xx
CPU32
MIPS
386/486/Pentium
SPARC/SPARClite
RAD6000
RH32

Ada 95 Options

Green Hills Ada 95 contains many specific language options so code can meet specific needs. These options add additional extensions or select aspects of the Ada language which are not defined by the language specification. These options include:

	Library Directories - Allows additional library paths to be incorporated into the program.
	Ada83 Analysis Mode- Provides an analysis on converting Ada 83 code to Ada 95 code.
	Suppress All Runtime Checks - Reduces code size by suppressing all automatic run-time checking including numeric checking.
	Suppress Numeric Runtime Checks - Reduces code size by suppressing two kinds of Numeric Checks for the entire compilation: divsion_check and overflow_check.
	Generate Cross Reference - Generates a cross reference listing containing a line-numbered listing, following by a cross reference table.
	Source Listing - Will generate Always, Only if Errors, or Never source listings.
	Listing Format - Displays either all source lines, all source lines numbered, and only error lines
	Diagnostics - Informs the Program Builder what to display in the progress window when building the application. Options include "Suppress Errors", "Suppress Warnings", "Suppress Informative Msgs", and "Suppress Implementation Dependent Msgs."

» More Ada Optimizing Compilers

» C compilers
» C++/Embedded C++ compilers
» Ada 95 compilers
» FORTRAN compilers


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