Subscribe
Issue No.08 - August (1992 vol.18)
pp: 749-760
ABSTRACT
<p>A mechanism for modeling timing, precedence, and data-consistency constraints on concurrently executing processes is presented. The model allows durations and intervals between events to be specified. An algorithm is provided to detect schedules which may be unsafe with respect to the constraints. This work, motivated by the design and validation of autonomous error-recovery strategies on the Galileo spacecraft, appears to be applicable to a variety of asynchronous real-time systems.</p>
INDEX TERMS
unsafe error recovery schedules; modeling timing; precedence; data-consistency constraints; concurrently executing processes; Galileo spacecraft; asynchronous real-time systems; aerospace computing; fault tolerant computing; real-time systems; scheduling
CITATION
R.R. Lutz, J.S.K. Wong, "Detecting Unsafe Error Recovery Schedules", IEEE Transactions on Software Engineering, vol.18, no. 8, pp. 749-760, August 1992, doi:10.1109/32.153384