Noviembre, 2005 ESPECIFICACIÓN DE LA CALIDAD EN LOS SISTEMAS FIABLES (Quality Specification of Dependable Systems) ESPECIFICACIÓN DE LA CALIDAD EN LOS.

Presentación del tema: "Noviembre, 2005 ESPECIFICACIÓN DE LA CALIDAD EN LOS SISTEMAS FIABLES (Quality Specification of Dependable Systems) ESPECIFICACIÓN DE LA CALIDAD EN LOS."— Transcripción de la presentación:

1 Noviembre, 2005 ESPECIFICACIÓN DE LA CALIDAD EN LOS SISTEMAS FIABLES (Quality Specification of Dependable Systems) ESPECIFICACIÓN DE LA CALIDAD EN LOS SISTEMAS FIABLES (Quality Specification of Dependable Systems) Castillo, I. 1 ; Losavio, F. 2 ; Matteo A. 2 1 UNESUR, 2 UCV  : castilloi@unesur.edu.ve Castillo, I. 1 ; Losavio, F. 2 ; Matteo A. 2 1 UNESUR, 2 UCV  : castilloi@unesur.edu.ve LV Convención Anual

2 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 2 Agenda Objetivo Introducción @ Sistemas Fiables @ Modelo de Calidad ISO/IEC 9126-1 Modelo de Calidad para Sistemas Fiables Conclusiones

3 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 3 Agenda Objetivo Introducción @Sistemas Fiables @Modelo de Calidad ISO/IEC 9126-1 Modelo de Calidad para Sistemas Fiables Conclusiones

4 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 4 Objetivo Especificar la calidad de los Sistemas Fiables mediante la definición de un modelo de calidad basado en el estándar ISO/IEC 9126-1.

5 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 5 Agenda Objetivo Introducción @ Sistemas Fiables @ Modelo de Calidad ISO/IEC 9126-1 Modelo de Calidad para Sistemas Fiables Conclusiones

6 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 6 Introducción SISTEMAS FIABLES: Son todos aquellos sistemas capaces de entregar un servicio que ha sido previamente confiado o acordado. Los Sistemas Fiables (SF) se fundamentan en el concepto de fiabilidad o “ Dependability ” como propiedad principal.

7 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 7 Introducción Fiabilidad o “Dependability”: Término cualitativo para describir la confianza en la habilidad de un sistema de computación, para la entrega de un servicio esperado (aún en presencia de fallas o “faults”). Habilidad para evitar frecuentes y severas faltas (“failures”) del servicio.

8 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 8 Introducción Fiabilidad o “Dependability”: viene expresada a través de las siguientes propiedades de calidad: Fiabilidad Disponibilidad Confidencialidad Seguridad/Resguardo Confiabilidad Integridad Mantenibilidad

9 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 9 Introducción Algunos Ejemplos SISTEMAS FIABLES: @ Sistemas E-Commerce @ Sistemas de Tráfico Aéreo @ Sistemas de comunicación (telefonía, Internet) @ Sistemas bancarios @ Sistemas de Defensa @ Sistemas en electrodomésticos @ Video Juegos

10 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 10 Introducción Modelo de Calidad: Los modelos de calidad estructuran descripciones fiables y comprensibles de la calidad de los sistemas y proporcionan una jerarquía de factores de calidad del software: @ Características, @ Subcaracterísticas, @ Atributos y métricas.

11 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 11 Introducción Estándar ISO/IEC 9126-1: jerarquía de características y subcaracterísticas Funcionalidad Confiabilidad Usabilidad Eficiencia Mantenibilidad Portabilidad Conveniencia Exactitud Interoperabilidad Seguridad Conformidad- Funcionalidad Madurez Tolerancia a Fallas Recuperabilidad Conformidad- Confiabilidad Comprensibilidad Facilidad de Aprendizaje Operabilidad Atractividad Conformidad- Usabilidad Comportamien to en el tiempo Utilización de recursos Conformidad- Eficiencia Facilidad de análisis Facilidad de cambios Estabilidad Facilidad de Pruebas Conformidad- Mantenibilidad Adaptabilidad Instalabilidad Co-existencia Remplazabilidad Conformidad- Portabilidad

12 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 12 Agenda Objetivo Introducción @Sistemas Fiables @Modelo de Calidad ISO/IEC 9126-1 Modelo de Calidad para Sistemas Fiables Conclusiones

13 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 13 Modelos de Calidad para los SF Especificación propuesta:

14 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 14 Modelos de Calidad para los SF Especificación propuesta: Funcionalidad Confiabilidad Eficiencia Mantenibilidad Portabilidad Exactitud Interoperabilidad Confidencialidad (S) Integridad (S) Madurez Tolerancia a Fallas Recuperabilidad Comportamien to en el tiempo Utilización de recursos Facilidad de cambios Estabilidad Adaptabilidad Co-existencia

15 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 15 Modelos de Calidad para los SF Especificación propuesta: caso particular Sistemas E-Commerce Funcionalidad Confiabilidad Eficiencia Mantenibilidad Portabilidad Exactitud (GRADO DE PRECISION) Interoperabilidad (PRESENCIA DE MECANISMOS) Confidencialidad- Integridad (PRESENCIA DE MECANISMOS) Madurez (TIEMPO MEDIO DE FALLO) Tolerancia a Fallas (PRESENCIA DE MECANISMOS) Recuperabilidad (TIEMPO MEDIO DE RECUPERACION) Comportamiento en el tiempo (TIEMPO DE RESPUESTA) Utilización de recursos (TIEMPO/ ESPACIO) Facilidad de cambios (PRESENCIA DE MECANISMOS DE CAMBIO) Estabilidad (GRADO DE RIESGO) Adaptabilidad (PRESENCIA DE MECANISMOS ADAPTACIÓN) Co-existencia (PRESENCIA DE MECANISMOS FACILIDAD DE COEXISTENCIA)

16 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 16 Agenda Objetivo Introducción @Sistemas Fiables @Modelo de Calidad ISO/IEC 9126-1 Modelo de Calidad para Sistemas Fiables Conclusiones

17 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 17 Conclusiones El modelo ISO 9126-1 especificado para los SF, puede ser utilizado para la evaluación de un SF con respecto a sus requisitos de calidad. La especificación de un modelo de calidad permite identificar requisitos de software y objetivos de diseño. Los modelos de calidad permiten identificar criterios de aseguramiento de la calidad en los productos de software. Los modelos de calidad permiten identificar criterios de aceptación para el producto de software completado. Este estudio se enmarca en la adaptación de un proceso de Ingeniería de Requisitos para el dominio de los Sistemas Fiables y la correspondiente identificación de propiedades no funcionales.

18 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 18 Referencias AVIZIENIS A., LAPRIE J_C. y RANDELL B. Fundamental Concepts of Dependability. Technical report, LAAS CNRS, Octubre 2000. AVIZIENIS A., LAPRIE J_C., RANDELL B. y LANDWEHR C. Basic concepts and taxonomy of dependable and secure computing. IEEE Transaction on dependable and Secure Computing Vol. 1, issue 1, pp 11-33, IEEE 2004. LAPRIE J.C. Dependable computing and fault tolerance: concepts and terminology. In Digest of FTCS-15. 1985, 2-11. ISO/IEC 9126-1: Information Technology – Software Product Quality. Part 1: Quality Model. 2001....

19 LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 19 Preguntas ¿?