A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In such a system, severe consequences will occur if the logical and physical specifications of the system are not met. In this paper, we present a logic, Interval Temporal Logic (ITL), to specify responsive systems and give decision procedures to verify properties of the system at run-time as follows. First, we collect, during execution, events occurring in the system to represent a distributed computation. Next, we specify properties of the system using ITL formulas. Finally, we apply the decision procedures to determine satisfaction of the formulas. Thus, we can verify properties of the system at run-time using these decision procedures.
Tsai, Grace; Insall, Matt; and McMillin, Bruce M., "A Run-Time Decision Procedure for Responsive Computing Systems" (1993). Computer Science Technical Reports. 50.
© 1993 University of Missouri--Rolla, All rights reserved.
21 Oct 1993