Login

Publications  •  Project Statistics

Glossary  •  Schools  •  Disciplines
People Search: 
   
Title/Abstract Search: 

Dissertation Information for Daniel Mosse

NAME:
- Daniel Mosse

DEGREE:
- Ph.D.

DISCIPLINE:
- Computer Science

SCHOOL:
- University of Maryland (USA) (1993)

ADVISORS:
- None

COMMITTEE MEMBERS:
- None

MPACT Status: Incomplete - Not_Inspected

Title: A framework for the development and deployment of fault-tolerant applications in real-time systems

Abstract: "With the rapid growth in hardware and software technology, computers are constantly being introduced into new environments and for new applications. Systems that depend on both correct functional and temporal behavior are called real-time systems. The most critical systems in this domain are those that have hard real-time constraints, in which tasks must always finish within the user-specified deadlines, despite the presence of faults such as site crashes or link failures.

The focus of this dissertation is the design and development of an environment for applications with requirements including hard real-time constraints, distributed operation, and fault tolerance. This is accomplished through extending models of computation to take into consideration the encapsulation of both resource requirements and temporal constraints.

In the realm of fault tolerance, our approach attaches monitors and error handlers to each schedulable and executable unit of computation, uses redundancy for fault masking, and defines a uniform system-level fault recovery scheme. We also define a hierarchy of error handlers and monitors that can be replicated.

In order to assure the temporal behavior of a hard real-time application, the resources required for it during its execution must be reserved. When the application has to meet the fault tolerance requirements the resources for the replicated tasks must also be reserved. We develop a resource allocation scheme which uses allocation policies that assure the meeting of resiliency goals as well as temporal requirements.

In addition, we developed a technique to estimate the application reliability, in terms of the inputs to the application. This method is applicable to a large class of applications that can be generated recursively."

MPACT Scores for Daniel Mosse

A = 0
C = 1
A+C = 1
T = 0
G = 0
W = 0
TD = 0
TA = 0
calculated 2008-01-31 06:30:38

Advisors and Advisees Graph