RUcore: Rutgers University Community Repository
Model based validation for improving availability of internet services
Descriptive
TitleInfo
Title
Model based validation for improving availability of internet services
Name
(type = personal)
NamePart
(type = family)
Tjang
NamePart
(type = given)
Andrew
NamePart
(type = date)
1981-
DisplayForm
Andrew Tjang
Role
RoleTerm
(authority = RULIB)
author
Name
(type = personal)
NamePart
(type = family)
Nguyen
NamePart
(type = given)
Thu
DisplayForm
Thu Nguyen
Affiliation
Advisory Committee
Role
RoleTerm
(authority = RULIB)
chair
Name
(type = personal)
NamePart
(type = family)
Martin
NamePart
(type = given)
Richard
DisplayForm
Richard Martin
Affiliation
Advisory Committee
Role
RoleTerm
(authority = RULIB)
internal member
Name
(type = personal)
NamePart
(type = family)
Ganapathy
NamePart
(type = given)
Vinod
DisplayForm
Vinod Ganapathy
Affiliation
Advisory Committee
Role
RoleTerm
(authority = RULIB)
internal member
Name
(type = personal)
NamePart
(type = family)
Rajagopalan
NamePart
(type = given)
Raj
DisplayForm
Raj Rajagopalan
Affiliation
Advisory Committee
Role
RoleTerm
(authority = RULIB)
outside member
Name
(type = corporate)
NamePart
Rutgers University
Role
RoleTerm
(authority = RULIB)
degree grantor
Name
(type = corporate)
NamePart
Graduate School - New Brunswick
Role
RoleTerm
(authority = RULIB)
school
TypeOfResource
Text
Genre
(authority = marcgt)
theses
OriginInfo
DateCreated
(qualifier = exact)
2014
DateOther
(qualifier = exact);
(type = degree)
2014-10
CopyrightDate
(encoding = w3cdtf)
2014
Place
PlaceTerm
(type = code)
xx
Language
LanguageTerm
(authority = ISO639-2b);
(type = code)
eng
Abstract
(type = abstract)
In studies separated by decades, operator mistakes have been identified as a significant source of unavailability in computer systems. Such mistakes can range from static misconfiguration to physical misplacement of wires and machines. Detecting and repairing these mistakes can often be time consuming and for many of today's Internet services, unavailability results in significant loss of revenue and/or clients. In this dissertation we present a series of tools that assist those who are charged with designing and creating the infrastructure that support those Internet services to mitigate the results of operator mistakes. Specifically, we first propose an assertion based language, A, that is a formalized specification of correct behavior and can be used to bolster system understanding, as well as help to flag operator mistakes in a distributed system. We look at examples of these mistakes, their effects and manifestations in both an academic environment and in real-world applications. With a good understanding of these mistakes and behaviors, we design a process to validate operator actions called Model Based Validation. We then explore methods to simplify the assertion writing process using machine learning techniques. With such a large attribute space and such small data sets, we investigate a variety of optimizations including a refinement loop and various filtering algorithms.
Subject
(authority = RUETD)
Topic
Computer Science
Subject
(authority = ETD-LCSH)
Topic
Internet--Quality control
Subject
(authority = ETD-LCSH)
Topic
Computer networks--Quality control
RelatedItem
(type = host)
TitleInfo
Title
Rutgers University Electronic Theses and Dissertations
Identifier
(type = RULIB)
ETD
Identifier
ETD_5892
PhysicalDescription
Form
(authority = gmd)
electronic resource
InternetMediaType
application/pdf
InternetMediaType
text/xml
Extent
1 online resource (x, 117 p. : ill.)
Note
(type = degree)
Ph.D.
Note
(type = bibliography)
Includes bibliographical references
Note
(type = statement of responsibility)
by Andrew Tjang
RelatedItem
(type = host)
TitleInfo
Title
Graduate School - New Brunswick Electronic Theses and Dissertations
Identifier
(type = local)
rucore19991600001
Location
PhysicalLocation
(authority = marcorg);
(displayLabel = Rutgers, The State University of New Jersey)
NjNbRU
Identifier
(type = doi)
doi:10.7282/T38C9XV5
Genre
(authority = ExL-Esploro)
ETD doctoral
Back to the top
Rights
RightsDeclaration
(ID = rulibRdec0006)
The author owns the copyright to this work.
RightsHolder
(type = personal)
Name
FamilyName
Tjang
GivenName
Andrew
Role
Copyright Holder
RightsEvent
Type
Permission or license
DateTime
(encoding = w3cdtf);
(qualifier = exact);
(point = start)
2014-09-24 12:58:44
AssociatedEntity
Name
Andrew Tjang
Role
Copyright holder
Affiliation
Rutgers University. Graduate School - New Brunswick
AssociatedObject
Type
License
Name
Author Agreement License
Detail
I hereby grant to the Rutgers University Libraries and to my school the non-exclusive right to archive, reproduce and distribute my thesis or dissertation, in whole or in part, and/or my abstract, in whole or in part, in and from an electronic format, subject to the release date subsequently stipulated in this submittal form and approved by my school. I represent and stipulate that the thesis or dissertation and its abstract are my original work, that they do not infringe or violate any rights of others, and that I make these grants as the sole owner of the rights to my thesis or dissertation and its abstract. I represent that I have obtained written permissions, when necessary, from the owner(s) of each third party copyrighted matter to be included in my thesis or dissertation and will supply copies of such upon request by my school. I acknowledge that RU ETD and my school will not distribute my thesis or dissertation or its abstract if, in their reasonable judgment, they believe all such rights have not been secured. I acknowledge that I retain ownership rights to the copyright of my work. I also retain the right to use all or part of this thesis or dissertation in future works, such as articles or books.
Copyright
Status
Copyright protected
Availability
Status
Open
Reason
Permission or license
Back to the top
Technical
RULTechMD
(ID = TECHNICAL1)
ContentModel
ETD
OperatingSystem
(VERSION = 5.1)
windows xp
Back to the top
Statistical Profile