Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


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

  

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