Accession Number : ADA189554
Title : Validating and Evaluating ADA's (Trade Mark) Representation Clauses and Implementation-Dependent Features on MIL-STD-1750A Architecture.
Descriptive Note : Master's thesis,
Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING
Personal Author(s) : Joyce, Daniel O
PDF Url : ADA189554
Report Date : Dec 1987
Pagination or Media Count : 132
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.
Descriptors : *PROGRAMMING LANGUAGES, *COMPUTER PROGRAMMING, COMPILERS, COMPUTERS, DELAY, EMBEDDING, HIGH RELIABILITY, LANGUAGE, MANUAL OPERATION, PERFORMANCE TESTS, REQUIREMENTS, TEST METHODS, THESES, TIME, VALIDATION, COMPUTER APPLICATIONS
Subject Categories : Computer Programming and Software
Computer Systems Management and Standards
Distribution Statement : APPROVED FOR PUBLIC RELEASE