Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Graybox Stabilization Anish Arora Murat Demirbas Sandeep S. Kulkarni y

Summary: Graybox Stabilization
Anish Arora  Murat Demirbas  Sandeep S. Kulkarni y
 Department of Computer y 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
Email: fanish,demirbasg@cis.ohio­state.edu, sandeep@cse.msu.edu ; Tel: +1­614­292­1836 ; Fax: +1­614­292­2911 ;
Web: http://www.cis.ohio­state.edu/f~anish,~demirbasg, http://www.cse.msu.edu/~sandeep ;


Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University


Collections: Computer Technologies and Information Sciences