Recently, measurement-based studies of software systems have proliferated, reflecting an
increasingly empirical focus on system availability, reliability, aging, and fault tolerance …

Abstract Fluid (or Hybrid) Petri Nets are Petri net based models with two classesof places:
discrete places that carry a natural number of distinctobjects (tokens), and fluid places that …

Restarts or retries are a common phenomenon in computing systems, for instance, in
preventive maintenance, software rejuvenation, or when a failure is suspected. Typically …

Performance of a software system can deteriorate from higher to lower levels due to software
aging. To counteract the aging effect, software rejuvenation is widely implemented to restore …

As modern society relies on the fault-free operation of complex computing systems, system
fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms …

Availability prediction in a telecommunication system plays a crucial role in its management,
either by alerting the operator to potential failures or by proactively initiating preventive …

We analyse and optimise the completion time for a class of jobs whose conditional
completion time is not always decreasing with the time invested in the job. For such jobs …

The usage of models is a fundamental activity in designing and verifying a system.
Mastering different modeling techniques and scaling their application to complex systems is …

This paper examines comprehensive evaluation of aperiodic time-based checkpointing and
rejuvenation schemes maximizing the steady-state system availability in an operational …

Recently, measurement based studies of software systems proliferated, reflecting an
increasingly empirical focus on system availability, reliability, aging and fault tolerance …