Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Graybox Stabilization Anish Arora

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
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-
Keywords : Specification-based dependability, Stabilization, Dependability wrappers,
Local everywhere specifications


Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University
Demirbas, Murat - Department of Computer Science and Engineering, State University of New York at Buffalo


Collections: Computer Technologies and Information Sciences; Engineering