Ada-Linda Preliminary Report: Motivation, Informal Description and Examples
Abstract
SDIO 3405 - 'Strategic Defense System Software Policy' - is typical of many Defense Department policy statements in decreeing that all 'mission-critical software be implemented in Ada(SDIO 3405). The intentions behind the decree are honorable: A standard programming language and standard notations for specifications and designs are highly desirable to provide a common basis for understanding and to permit the development and wide usage of common tools for maintenance, evaluation and testing. The software developer (duly inspired) wades into the body of the policy statement - only to discover a long section on 'waiver procedures'. Grounds on which the required use of Ada may be waived include '(1) performance, or (2) appropriateness of the Ada programming model' (p. 10). Waivers in the second category may be based on the inappropriateness of Ada interprocess communication, initialization or task scheduling, among other things.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1989
- Accession Number
- ADA216004