HOL Evaluation for Missile Software Applications.
Abstract
The authors conclude that, for significant software projects such as missile systems, use of an HOL is justified by life-cycle savings in spite of the initial one-time costs. Based upon the requirements obtained by modifying the DOD-1 IRONMAN specification, the five candidate languages were evaluated; the compilers for these languages were also evaluated. If a new compiler is developed, tailored to the needs of missile systems, J73 appears to be the better language. Compiler costs are not affected substantially by the choice of language. The existing J73 compiler offers a better base and at least as economic an approach for rehosting and retargeting as any other candidate compiler.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 08, 1977
- Accession Number
- ADA055382
Entities
People
- D. R. Griffin
- J. W. Crenshaw
- K. D. Dannenberg
- R. Palmer
Organizations
- Computer Sciences Corporation