Validating and Evaluating ADA's (Trade Mark) Representation Clauses and Implementation-Dependent Features on MIL-STD-1750A Architecture.
Abstract
Developers of applications for embedded systems need full implementations for all of the representation clauses and implementation-dependent features in Chapter 13 of the 'Language Reference Manual' (LRM) if they are to be successful in developing these application entirely in Ada. Because implementations of Ada's representation clauses and implementation-dependent features vary from compiler to compiler, these features must be validated and evaluated before they are used in applications that have such high reliability requirements. This thesis describes an approach used to develop validation tests and performance evaluation tests, or benchmarks, for Ada's address clauses and interrupt features and reports the results of the validation tests and benchmarks. The validation tests were compiled with three validated Ada compilers, two of which were targeted to the MIL-STD-1750A processor. The benchmarks developed measure interrupt delay time for interrupts associated with a task entry by an address clause. These benchmarks were compiled with a validated Ada compiler targeted to the MIL-STD-1750A and run on a Sperry 1631 MIL-STD-1750A processor. Keywords: Ada compilers benchmark validation; Embedded computer.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1987
- Accession Number
- ADA189554
Entities
People
- Daniel O. Joyce
Organizations
- Air Force Institute of Technology