Marie Ortalo-Borrel

Learn More
This paper presents a framework for modeling the dependability of hardware and software fault-tolerant systems, taking into account explicitly the dependence among the components. These dependencies can result from: a) functional or structural interactions between the components or b) interactions due to global system reconfiguration and maintenance(More)
ÐThe aim of our work is to provide a quantified means of helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. In this paper, we define a set of alternative architectures, give some elements for constructing their dependability models, and compare their availability. Modeling is carried out following(More)
  • 1