Parallel program design: a foundation
Parallel program design: a foundation
Predicate calculus and program semantics
Predicate calculus and program semantics
Self-stabilization by local checking and correction
Self-stabilization by local checking and correction
Constraint satisfaction as a basis for designing nonmasking fault-tolerance
Journal of High Speed Networks
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Self-stabilization
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Towards Dependable Home Networking: An Experience Report
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
The Triumph and Tribulation of System Stabilization
WDAG '95 Proceedings of the 9th International Workshop on Distributed Algorithms
The SunSCALR Framework for Internet Servers
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
A Framework for Dependability Driven Software Integration
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Xept: A Software Instrumentation Method For Exception Handling
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
Model-Based Fault Detection in Powerline Networking
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Lyapunov analysis of neural network stability in an adaptive flight control system
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
| Hi-index | 0.00 |
Abstract: Research in system stabilization has traditionally relied on the availability of a complete system implementation. As such, it would appear that the scalability and reusability of stabilization is limited in practice. Towards redressing this perception, in this paper, we show for the first time that system stabilization may be designed knowing only the system specification but not the system implementation. We refer to stabilization designed thus as being "graybox" and identify "local everywhere-eventually specifications" as being amenable to design of graybox stabilization. We illustrate the design of graybox stabilization using timestamp-based distributed mutual exclusion as our example.