| | |
Summary: Graybox Stabilization
Anish Arora£
Murat Demirbas£
Sandeep S. KulkarniÝ
£
Department of Computer Ý Department of Computer
and Information Science Science and Engineering
The Ohio State University Michigan State University
Columbus, Ohio 43210 USA East Lansing, Michigan 48824 USA
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. To redress 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 implemen-
tation. We refer to stabilization designed thus as being "graybox" and identify "local everywhere
specifications" as being amenable to design of graybox stabilization. We illustrate a method for
designing graybox stabilization using timestamp-based distributed mutual exclusion as our exam-
ple.
Keywords : Specification-based dependability, Stabilization, Dependability wrappers,
Local everywhere specifications
|
