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.
Tsai, Grace; Insall, Matt; and McMillin, Bruce M., "Operational Evaluation of Responsiveness Properties" (1993). Computer Science Technical Reports. 35.
© 1993 University of Missouri--Rolla, All rights reserved.
30 Jun 1993