Real Time Programs: Design Implementation of Validation: A Survey.

Abstract

The use of real-time systems is widely spread today, and involves very large and sophisticated programs. In addition to the constraints imposed on regular very large programs, real-time very large programs are subjected to stringent real-time constraints that the designer tries to meet, to satisfy, and to validate. Those very large programs (systems) are of a very complicated nature, and need special methodologies. This review tries to summarize the methods, approaches, techniques and tools which are used today during a real time system's life cycle. The review deals with three important phases of a real-time system: the design phase, the implementation phase, and the validation phase. Keywords: Computer program verification; Naval aircraft, A-7 aircraft.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1987
Accession Number
ADA182144

Entities

People

  • Ashok Agrawala
  • Shem-tov Levi

Organizations

  • University of Maryland

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Human Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • High Level Languages
  • Information Processing
  • Language
  • Life Cycles
  • Military Research
  • Operating Systems
  • Programming Languages
  • Simulators
  • Software Development
  • Test And Evaluation
  • Test Methods
  • Universities

Fields of Study

  • Engineering
  • Physics

Readers

  • Computer Networking
  • Software Engineering
  • Systems Analysis and Design