Strategy for Achieving Ada-Based High Assurance Systems

Abstract

IDA Paper P-2143, Strategy for Achieving Ada-Based High Assurance Systems, documents the results of an analysis of software testing and verification technology conducted for the Ada Joint Program Office (AJPO) and the Rome Air Development Center (RADC) by the Institute for Defense Analyses (IDA). The paper presents a coordinated strategy for meeting a critical technology goal of the U.S. Department of Defense---the development of computer software for those systems upon which the Armed Forces can rely for the success of missions with extreme and often life critical requirements.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1988
Accession Number
ADA225664

Entities

People

  • R. J. Martin
  • Reginald N. Meeson
  • Richard A. Demillo

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Human Systems

DTIC Thesaurus Topics

  • Application Software
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Cybersecurity
  • High Level Languages
  • Programming Languages
  • Software Design
  • Software Development
  • Software Development Tools
  • Software Metrics
  • Software Testing
  • Systems Engineering
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Defense Acquisition Program Management