Detecting unsafe error recovery schedules

Detecting unsafe error recovery schedules

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. T...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering 1992-08, Vol.18 (8), p.749-760
Hauptverfasser: Lutz, R.R., Wong, J.S.K.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Applied sciences
Computer Science
Computer Science, Software Engineering
Computer science
control theory
systems
Engineering
Engineering, Electrical & Electronic
Exact sciences and technology
Failure
Fault tolerance
Hardware
Interleaved codes
Jupiter
Mathematical models
Real time
Safety
Schedules
Scheduling algorithm
Science & Technology
Software
Software algorithms
Software engineering
Software tools
Space vehicles
Spacecraft
Systems development
Technology
Testing
Theory
Timing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.153384