Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Fault tolerance"

Now showing items 1-2 of 2

    • Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas 

      Acosta, Araceli Natalia (2022-09)
      En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ...

    • MaskD : a tool for measuring masking fault-tolerance 

      Putruele, Luciano; Demasi, Ramiro Adrián; Castro, Pablo Francisco; D'Argenio, Pedro Ruben (2022-03-30)
      We present MaskD, an automated tool designed to measure the level of fault-tolerance provided by software components. The tool focuses on measuring masking fault-tolerance, that is, the kind of fault-tolerance that allows ...