Abstract
In this paper, a new technique for ensuring run-time satisfaction of properties-specifically responsiveness property, a subset of liveness property, in responsive systems, is presented. Since whether the run-time behavior of a system is satisfied depends on the execution (operational) environment, we develop a translation which takes into account the constraints in the operational environment, and generates histories for each process in the system. Thus, every process can utilize its history to operationally evaluate the system behavior and signal errors if its history is violated. Therefore, this technique provides software safety, handles error-detection, and ensures run-time satisfaction of responsiveness property in the operational environment. To illustrate this approach a train set example is presented.
Recommended Citation
Tsai, Grace; Insall, Matt; and McMillin, Bruce M., "Operational Evaluation of Responsiveness Properties" (1993). Computer Science Technical Reports. 35.
https://scholarsmine.mst.edu/comsci_techreports/35
Department(s)
Computer Science
Report Number
CSC-93-13
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
30 Jun 1993
Comments
This work was supported in part by the National Science Foundation under Grant Numbers MSS-9216479 and CDA-9222827, and, In part, from the Air Force Office of Scientific Research under contract number F49620-92-J-0546.