CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

FALLUTO : Un model checker para la verificación de sistemas tolerantes a fallas / Edgardo E. Hames.

By: Hames, Edgardo E.
Contributor(s): D'Argenio, Pedro Ruben, 1968- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2009Description: 113 p. : il. ; 30 cm. + 1 CD.Subject(s): Software | Verificación de Programas | Program Verification | Ingeniería de Software | Model Checking | Tolerancia a FallasDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2009. Summary: Muchos equipos informáticos de nuestra vida cotidiana necesitan aplicaciones de alta disponibilidad y otros operan en lugares de difícil acceso. Estos sistemas están sujetos a una variedad de fallas potenciales que pueden corromper o degradar su rendimiento. El model checking es una técnica de verificación formal que, dado un modelo de un sistema y una propiedad requerida, permite decidir automáticamente si la propiedad es satisfecha o no. Este trabajo presenta 1) un lenguaje declarativo para el modelado de fallas, 2) Falluto, una herramienta de model checking para la verificación de sistemas tolerantes a fallas, 3) un método de verificación para dichos sistemas y 4) su aplicación a dos casos de estudios reales en sistemas distribuidos, haciendo uso del lenguaje y la herramienta.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C HAM 1 Available 20088
CD/DVD de datos CD/DVD de datos FaMAF
Secc. Tesis y Trabajos especiales
TE C HAM 1 No para préstamo (Acceso restringido) Copia de resguardo 20088CD
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C HAM ej.2 2 Available 20089
CD/DVD de datos CD/DVD de datos FaMAF
Secc. Tesis y Trabajos especiales
TE C HAM ej.2 2 Available 20089CD
Total holds: 0

Incluye CD.

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2009.

Bibliografía: p.11-114.

Muchos equipos informáticos de nuestra vida cotidiana necesitan aplicaciones de alta disponibilidad y otros operan en lugares de difícil acceso. Estos sistemas están sujetos a una variedad de fallas potenciales que pueden corromper o degradar su rendimiento. El model checking es una técnica de verificación formal que, dado un modelo de un sistema y una propiedad requerida, permite decidir automáticamente si la propiedad es satisfecha o no. Este trabajo presenta 1) un lenguaje declarativo para el modelado de fallas, 2) Falluto, una herramienta de model checking para la verificación de sistemas tolerantes a fallas, 3) un método de verificación para dichos sistemas y 4) su aplicación a dos casos de estudios reales en sistemas distribuidos, haciendo uso del lenguaje y la herramienta.

La biblioteca posee 2 ej.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//