Learn More
We focus on analytical modeling for the dependability evaluation of phased-mission systems. Because of their dynamic behavior, systems showing a phased behavior offer challenges in modeling. We propose the modeling and evaluation of phased-mission system dependability through the Deterministic and Stochastic Petri Nets (DSPN). The DSPN approach to the(More)
The real-time community is devoting considerable attention to exible scheduling and adaptive systems. One popular means of increasing the exibility, and hence eeectiveness, of real-time systems is to use value-based scheduling. It is surprising however, how little attention has been devoted, in the scheduling eld, to the actual assignment of value. This(More)
ÐThis paper presents a class of count-and-threshold mechanisms, collectively named-count, which are able to discriminate between transient faults and intermittent faults in computing systems. For many years, commercial systems have been using transient fault discrimination via threshold-based techniques. We aim to contribute to the utility of(More)
Personal use of the material in this paper is permitted. However, permission to reprint or republish this material for advertising or promotional purposes or for creating new works for resale or redistribution, or to reuse any copyrighted component of this work in other works must be obtained from the authors of this paper. Abstract. The development and(More)
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement, and(More)
This paper describes an experiment performed on wide area network to assess and fairly compare the quality of service provided by a large family of failure detectors. Failure detectors are a popular middleware mechanism used for improving the dependability of distributed systems and applications. Their QoS greatly influences the QoS that upper layers may(More)
The work in this paper 1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availability, thus providing guidelines for the choice among different architectural and design(More)
tional life can be partitioned in a set of disjoint periods, called " phases " , include several classes of systems such as Phased Mission Systems and Scheduled Maintenance Systems. Because of their deployment in critical applications, the dependability modeling and analysis of Multiple-Phased Systems is a task of primary relevance. The phased behavior(More)