Supplement to ACATR EDS20001201RSC07

May 9, 2003

Rational Software Corproration (the client) hereby requests that the Ada Conformity Assessment Authority (ACAA) extend the certified status documented in the above-referenced Ada Conformity Assessment Test Report (ACATR) and in Ada Conformity Assessment Certificate (ACAC) A010516E2.4-007 to the implementation class(es) described in the following pages.

Technical Contact:

David J. Lofgren
Rational Software
IBM Software Group
18880 Homestead Road
Cupertino, CA 95014
djlofgren@us.ibm.com

Approval: ______________________________    ________________
                     Ada Conformity Assessment Authority     Date

 

Implementation Class Information

 

Implementation Class Category:  Maintenance

Processor Identification:  Rational Embedded Apex Ada 95/83, Sun Sparc Solaris to PowerPC family for LynxOS, version 4.2.0b

Host Systems:  Sun SPARC running Solaris 2.6, 2.7, 8, or 9

Target Systems:  PowerPC under LynxOS 3.1.0a

Representative Processor and Configuration Tested:

Host System:  Sun Ultra 2, running Solaris 2.7

Target System:  Motorola Powerstack (PowerPC 603) under LynxOS 3.1.0a

ACATS Version Used for Testing Representative Processor:ACATS 2.4 (VCS label A2_4B)

 

Client Certification of Testing and Processor Derivation:

I, the undersigned, representing the Client, certify that the above identified representative processor was tested on the described configuration with the customized ACATS version described above, including the code modifications and implementation-defined substitution values that were used in the conformity assessment leading to the certificate named in this Supplement, with modifications described in this Supplement, and that the testing results were the same as those obtained in that conformity assessment, with exceptions as described in this Supplement. I further declare that the Client knows of no deliberate deviations from the Ada language standard (ANSI/ISO/IEC 8652:1995) as corrected by Technical Corrigendum 1 (ISO/IEC 8652:1995/COR.1:2000) in the identified representative processor above. I further certify that the above-identified representative processor and configuration meets the definition of base, maintained, or rehosted implementation (as described in the Operating Procedures for Ada Conformity Assessment).

_________________________   ________________
David J. Lofgren                           Date
Rational Software
IBM Software Group

Maintenance Changes:

Improved application performance (Perfective)

Apex 4.2 had improvements in middle pass optimizations as well as upgraded code generation.

New parameter passing conventions (Perfective)

Two implementation-defined conventions: have been added as permitted by RM95 B.1(11). These conventions may be used in pragmas Import, Export and Convention.

Fixed Point Rounding (Perfective)

The fixed point multiplication, division and conversion operations used to ROUND the result to the nearest machine representable number when the operation was executed at runtime, but it used truncation when the result was computed at compile-time. The Apex 4.2.0 compiler now uses truncation uniformly.

Atomic

Compiler updated to support individual read/write for records.

ACATS Modifications:

 

Test Results Differences:

CXC6001

Under referenced version, the test now executes and reports "PASSED" while under original certified processor the test did not compile indicating that it did not support individual read/write for records. The reference processor has been updated to support individual read/write for records.

The following list of tests differ from the original certified processor in that the wording on some of the error messages is different;

b33204a, b33205a, b35302a, b36171a, b380001, b38008a, b38009a, b3a0002, b3a2002, b3a2009, b3a2014, b44002b, b48002a0, b48002b, b48002e, b52002c, b610001, b7310011, b7310014, b84007a, b85001f, b85008g, b91001g, b91004a, b95031a, b95080c, b99002a, b99002b, ba2013b, bd2a03a, bd2a03b, bd2a67a, bd2b03a, bd2b03b, bd2c03a, bd2d03a, bd2d03b, bd3001c, bd3003a, bd4003a, bd4003b, bd5104a, bd7203a, be3606c, bxc6001 , bxc60010 , bxc60033