Abstract
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.
Recommended Citation
Tsai, Grace; Insall, Matt; and McMillin, Bruce M., "A Run-Time Decision Procedure for Responsive Computing Systems" (1993). Computer Science Technical Reports. 50.
https://scholarsmine.mst.edu/comsci_techreports/50
Department(s)
Computer Science
Report Number
CSC-93-29
Document Type
Technical Report
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1993 University of Missouri--Rolla, All rights reserved.
Publication Date
21 Oct 1993
Comments
This work was supported by UM research board, the National Science Foundation under Grant Numbers MSS-9216479 and CDA-9222827, and from the Air Force Office of Scientific Research under contract number F49620-92-J-0546.