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