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  : Castillo, I. 1 ; Losavio, F. 2 ; Matteo A. 2 1 UNESUR, 2 UCV  : LV Convención Anual

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

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

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

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

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.

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.

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

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 Sistemas Sistemas de Tráfico Sistemas de comunicación (telefonía, Sistemas Sistemas de Sistemas en Video Juegos

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 Atributos y métricas.

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 : 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

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

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:

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

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)

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

LV Convención Anual LV Convención Anual © AsoVAC 2005, Especificación de la Calidad en los Sistemas Fiables 17 Conclusiones El modelo ISO 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.

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 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 LAPRIE J.C. Dependable computing and fault tolerance: concepts and terminology. In Digest of FTCS , ISO/IEC : Information Technology – Software Product Quality. Part 1: Quality Model

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