Accession Number : ADA182144

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

Descriptive Note : Technical rept.,

Corporate Author : MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

Personal Author(s) : Levi,Shem-Tov ; Agrawala,Ashok K

PDF Url : ADA182144

Report Date : Apr 1987

Pagination or Media Count : 88

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.

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *REAL TIME, METHODOLOGY, VALIDATION, NAVAL AIRCRAFT, ATTACK AIRCRAFT

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE