clock
blank

Architecture and Real-Time Systems (ARTS) Laboratory

UMASS
blank

Example

  • N + K functioning modules: N active and K spare
  • No repair is permitted during the mission
  • Any active module can be disconnected or replaced by a spare
  • Transients arrive according to a Poisson process at two different rates: lambda1 and lambda0, depending on whether or not the module has experienced failure in the past
  • Permanent faults arrive according to a Poisson process with rate lambdap
  • One job at a time is served, and service rate on n processors is Cnbeta, where beta < 1
  • Jobs arrive according to a Poisson process with rate gamma and have a relative deadline of Delta
  • Repertoire of recovery actions: retry, replace, disconnect.
bayes
blank
blank

Current Projects

Power-Aware Systems

Fault-Tolerance Systems

Past Projects

Fault-Tolerance Techniques

Real-Time Techniques

 

Publications

Picture Gallery

Members Area