Real Time Programs: Design Implementation of Validation: A Survey

摘要

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.