Andrea Bondavalli

Learn More
Computer controlled systems are used in many application fields, with different levels of criticality requirements. A common characteristic of such systems is the increasing complexity in internal structure (redundancy, layering of functionality) and operational issues (performance constraints, criticality of the controlled applications, etc.). 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)
1 LAAS-CNRS, 7 avenue du Colonel Roche, Toulouse Cedex 4, France 2 University of York, York YO10 5DD, United Kingdom 3 PDCC CNUCE-CNR, Via S. Maria 36, 56126 Pisa, Italy 4 Intecs Sistemi S.p.A., V. L. Gereschi 32/34, 56127 Pisa, Italy 5 PDCC IEI CNR, Via S. Maria 46, 56126 Pisa Italy 6 Technicatome, BP 34000, 13791 Aix-en-Provence Cedex 3, France 7 Matra(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)
Ð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)
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 paper1 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)