M1750 Ada

Dynex MA31750

Dynex MA31750

M1750 Ada is a new implementation of the Ada 95 programming language for the MIL-STD-1750A.

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:

  • Optimizing compiler supporting Ada 95 and ANSI C.
  • Macro assembler
  • Linker
  • Symbolic debugger
  • Object code utilities
  • Standard Ada libraries
  • ANSI C libraries libc and libm
  • 1750A 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 12 months full-service support. Further support may be purchased at any time.

User Documentation

The following printed user documentation is included.

  • Release Notes
  • Getting Started
  • User Guide (3 volumes)
  • Ada Reference Manual Supplement
  • MIL-STD-1750A 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.