Ada (Trademark) Verification System (AVS) Studies

Abstract

The goal of this study was to investigate approaches to 'high- assurance' software written in the Ada programming language. 'High-assurance' software is an expression used throughout this report that includes the software in systems defined to be secure by the Department of Defense Trusted Computer System Evaluation Criteria as well as other software with very high reliability or security requirements. 'High-assurance' software includes any software which must function as intended or there would be a threat to human life or national security. The report is applicable, then, to high-assurance software which, for the most part, is yet to be developed. Secure communications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1987
Accession Number
ADA218045

Entities

Organizations

  • IIT Research Institute

Tags

Communities of Interest

  • C4I
  • Counter WMD
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Accuracy
  • Application Software
  • Automatic Programming
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • High Level Languages
  • Machine Languages
  • Programming Languages
  • Robotics
  • Safety Analysis
  • Software Development
  • Software Development Tools
  • Test And Evaluation
  • Word Processors

Fields of Study

  • Computer science

Readers

  • Software Engineering.