M1750 Ada

Home Products Sales Support Contacting Us Library Search

Platforms
The Toolset
GCC-1750
GCC-ERC32
ERC32 Ada
HOLD III Ada
HOLD V Ada
Coral66
M1750 Ada
APEX
PowerPC Ada
IMA
M68K Ada
Code Examples

 

M1750-Ada

Ada 95 Compilation System for the MIL-STD-1750

Dynex MA31750

M1750 Ada is a new implementation of the Ada 95 programming language for the MIL-STD-1750A. Standard platforms are Sun SPARC Solaris and IBM PC Linux.

Benefits

Reduces the cost of ownership for 1750 Ada applications.

Language

This compiler supports the same Ada 95 mission-critical subset as ERC32 Ada, and offers users of our C/C++ product, GCC-1750, an alternative programming language.

The M1750 Ada kit includes the ANSI C compiler, which allows you to build mixed language applications.

Run-Time System

M1750 Ada includes a minimal run-time system (down to 280 words) with optional run-time modules to support exceptions and Ravenscar tasking. M1750 Ada is suitable for very small to medium size applications.

The GCC-1750 libraries, supporting ANSI C with libc and libm, may be used.

See the technical summary for details.

Toolset

M1750 Ada includes:

bulletOptimizing compiler supporting Ada 95 and ANSI C.
bulletMacro assembler
bulletLinker
bulletSymbolic debugger
bulletObject code utilities
bulletStandard Ada libraries
bulletANSI C libraries libc and libm
bullet1750A simulator

Distribution

M1750 Ada is distributed on CD-ROM with on-line and printed user documentation. The CD-ROM includes ready-to-install files for Sun SPARC Solaris and IBM PC Linux. Also included are benchmarks, examples, tests, demonstration and source code.

Warranty and Support

M1750 Ada includes six months full-service support. Further support may be purchased at any time.

User Documentation

The following printed user documentation is included.

bulletRelease Notes
bulletGetting Started
bulletUser Guide (3 volumes)
bulletAda Reference Manual Supplement
bulletM1750 Specification

On-line copies will be found on the M1750 Ada CD-ROM.

Credits

M1750 Ada is based on GCC-1750, which was developed under European Space Agency contract 11935. The base level technology of GCC-1750 is the GCC compiler from the FSF. The Ada compiler is based on GNAT Ada technology from ACT. The mission-critical capability was developed with funding from the UK government and TRW Aerospace.

 

 

Updated May 11, 2005
Copyright XGC Software