A Portable Ada Multitasking Analysis System

Abstract

IDA Paper P-2124, A Portable Ada Multitasking Analysis System, documents the design and implementation of a prototype software tool to assist in the dynamic analysis of Ada multitasking programs. This document will be used as a reference and guide for Ada tasking analysis using the prototype tool and will provide a basis from which future research can proceed.

Open PDF

Document Details

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

Entities

People

  • David O. Levan
  • Robert J. Knapper

Organizations

  • Institute for Defense Analyses

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Analyzers
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Databases
  • Debugging
  • Engineering
  • Guarantees
  • Instrumentation
  • Prototypes
  • Reliability
  • Software Development
  • Standards
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Graph Algorithms and Convex Optimization.
  • Software Engineering
  • Software Verification and Validation.