Back to FAQ

Ada 95 Validated Compilers List

[Ada 83 Validated Compilers]


Ada 95
Validated
Compilers

In This Report:

Ada Core Technologies, Inc.
Ada Core Technologies, Inc. (with Digital Equipment Corporation)
Ada Core Technologies, Inc. (with On-Line Applications Research Corporation)
Ada Core Technologies, Inc. (with Siemens Nixdorf Informationssystems AG)
Ada Core Technologies, Inc. (with Silicon Graphics, Inc.)
Ada Core Technologies, Inc. (with Tenon Intersystems)
Aonix
Concurrent Computer Corporation
Green Hills Software, Inc.
Intermetrics, Inc.
Irvine Compiler Corporation
OC Systems
R.R. Software, Inc.
Rational Software Corporation
Thomson Software Products (now Aonix)

Please see our AdaIC flyer on The Ada Compiler Validation Process for a complete overview and description of the Ada validation and certification program.


Ada Core Technologies, Inc.

Address: 73 Fifth Avenue, Suite 11B, New York, NY 10003-3030 USA
Contact: Robert Dewar at Phone: (212) 620-7300, ext. 100 or E-mail: dewar@gnat.com
Comments:

GNAT 4.00

Compiler Type:Base
Certificate Number:961204I2.0.1-008
Expires:03-31-1998
Host:Sun SPARCstation 5; Host OS: under Solaris 2.5.1.
Target:Sun SPARCstation 5; Host OS: under Solaris 2.5.1.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2740031
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4740657


GNAT 4.00

Compiler Type:Base
Certificate Number:970320I2.0.1-028
Expires:03-31-1998
Host:SPARCstation IPX; Host OS: (under SunOS 4.1.3)
Target:SPARCstation IPX; Host OS: (under SunOS 4.1.3)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757


GNAT 4.00

Compiler Type:Base
Certificate Number:970320I2.0.1-031
Expires:03-31-1998
Host:Toshiba Tecra 740CDT (Pentium); Host OS: (under Linux 1.2.13)
Target:Toshiba Tecra 740CDT (Pentium); Host OS: (under Linux 1.2.13)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757


GNAT 4.00

Compiler Type:Base
Certificate Number:970618S2.0.1-033
Validated:06-18-1997
Expires:03-31-1998
Host:DEC AlphaStation 200 4/233 (under Digital Unix 4.0B)
Target:DEC AlphaStation 200 4/233 (under Digital Unix 4.0B)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757


GNAT 4.00

Compiler Type:Base
Certificate Number:970618S2.0.1-034
Validated:06-18-1997
Expires:03-31-1998
Host:Motorola PowerStack II Pro4000 (PowerPC) (under AIX 4.1.4.0)
Target:Motorola PowerStack II Pro4000 (PowerPC) (under AIX 4.1.4.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757


GNAT 4.00

Compiler Type:Base
Certificate Number:970618S2.0.1-035
Validated:06-18-1997
Expires:03-31-1998
Host:HP 9000 Model C110 (under HP-UX 10.10)
Target:HP 9000 Model C110 (under HP-UX 10.10)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757



Ada Core Technologies, Inc. (with Digital Equipment Corporation)

Address: 73 Fifth Avenue, Suite 11B, New York, NY USA 10003-3030
Contact: Robert Dewar at Phone: (212) 620-7300, ext. 100 or E-mail: dewar@gnat.com
Comments:

GNAT 4.00

Compiler Type:Base
Certificate Number:970618S2.0.1-032
Validated:06-18-1997
Expires:03-31-1998
Host:Digital DEC 3000 Model 600 (under OpenVMS 7.1)
Target:Digital DEC 3000 Model 600 (under OpenVMS 7.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757


GNAT 4.12

Compiler Type:Base
Certificate Number:980622E2.1-032
Validated:06-22-1998
Expires:03-31-2000
Host:Digital Personal Workstation 500au (under OpenVMS 7.1)
Target:Digital Personal Workstation 500au (under OpenVMS 7.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming182003185
Annex D Real Time Systems4760558
Annex E Distributed Systems1790026
Annex F Information Systems2100021
Annex G Numerics2800129
Annex H Safety and Security3000030
Totals3251509349



Ada Core Technologies, Inc. (with On-Line Applications Research Corporation)

Address: 73 Fifth Avenue, Suite 11B, New York, NY 10003-3030 USA
Contact: Robert Dewar at Phone: (212) 620-7300, ext. 100 or E-mail: dewar@gnat.com
Comments:

GNAT/RTEMS 4.00

Compiler Type:Base
Certificate Number:970320I2.0.1-029
Expires:03-31-1998
Host:SPARCstation 4; Host OS: (under Solaris 2.4)
Target:ERC32 SPARC V7, SPARC Instruction Simulator 2.6a (SIS) executing on the Host (bare machine simulation, using RTEMS 4.0.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics41005
Annex H Safety and Security00000
Totals4550757



Ada Core Technologies, Inc. (with Siemens Nixdorf Informationssystems AG)

Address: 73 Fifth Avenue, Suite 11B, New York, NY 10003-3030 USA
Contact: Robert Dewar at Phone: (212) 620-7300, ext. 100 or E-mail: dewar@gnat.com
Comments:

GNAT 4.00

Compiler Type:Base
Certificate Number:970320I2.0.1-027
Expires:03-31-1998
Host:Siemens Nixdorf RM 200; Host OS: (under SINIX 5.42)
Target:Siemens Nixdorf RM 200; Host OS: (under SINIX 5.42)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757



Ada Core Technologies, Inc. (with Silicon Graphics, Inc.)

Address: 73 Fifth Avenue, New York, NY 10003-3030
Contact: Robert Dewar, Nancy Cruz at Phone: (212) 620-7300 or E-mail: dewar@gnat.com, cruz@gnat.com, sales@gnat.com
Comments:

GNAT 4.00

Compiler Type:Base
Certificate Number:961204I2.0.1-006
Expires:03-31-1998
Host:SGI Power Indigo 2, under IRIX 6.2.
Target:SGI Power Indigo 2, under IRIX 6.2.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2740031
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4740657


GNAT 4.00

Compiler Type:Base
Certificate Number:961204I2.0.1-007
Expires:03-31-1998
Host:SGI O-2, under IRIX 6.3.
Target:SGI O-2, under IRIX 6.3.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2740031
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4740657


GNAT, Version 3.00

Compiler Type:Base
Certificate Number:951108I2.0-002
Expires:03-31-1998
Host:SGI Indy, under IRIX 5.3
Target:SGI Indy, under IRIX 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming20237
Annex D Real Time Systems14401331
Annex E Distributed Systems70018
Annex F Information Systems20046
Annex G Numerics10045
Annex H Safety and Security00000
Totals26422557


GNAT, Version 3.00

Compiler Type:Base
Certificate Number:951108I2.0-003
Expires:03-31-1998
Host:SGI Indigo-2, under IRIX 5.3
Target:SGI Indigo-2, under IRIX 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming20237
Annex D Real Time Systems14401331
Annex E Distributed Systems70018
Annex F Information Systems20046
Annex G Numerics10045
Annex H Safety and Security00000
Totals26422557


GNAT, Version 3.00

Compiler Type:Base
Certificate Number:951108I2.0-004
Expires:03-31-1998
Host:SGI Onyx, under IRIX 5.3
Target:SGI Onyx, under IRIX 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming20237
Annex D Real Time Systems14401331
Annex E Distributed Systems70018
Annex F Information Systems20046
Annex G Numerics10045
Annex H Safety and Security00000
Totals26422557



Ada Core Technologies, Inc. (with Tenon Intersystems)

Address: 73 Fifth Avenue, Suite 11B, New York, NY 10003-3030 USA
Contact: Robert Dewar at Phone: (212) 620-7300, ext. 100 or E-mail: dewar@gnat.com
Comments:

GNAT 4.00

Compiler Type:Base
Certificate Number:970320I2.0.1-030
Expires:03-31-1998
Host:Macintosh Performa 6400/180 (PowerPC 603e); Host OS: (under Power MachTen 4.1.0)
Target:Macintosh Performa 6400/180 (PowerPC 603e); Host OS: (under Power MachTen 4.1.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2640131
Annex E Distributed Systems80008
Annex F Information Systems30036
Annex G Numerics50005
Annex H Safety and Security00000
Totals4640757



Aonix

Address: (formerly Thomson Software Products), 5040 Shoreham Place, San Diego, CA 92122
Contact: Marianne Worley at Phone: (619) 457-2700, ext. 244 or E-mail: adainfo@aonix.com

5000 OA ObjectAda for Unix for SPARC/Solaris, Version 7.0

Compiler Type:Derived
Certificate Number:960820S2.0.1-002
Validated:12-03-1996
Expires:03-31-1998
Host:Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer, all models; Sun OS 5.5, Solaris 2.5.
Target:Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer, all models; Sun OS 5.5, Solaris 2.5.


7000 OA ObjectAda f or Unix for HP_PA RISC/HP-UX, Version 7.0

Compiler Type:Derived
Certificate Number:960710S2.0.1-001
Validated:12-03-1996
Expires:03-31-1998
Host:HP9000 Series 700, J-Class, B-Class and C-Class all Models; HP-UX1-.01, HP-UX 10.10, HP-UX 10.20.
Target:HP9000 Series 700, J-Class, B-Class and C-Class all Models; HP-UX1-.01, HP-UX 10.10, HP-UX 10.20.


Object Ada for Windows, 7.0 embedded version

Compiler Type:Base
Certificate Number:970204S2.0.1-009
Expires:03-31-1998
Host:Gateway G6-200 (200 Mhz Pentium Pro), under Windows NT, 4.0.
Target:CompuAdd 325 (25 Mhz 386) on bare machine.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2820131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals32216757


ObjectAda Real Time for SPARC x PowerPC VxWorks, Version 7.1

Compiler Type:Base
Certificate Number:970703S2.0.1-053
Validated:07-03-1997
Expires:03-31-1998
Host:Sun UltraServer 1 model 140, under Solaris 2.5
Target:Motorola Ultra PowerPC 604TM, UB604-133P16 (under VxWorks 5.3.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ObjectAda Real-Time for Intel/ETS Version 7.1.2

Compiler Type:Base
Certificate Number:980818E2.1-035
Validated:08-18-1998
Expires:03-31-2000
Host:Gateway G6-200 (200Mhz Pentium Pro) (under Windows NT, 4.0)
Target:CompuAdd 466e/Dx2 (80486) (using Phar Lap Embedded Tool Suite (ETS) 9.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming182003185
Annex D Real Time Systems4670558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals228708243


ObjectAda Real-Time for UNIX Cross PowerPC/VxWorks, version 7.1, for HP-PA systems

Compiler Type:Derived
Certificate Number:970703S2.0.1-053
Validated:09-29-1997
Expires:03-31-1998
Host:HP 9000 Models 715, 778, & 780 (under HP-UX 10.10 & 10.20)
Target:Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), and MVME1604-032 (under VxWorks 5.3.1)


ObjectAda Real-Time for UNIX Cross PowerPC/VxWorks, version 7.1, for SPARC systems

Compiler Type:Derived
Certificate Number:970703S2.0.1-053
Validated:09-29-1997
Expires:03-31-1998
Host:Sun SPARCstation 20 & UltraServer 1 model 140 (under Solaris 2.5)
Target:Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), and MVME1604-032 (under VxWorks 5.3.1)


ObjectAda Real-Time for Unix (SPARC) x PowerPC/Tornado Version 7.1.1

Compiler Type:Base
Certificate Number:980901E2.1-038
Validated:09-01-1998
Expires:03-31-2000
Host:SPARCstation 20 Model 712MP (under Solaris 2.6)
Target:Motorola Ultra PowerPC 604TM, UB604-133P16 (using VxWorks 5.3.1 (Tornado 1.0.1))

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00000
Annex D Real Time Systems00000
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals00000


ObjectAda Real-Time for Windows Cross PowerPC/VxWorks, version 7.1

Compiler Type:Derived
Certificate Number:970703S2.0.1-053
Validated:12-23-1997
Expires:03-31-1998
Host:ALR OptimaPro MT (200 MHz Pentium Pro) (under Windows NT 4.0)
Target:Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16, and MVME1604-032 (under VxWorks 5.3.1)


ObjectAda for Unix for HP-PA RISC/HP-UX, Version 7.1

Compiler Type:Derived
Certificate Number:960710S2.0-015
Validated:05-30-1997
Expires:03-31-1998
Host:HP 9000 Series 700, B-Class, C-Class, and J-Class, all Models, under HP-UX 10.10 and HP-UX 10.20.
Target:Any host.


ObjectAda for Unix for HP-PA RISC/HP-UX, Version 7.1

Compiler Type:Derived
Certificate Number:960710S2.0.1-001
Validated:01-10-1997
Expires:03-31-1998
Host:HP 9000/715, HP 9000/778, HP 9000/780; Host Operating System: HP-UX 10.10 and HP-UX 10.20.
Target:HP 9000/715, HP 9000/778, HP 9000/780; Target Operating System: HP-UX 10.10 and HP-UX 10.20.


ObjectAda for Unix for HP-PA RISC/HP-UX, Version 7.1.1

Compiler Type:Base
Certificate Number:980901E2.1-037
Validated:09-01-1998
Expires:03-31-2000
Host:HP 9000 Model J200 (under HP-UX 10.20)
Target:HP 9000 Model J200 (under HP-UX 10.20)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00000
Annex D Real Time Systems00000
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals00000


ObjectAda for Unix for SPARC/Solaris, Version 7.1

Compiler Type:Derived
Certificate Number:960820S2.0-016
Validated:05-30-1997
Expires:03-31-1998
Host:Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer all models, under Solaris 2.5.
Target:Any host.


ObjectAda for Unix for SPARC/Solaris, Version 7.1

Compiler Type:Derived
Certificate Number:960820S2.0.1-002
Validated:01-10-1997
Expires:03-31-1998
Host:Sun SPARCserver 20, Sun UltraServer 1; Host Operating System: Sun OS 5.5, Solaris 2.5.
Target:Sun SPARCserver 20, Sun UltraServer 1; Target Operating System: Sun OS 5.5, Solaris 2.5.


ObjectAda for Unix for SPARC/Solaris, Version 7.1.1

Compiler Type:Base
Certificate Number:980901E2.1-036
Validated:09-01-1998
Expires:03-31-2000
Host:SPARCstation 20 Model 712MP (under Solaris 2.6)
Target:SPARCstation 20 Model 712MP (under Solaris 2.6)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00000
Annex D Real Time Systems00000
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals00000


ObjectAda for Windows Version 7.1.2

Compiler Type:Base
Certificate Number:980818E2.1-033
Validated:08-18-1998
Expires:03-31-2000
Host:Gateway G6-200 (200Mhz Pentium Pro) (under Windows NT, 4.0)
Target:Gateway G6-200 (200Mhz Pentium Pro) (under Windows NT, 4.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00000
Annex D Real Time Systems00000
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals00000


ObjectAda for Windows Version 7.1.2

Compiler Type:Base
Certificate Number:980818E2.1-034
Validated:08-18-1998
Expires:03-31-2000
Host:Micron model #P128PCI (100Mhz Pentium) (under Windows 95, version 4.00.950a)
Target:Micron model #P128PCI (100Mhz Pentium) (under Windows 95, version 4.00.950a)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00000
Annex D Real Time Systems00000
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals00000



Concurrent Computer Corporation

Address: 2101 W. Cypress Creek Road, Ft. Lauderdale, FL 33309-1892
Contact: Jeff Hollensen at Phone: (954) 973-5427 or E-mail: jeff.hollensen@ccur.com

MAXAda Version 1.2

Compiler Type:Base
Certificate Number:970703S2.0.1-052
Validated:07-03-1997
Expires:03-31-1998
Host:PowerMAXION 6400 (2 CPUs), under PowerMAX OS 4.1
Target:PowerMAXION 6400 (2 CPUs), under PowerMAX OS 4.1

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


MAXAda Version 1.2

Compiler Type:Derived
Certificate Number:970703S2.0.1-052
Validated:07-21-1997
Expires:03-31-1998
Host:PowerMAXION 6400 (1-8 CPUs); NightHawk 6800 (1-8 CPUs); NightHawk 6800 Turbo (1-8 CPUs); PowerHawk 610 & 620; PowerStack 210, 230, & 250; Motorola MVME1604 (under PowerMAX OS 4.1)
Target:Any host



Green Hills Software, Inc.

Address: Suite 506, 2708 Alternate 19N, Palm Harbor, FL 34683
Contact: Patrick Rodenbeck at Phone: (813) 781-4909 or E-mail: pat@ghs.com
Comments:

Green Hills Optimizing Ada 95 68K Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-017
Expires:03-31-1998
Host:Dell Dimension XPS Pro200n (Windows NT 4.0)
Target:Motorola MVME 162 (68040) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 68K Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-023
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Motorola MVME 162 (68040) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 Mips Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-019
Expires:03-31-1998
Host:Dell Dimension XPS Pro200n (Windows NT 4.0)
Target:Heurikon Baja (Mips R4700) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 Mips Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-024
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Heurikon Baja (Mips R4700) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 Mips Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-025
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Heurikon Malibu (Mips R3081) (VxWorks 5.2)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 Pentium Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-018
Expires:03-31-1998
Host:Dell Dimension XPS Pro200n (Windows NT 4.0)
Target:Dynatem DPC1 (Pentium) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 Pentium Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-020
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Dynatem DPC1 (Pentium) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 PowerPC Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-010
Expires:03-31-1998
Host:Dell Dimension XPS Pro200n (Windows NT 4.0)
Target:Motorola MVME 2600 (PowerPC 604e) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 PowerPC Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-021
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Motorola MVME 2600 (PowerPC 604e) (VxWorks 5.3 Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 PowerPC Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-022
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Lockheed Martin RAD6000 (VxWorks 5.2)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada 95 SPARC Compiler V1.8.8a

Compiler Type:Base
Certificate Number:970313S2.0.1-026
Expires:03-31-1998
Host:Sun SPARC Station 5 (Solaris 2.5)
Target:Sun SPARC Station 5 (Solaris 2.5)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2910131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics20305
Annex H Safety and Security00000
Totals35114757


Green Hills Optimizing Ada95 68k Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-005
Validated:04-03-1998
Expires:03031-2000
Host:SPARCstation 5 (under Solaris 2.5)
Target:Motorola MVME162 (68040) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 68k Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-011
Validated:04-03-1998
Expires:03-31-2000
Host:Dell Dimension XPS H233 (under Windows NT 4.0)
Target:Motorola MVME162 (68040) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 Mips Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-006
Validated:04-03-1998
Expires:03031-2000
Host:SPARCstation 5 (under Solaris 2.5)
Target:Algorithmics P-4000i (R4600) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 Mips Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-013
Validated:04-03-1998
Expires:03-31-2000
Host:Sun SPARCstation 5 (under Solaris 2.5)
Target:IDT 79S381 (R3081) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 PowerPC Compiler version 1.8.8D

Compiler Type:Base
Certificate Number:971112E2.1-002
Validated:11-12-1997
Expires:03-31-2000
Host:SPARCStation 5(under Solaris 2.5)
Target:Motorola MVME2604, PowerPC 604 (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-004
Validated:04-03-1998
Expires:03-31-2000
Host:Sun SPARCstation 5 (under Solaris 2.5)
Target:Motorola MPC860ADS (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-010
Validated:04-03-1998
Expires:03-31-2000
Host:Sun SPARCstation 5 (under Solaris 2.5)
Target:Motorola MVME 1603 (PowerPC 603)(under VelOSity 1.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems5500358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals235206243


Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-012
Validated:04-03-1998
Expires:03-31-2000
Host:Dell Dimension XPS H233 (under Windows NT 4.0)
Target:Motorola MVME 2604 (PowerPC 604) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-014
Validated:04-03-1998
Expires:03-31-2000
Host:Sun SPARCstation 5 (under Solaris 2.5)
Target:Motorola MVME2700 (PowerPC 750) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-016
Validated:04-03-1998
Expires:03-31-2000
Host:Dell Dimension XPS H233 (under Windows NT 4.0)
Target:Motorola MVME2700 (PowerPC 750) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 SPARC Compiler version 1.8.8D

Compiler Type:Base
Certificate Number:971112E2.1-001
Validated:11-12-1997
Expires:03-31-2000
Host:SPARCstation 5 (under Solaris 2.5)
Target:SPARCstation 5 (under Solaris 2.5)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 SPARC Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-015
Validated:04-03-1998
Expires:03-31-2000
Host:Sun SPARCstation 5 (under Solaris 2.5)
Target:VxSim 5.3/Tornado Simulator (VxWorks simulator) (executing on the host)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 x86/Pentium Compiler version 1.8.8D

Compiler Type:Base
Certificate Number:971112E2.1-003
Validated:11-12-1997
Expires:03-31-2000
Host:Dell Dimension XPS Pro 200n(under Windows NT 4.0)
Target:Dell Dimension XPS Pro 200n(under Windows NT 4.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-007
Validated:04-03-1998
Expires:03-31-2000
Host:EIS Super Developer PII (Pentium II) (under Solaris 2.6)
Target:same as host

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-008
Validated:04-03-1998
Expires:03031-2000
Host:Dell Dimension XPS H233 (under Windows NT 4.0)
Target:Dynatem DPC1 (Pentium) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8E

Compiler Type:Base
Certificate Number:980403E2.1-009
Validated:04-03-1998
Expires:03-31-2000
Host:SPARCstation 5 (under Solaris 2.5)
Target:Dynatem DPC1 (Pentium) (under VxWorks 5.3/Tornado)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming180203185
Annex D Real Time Systems4609358
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics00000
Annex H Safety and Security00000
Totals226296243


Green Hills Optimizing Ada95, 68k Compiler, V. 1.8.8

Compiler Type:Base
Certificate Number:961106S2.0.1-013
Expires:03-31-1998
Host:Sun SPARCstation 5, Solaris, V. 2.5.
Target:Motorola MVME 162 (68040), VxWorks 5.3 Tornado.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2605031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics10405
Annex H Safety and Security00000
Totals31023357


Green Hills Optimizing Ada95, Mips Compiler, V. 1.8.8

Compiler Type:Base
Certificate Number:961106S2.0.1-015
Expires:03-31-1998
Host:Sun SPARCstation 5, Solaris, V. 2.5.
Target:Heurikon Malibu (R3081), VxWorks 5.2.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming4000343
Annex D Real Time Systems2704031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics10405
Annex H Safety and Security00000
Totals68022393


Green Hills Optimizing Ada95, Mips Compiler, V. 1.8.8

Compiler Type:Base
Certificate Number:961106S2.0.1-016
Expires:03-31-1998
Host:Sun SPARCstation 5, Solaris, V. 2.5.
Target:Heurikon Baja (R4700), VxWorks 5.3 Tornado.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2704031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics10405
Annex H Safety and Security00000
Totals32022357


Green Hills Optimizing Ada95, PowerPC Compiler, V. 1.8.8

Compiler Type:Base
Certificate Number:961106S2.0.1-012
Validated:11-15-1996
Expires:03-31-1998
Host:Sun SPARCstation 5, Solaris, V. 2.5.
Target:Lockheed Martin RAD6000, VxWorks 5.2.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2605031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics10405
Annex H Safety and Security00000
Totals31023357


Green Hills Optimizing Ada95, SPARC Compiler, V. 1.8.8

Compiler Type:Base
Certificate Number:961106S2.0.1-011
Expires:03-31-1998
Host:Sun SPARCstation 5, Solaris, V. 2.5.
Target:Sun SPARCstation 5, Solaris, V. 2.5.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2704031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics10405
Annex H Safety and Security00000
Totals32022357


Green Hills Optimizing Ada95, PowerPC Compiler, V. 1.8.8

Compiler Type:Base
Certificate Number:961106S2.0.1-014
Expires:03-31-1998
Host:Sun SPARCstation 5, Solaris, V. 2.5.
Target:Motorola MVME 1604 (PowerPC 604), VxWorks 5.3 Tornado.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems2605031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics10405
Annex H Safety and Security00000
Totals31023357



Intermetrics, Inc.

Address: 23 4th Avenue, Burlington, MA 01803-3303
Contact: Bill Zimmerman at Phone: (617) 221-6990 or E-mail: ada@inmet.com
Comments:

Academic AdaMagic, Version 1.0

Compiler Type:Derived
Certificate Number:960710S2.0.1-001
Validated:12-03-1996
Expires:03-31-1998
Host:HP9000 Series 700, J-Class, B-Class, and C-Class all Models; HP-UX 10.01, HP-UX 10.10, HP-UX 10.20.
Target:HP9000 Series 700, J-Class, B-Class, and C-Class all Models; HP-UX 10.01, HP-UX 10.10, HP-UX 10.20.


Academic AdaMagic, Version 1.0

Compiler Type:Derived
Certificate Number:960820S2.0.1-002
Validated:12-03-1996
Expires:03-31-1998
Host:Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer, all models for Sun OS 5.5, Solaris 2.5.
Target:Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer, all models for Sun OS 5.5, Solaris 2.5.


Academic AdaMagic, Version 1.1

Compiler Type:Derived
Certificate Number:951218W2.0-005
Validated:12-05-1996
Expires:03-31-1998
Host:Any computer system comprising: CPU: any that executes the Intel 80386, 80486, or Pentium instruction set; FPU: Optional; Memory: 8 MB RAM; OS: Windows NT 3.5, 3.5.1, and 4.0; Disk: 13 MB space on the hard drive.
Target:Any computer system comprising: CPU: any that executes the Intel 80386, 80486, or Pentium instruction set; FPU: Optional; Memory: 8 MB RAM; OS: Windows NT 3.5, 3.5.1, and 4.0; Disk: 13 MB space on the hard drive.


Academic AdaMagic, Version 1.1

Compiler Type:Derived
Certificate Number:951218W2.0-006
Validated:12-05-1996
Expires:03-31-1998
Host:Any computer system comprising: any that executes the Intel 80386, 80486, or Pentium instruction set; FPU: optional; Memory: 8 MB RAM; OS: Windows NT 3.5, 3.5.1, and 4.0; Disk: 13 MB space on the hard drive.
Target:Any computer system comprising: any that executes the Intel 80386, 80486, or Pentium instruction set; FPU: optional; Memory: 8 MB RAM; OS: Windows NT 3.5, 3.5.1, and 4.0; Disk: 13 MB space on the hard drive.


AdaMagic, Version 2.0

Compiler Type:Base
Certificate Number:951017W2.0-001
Expires:03-31-1998
Host:SPARCstation 5, under SunOS 4.1.4
Target:Ratheon Extended Weapons Control Computer (EWCC) on a bare machine

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems19101131
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals231102357



Irvine Compiler Corporation

Address: 15707 Rockfield Blvd, Suite 305, Irvine, CA 92618
Contact: Joe Kohli at Phone: (949) 609-4650 or E-mail: info@irvine.com

ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-042
Validated:06-30-1997
Expires:03-31-1998
Host:Sun SparcServer 20/61, under Solaris 2.3
Target:Sun SparcServer 20/61, under Solaris 2.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-043
Validated:06-30-1997
Expires:03-31-1998
Host:Sun SparcServer 20/61, under Solaris 2.3
Target:ADI run21k v1.2 Instruction-level Simulator of Analog Devices ADSP 21020, executing on the host (bare machine simulation)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-044
Validated:06-30-1997
Expires:03-31-1998
Host:HP 9000 Model 730, under HP-UX 10.20
Target:HP 9000 Model 730, under HP-UX 10.20

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-045
Validated:06-30-1997
Expires:03-31-1998
Host:HP 9000 Model 730,under HP-UX 10.20
Target:HP 9000 Model 742rt VMEbus board(under HP-RT Version 3.0 A.03.00)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-046
Validated:06-30-1997
Expires:03-31-1998
Host:Axis Systems custom PC (Pentium Pro),under RedHat Linux 4.2 ELF, Kernel 2.0.18
Target:Axis Systems custom PC (Pentium Pro),under RedHat Linux 4.2 ELF, Kernel 2.0.18

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-047
Validated:06-30-1997
Expires:03-31-1998
Host:Axis Systems custom PC (Pentium Pro), under RedHat Linux 4.2 ELF, Kernel 2.0.18
Target:Motorola MVME1603 (PowerPC 603e VMEbus board)(bare machine EABI environment with Motorola PPC-BUG Monitor)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-048
Validated:06-30-1997
Expires:03-31-1998
Host:DEC Alpha AXP 2000/300, under OSF/1 3.0
Target:DEC Alpha AXP 2000/300, under OSF/1 3.0

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-049
Validated:06-30-1997
Expires:03-31-1998
Host:DEC Alpha AXP 2000/300, under OSF/1 3.0
Target:ICC tm960sim v3.1.2 Instruction-level Simulator of Intel i960MX in tagged mode, executing on the host(under Hughes Avionics Operating System, build 805c-3)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-050
Validated:06-30-1997
Expires:03-31-1998
Host:DEC VAX 4100A, under VMS 5.5-2H4
Target:DEC VAX 4100A, under VMS 5.5-2H4

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v. 8.1.5

Compiler Type:Base
Certificate Number:970630I2.0.1-051
Validated:06-30-1997
Expires:03-31-1998
Host:DEC VAX 4100A, under VMS 5.5-2H4
Target:ICC tm960sim v3.1.2 Instruction-level Simulator of Intel i960MC (bare machine simulation)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics00505
Annex H Safety and Security00000
Totals0050757


ICC Ada v.8.1.5

Compiler Type:Derived
Certificate Number:970630I2.0.1-046
Validated:3/31/98
Expires:3/31/98
Host:Sun Microsystems SPARCserver, SPARCstation, UltraStation, or UltraSever, all models (under Solaris 2.3 or later)
Target:Any computer system that executes the Intel 80386, 80486, Pentium, PentiumPro, or Pentium II instruction set (FPU optional) (under Linux, or as a bare machine)


ICC Ada v.8.1.5

Compiler Type:Derived
Certificate Number:970630I2.0.1-047
Validated:03/31/98
Expires:03/31/98
Host:Sun Microsystems SPARCserver, SPARCstation, UltraStation, or UltraSever, all models (under Solaris 2.3 or later)
Target:Any computer system that executes the PowerPC 603e or compatible instruction set (bare machine)



OC Systems

Address: 9990 Lee Highway, Suite 270, Fairfax, VA 22030
Contact: Oliver E. Cole at Phone: (703) 359-8160 or E-mail: info@ocsystems.com
Comments:

PowerAda 4.0

Compiler Type:Base
Certificate Number:980605E2.1-021
Validated:06-05-1998
Expires:03-31-2000
Host:IBM RS/6000 model 7025-F50 (under AIX 4.2)
Target:IBM RS/6000 model 7025-F50 (under AIX 4.2)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming182003185
Annex D Real Time Systems4427558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals254279272


PowerAda 4.0

Compiler Type:Base
Certificate Number:980605E2.1-022
Validated:06-05-1998
Expires:03-31-2000
Host:IBM RS/6000 model 7025-F50 (under AIX 4.2)
Target:Motorola Powerstack MT603-66 (under LynxOS 2.4.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming182003185
Annex D Real Time Systems4607558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals256079272


PowerAda AIX, 2.2

Compiler Type:Base
Certificate Number:951219W2.0-007
Expires:03-31-1998
Host:PowerPC IBM RS/6000 model 7012-G30, under AIX 4.1.
Target:PowerPC IBM RS/6000 model 7012-G30, under AIX 4.1.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


PowerAda LynxOS, 2.2

Compiler Type:Base
Certificate Number:951219W2.0-008
Expires:03-31-1998
Host:PowerPC IBM RS/6000 model 7012-G30, under AIX 4.1.
Target:PowerPC Motorola PowerStack MT 603-66, under LynxOS 2.3.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657



R.R. Software, Inc.

Address: P.O. Box 1512, Madison, WI 53701
Contact: Ian Goldberg at Phone: (608) 245-0375 or E-mail: RBrukardt@bix.com
Comments:

Janus/Ada 95 Professional Development System for 32-Bit DOS Extender, Version 3.1.0

Compiler Type:Base
Certificate Number:960921I2.0.1-004
Expires:03-31-1998
Host:MicroXperts 486 DX4 100, under MS-DOS 5.0 with Ergo 32 Bit DOS Extender, Version 1.0.
Target:MicroXperts 486 DX4 100, under MS-DOS 5.0 with Ergo 32 Bit DOS Extender, Version 1.0.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0031031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics00505
Annex H Safety and Security00000
Totals0054357


Janus/Ada 95 Professional Development System for 32-Bit DOS Extender, Version 3.1.0

Compiler Type:Derived
Certificate Number:960921I2.0.1-004
Validated:01-24-1997
Expires:03-31-1998
Host:Any computer system comprising: CPU: any that executes the Intel 80386 instruction set; FPU: optional; Memory: 8 MB RAM; Disk: 13 MB space on the hard drive; OS: MD-DOS 5.0 and higher, Windows 95.
Target:Any host.


Janus/Ada 95 Professional Development System for 80383 Unix, Version 3.1.0

Compiler Type:Base
Certificate Number:960921I2.0.1-005
Expires:03-31-1998
Host:Northgate 386/25, under SCO Unix Version 3.2.
Target:Northgate 386/25, under SCO Unix Version 3.2.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0031031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics00505
Annex H Safety and Security00000
Totals0054357


Janus/Ada 95 Professional Development System for Microsoft Windows NT/95, Version 3.1.0

Compiler Type:Base
Certificate Number:960921I2.0.1-003
Expires:03-31-1998
Host:ABC 486/33, under MS Windows 95, Version 4.00.950.
Target:ABC 486/33, under MS Windows 95, Version 4.00.950.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0031031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics00505
Annex H Safety and Security00000
Totals0054357


Janus/Ada 95 Professional Development System for Microsoft Windows NT/95, Version 3.1.0

Compiler Type:Derived
Certificate Number:960921I2.0.1-003
Validated:01-24-1997
Expires:03-31-1998
Host:Any computer system comprising: CPU: any that executes the Intel 80486 instruction set; FPU: optional; Memory: 8 MB RAM; Disk: 13 MB space on the hard drive; OS: Windows NT 3.5, 3.5.1, 4.0, and higher.
Target:Any host


Janus/Ada 95 Professional Development System for Microsoft Windows NT/95, Version 3.1.0

Compiler Type:Derived
Certificate Number:960921I2.0.1-003
Validated:01-24-1997
Expires:03-31-1998
Host:Any computer system comprising: CPU: any that executes the Intel 80386 instruction set; FPU: optional; Memory: 8 MB RAM; Disk: 13 MB space on the hard drive; OS: Windows 95.
Target:Any host



Rational Software Corporation

Address: 18880 Homestead Road, Cupertino, CA 95014 US
Contact: Ben Priest, Steve Deller at Phone: (408) 863-9900 or E-mail: info@rational.com
Comments:

Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970625S2.0.1-036
Validated:06-25-1997
Expires:03-31-1998
Host:Sun Ultra Enterprise 2 model 2300, under Solaris 2.5.1
Target:Sun Ultra Enterprise 2 model 2300, under Solaris 2.5.1

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970625S2.0.1-037
Validated:06-25-1997
Expires:03-31-1998
Host:Sun SPARCstation 10/144, under SunOS release 4.1.4
Target:Sun SPARCstation 10/144, under SunOS release 4.1.4

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970625S2.0.1-038
Validated:06-25-1997
Expires:03-31-1998
Host:HP 9000 model 715/100, under HP-UX 10.01
Target:HP 9000 model 715/100, under HP-UX 10.01

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970625S2.0.1-039
Validated:06-25-1997
Expires:03-31-1998
Host:IBM POWERstation model 340, under AIX 4.1.4
Target:IBM POWERstation model 340, under AIX 4.1.4

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970625S2.0.1-040
Validated:06-25-1997
Expires:03-31-1998
Host:SGI Indigo2 XL (IP22/R4400),under IRIX 5.3
Target:SGI Indigo2 XL (IP22/R4400),under IRIX 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970625S2.0.1-041
Validated:06-25-1997
Expires:03-31-1998
Host:Digital AlphaStation 500/500,under Digital UNIX 4.0B
Target:Digital AlphaStation 500/500,under Digital UNIX 4.0B

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970710S2.0.1-054
Validated:07-10-1997
Expires:03-31-1998
Host:Sun Ultra Enterprise 2 model 2300, under Solaris 2.5.1
Target:Motorola MVME1604-001 (PowerPC 604), under Rational Exec

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970710S2.0.1-055
Validated:07-10-1997
Expires:03-31-1998
Host:Sun Ultra Enterprise 2 model 2300, under Solaris 2.5.1
Target:Motorola MVME1604-002 (PowerPC 604), under VxWorks 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970710S2.0.1-056
Validated:05-10-1997
Expires:03-31-1998
Host:Sun SPARCstation 10 model 512, under Solaris 2.4
Target:Motorola MVME167 (68040), under Rational Exec

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970710S2.0.1-057
Validated:07-10-1997
Expires:03-31-1998
Host:HP 9000 Series 770 Model J200, under HP-UX 10.01
Target:Motorola MVME1603-002 (PowerPC 603), under VxWorks 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970710S2.0.1-058
Validated:07-10-1997
Expires:03-31-1998
Host:Sun SPARCstation 10 model 512,under Solaris 2.4
Target:Motorola MVME167 (68040), under VxWorks 5.3

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Apex/Ada version 2.4.0

Compiler Type:Base
Certificate Number:970710S2.0.1-059
Validated:07-10-1997
Expires:03-31-1998
Host:Sun SPARCstation 10 model 512, under Solaris 2.4
Target:Heurikon Laguna (MIPS R4600), under Rational Exec

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems0030131
Annex E Distributed Systems00808
Annex F Information Systems00336
Annex G Numerics50005
Annex H Safety and Security00000
Totals9041757


Rational Apex Ada 95 for Digital Unix, Version 2.0.8 (pre-release)

Compiler Type:Base
Certificate Number:960209S2.0-010
Expires:03-31-1998
Host:DEC 3000 model 600 AXP, under OSF/1, V3.2.
Target:DEC 3000 model 600 AXP, under OSF/1, V3.2.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


Rational Apex Ada 95 for HP/PA HP-UX, Version 2.0.8 (pre-release)

Compiler Type:Base
Certificate Number:960209S2.0-011
Expires:03-31-1998
Host:HP 9000 model 715, under HP-UX 10.0.
Target:HP 9000 model 715, under HP-UX 10.0.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


Rational Apex Ada 95 for IBM RS/6000, Version 2.0.8 (pre-release)

Compiler Type:Base
Certificate Number:960209S2.0-013
Expires:03-31-1998
Host:IBM RS/6000 model 350, under AIX 3.2.5.
Target:IBM RS/6000 model 350, under AIX 3.2.5.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


Rational Apex Ada 95 for Sun SPARC Solaris 2, Version 2.0.8 (pre-release)

Compiler Type:Base
Certificate Number:960209S2.0-009
Expires:03-31-1998
Host:SPARCstation 10/51, under Solaris 2.3.
Target:SPARCstation 10/51, under Solaris 2.3.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


Rational Apex Ada 95 for Sun SPARC SunOS 4, Version 2.0.8 (pre-release)

Compiler Type:Base
Certificate Number:960209S2.0-014
Expires:03-31-1998
Host:SPARCstation 10/51 (under SunOS 4.1.3)
Target:SPARCstation 10/51 (under SunOS 4.1.3)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


Rational Apex Ada 95 for for SGI IRIX, Version 2.0.8 (pre-release)

Compiler Type:Base
Certificate Number:960209S2.0-012
Expires:03-31-1998
Host:SGI Iris Indigo R4000, under IRIX 5.3.
Target:SGI Iris Indigo R4000, under IRIX 5.3.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems00171431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals00312657


Rational Apex Ada 95/83, SPARC Solaris to Intel Architecture -Ratl Exec, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-030
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Comtrade Wide SCSI Powerstation (Pentium 133) (under Rational Exec, version 3.0.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada 95/83, SPARC Solaris to MC68040 for Rational Exec, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-027
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Motorola MVME167 (68040) (under Rational Exec, version 3.0.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada 95/83, SPARC Solaris to MC68040 for Tornado, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-031
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Motorola MVME167 (68040) (under Wind River Systems Tornado 1.0.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems4607558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals255179272


Rational Apex Ada 95/83, SPARC Solaris to MIPS II for Rational Exec, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-025
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Heurikon Laguna (R4600) (under Rational Exec, version 3.0.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada 95/83, SPARC Solaris to MPIS II for Tornado, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-028
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Algorithmics P-4000i (R4600) (under Wind River Systems Tornado 1.0.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems4607558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals255179272


Rational Apex Ada 95/83, SPARC Solaris to PowerPC family for LynxOS, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-026
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Motorola PowerStack (PowerPC 603) (under LynxOS 2.5.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems4607558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals255179272


Rational Apex Ada 95/83, SPARC Solaris to PowerPC family for Ratl Exec, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-024
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:MVME1604-001/PowerPC 604 (under Rational Exec, version 3.0.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada 95/83, SPARC Solaris to PowerPC family for Tornado, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980613E2.1-029
Validated:06-13-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1)
Target:Motorola MVME1603-002 (PowerPC 603) (under Wind River Systems Tornado 1.0.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems4607558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals255179272


Rational Apex Ada 95/83, Windows NT, version 2.0.0

Compiler Type:Base
Certificate Number:980613E2.1-023
Validated:06-13-1998
Expires:03-31-2000
Host:IBM ThinkPad 760XD (Pentium 166) (under Windows NT, 4.0)
Target:IBM ThinkPad 760XD (Pentium 166) (under Windows NT, 4.0)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming176153185
Annex D Real Time Systems00055
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals204159219


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-036
Validated:12-23-1997
Expires:03-31-1998
Host:Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer all models (under Solaris 2.5 or later)
Target:Any host.


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-036
Validated:02/19/98
Expires:03/31/98
Host:Any Sun SPARC workstation(under Solaris 2.5 or later)
Target:Any host


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-037
Validated:02/19/98
Expires:03/31/98
Host:Sun SPARCstation, SPARCserver, UltraStation, & UltraServer computer families (under SunOS 4.1.4 or later)
Target:Any host.


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-038
Validated:02/19/98
Expires:03/31/98
Host:HP 9000 computer family (all models)under HP-UX 10.20 or later)
Target:Any host.


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-039
Validated:02/19/98
Expires:03/31/98
Host:IBM POWERstation computer family (all models)under AIX 4.1.4 or later
Target:Any host.


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-040
Validated:02/19/98
Expires:03/31/98
Host:Any SGI computer system (under IRIX 5.3 or later)
Target:Any host.


Rational Apex Ada versions 2.4.1 & 2.4.6

Compiler Type:Derived
Certificate Number:970625S2.0.1-041
Validated:02/19/98
Expires:03/31/98
Host:Any DEC AlphaStation (under Digital Unix 4.0B or later)
Target:Any host.


Rational Apex Ada, Digital Alpha AXP/UNIX, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980511E2.1-020
Validated:05-11-1998
Expires:03-31-2000
Host:Digital AlphaStation 500/500 (under Digital UNIX 4.0D)
Target:same as Host

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada, HP 9000 700/800 HP_UX, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980511E2.1-018
Validated:05-11-1998
Expires:03-31-2000
Host:HP 9000 Series 780 model J282 (under HP-UX 10.20)
Target:same as Host

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada, IBM RS/6000 AIX, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980511E2.1-019
Validated:05-11-1998
Expires:03-31-2000
Host:IBM RS/6000 model 7012-G40 (under AIX 4.2.1)
Target:same as Host

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada, Sparc Solaris, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980511E2.1-017
Validated:05-11-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.6)
Target:same as Host

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada95/83, Silicon Graphics IRIX, version 3.0.0b

Compiler Type:Base
Certificate Number:980909E2.1-039
Validated:09-09-1998
Expires:03-31-2000
Host:SGI Octane (IP30/R10000) (under IRIX64 6.4)
Target:SGI Octane (IP30/R10000) (under IRIX64 6.4)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems5300558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals262109272


Rational Apex Ada95/83, Sparc Solaris to Intel architecture for Tornado, version 3.0.0 (pre-release)

Compiler Type:Base
Certificate Number:980909E2.1-040
Validated:09-09-1998
Expires:03-31-2000
Host:Sun Ultra Enterprise 2 model 2300 (under Solaris 2.5.1
Target:Comtrade Wide SCSI Powerstation (Pentium 133) (under Wind River Tornado 1.0.1)

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming181103185
Annex D Real Time Systems4607558
Annex E Distributed Systems00000
Annex F Information Systems00000
Annex G Numerics2800129
Annex H Safety and Security00000
Totals255179272



Thomson Software Products (now Aonix)

Address: (formerly Alsys), 10251 Vista Sorrento Parkway, Suite 300, San Diego, CA 92121
Contact: Marianne Worley at Phone: (619) 457-2700, ext. 244 or E-mail: adainfo@thomsoft.com
Comments:

5000 OA ObjectAda for Unix for SPARC/Solaris, Version 7.0

Compiler Type:Base
Certificate Number:960820S2.0.1-002
Expires:03-31-1998
Host:Sun SPARCstation 20 Model 712MP, under Solaris 2.5.
Target:Sun SPARCstation 20 Model 712MP, under Solaris 2.5.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0031031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics00505
Annex H Safety and Security00000
Totals0054357


7000 OA ObjectAda for Unix for HP-PA RISC/HP-UX, Version 7.0

Compiler Type:Base
Certificate Number:960710S2.0.1-001
Expires:03-31-1998
Host:HP 9000 Model J200, under HP-UX 10.01.
Target:HP 9000 Model J200, under HP-UX 10.01.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming00437
Annex D Real Time Systems0031031
Annex E Distributed Systems00808
Annex F Information Systems00606
Annex G Numerics00505
Annex H Safety and Security00000
Totals0054357


Object Ada for Intel Windows NT, 7.0

Compiler Type:Base
Certificate Number:951218W2.0-005
Expires:03-31-1998
Host:Micron Powerstation (Pentium 120), under Windows NT 3.5.
Target:Micron Powerstation (Pentium 120, under Windows NT 3.5.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems16101431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals201102657


Object Ada for Windows 95, 7.0

Compiler Type:Base
Certificate Number:951219W2.0-006
Expires:03-31-1998
Host:Micron PowerStation (Pentium 120), under Windows 95, 4.00.950.
Target:Micron PowerStation (Pentium 120), under Windows 95, 4.00.950.

Test Profile for Specialized Needs Annexes
Specialized Needs Annexes Passed Not Applicable Not Supported Withdrawn Totals
Annex C System Programming40037
Annex D Real Time Systems16101431
Annex E Distributed Systems00718
Annex F Information Systems00246
Annex G Numerics00145
Annex H Safety and Security00000
Totals201102657