DocumentCode
1218251
Title
Detecting unsafe error recovery schedules
Author
Lutz, Robyn R. ; Wong, Johnny S K
Author_Institution
Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
Volume
18
Issue
8
fYear
1992
fDate
8/1/1992 12:00:00 AM
Firstpage
749
Lastpage
760
Abstract
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
Keywords
aerospace computing; fault tolerant computing; real-time systems; scheduling; Galileo spacecraft; asynchronous real-time systems; concurrently executing processes; data-consistency constraints; modeling timing; precedence; unsafe error recovery schedules; Computer science; Hardware; Interleaved codes; Safety; Scheduling algorithm; Software algorithms; Software tools; Space vehicles; Testing; Timing;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.153384
Filename
153384
Link To Document