Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

sistemas criticos

No description
by

Ivan Rodriguez

on 23 November 2012

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of sistemas criticos

Sistemas Críticos Los sistemas críticos son aquellos sistemas que necesitan niveles más altos de confiabilidad. En estos casos, pueden utilizarse técnicas de desarrollo especiales para asegurar que el sistema es seguro, protegido y fiable, por ejemplo aquellos que controlan maquinaria automática, sistemas médicos, centrales de telecomunicaciones o aviones Detección de defectos Prevención de defectos Tolerancia a defectos El proceso de diseño e implementación del sistema debería utilizar aproximaciones al desarrollo del software que ayuden a evitar errores de programación y así minimizar el número de defectos en un programa. Los procesos de verificación y validación se diseñan para descubrir y validar defectos en un programa antes de que éste sea desplegado para su uso. El sistema se diseña para que los defectos o comportamientos inesperados del sistema durante la ejecución sean detectados y gestionados de tal forma que no ocurran fallos de funcionamiento. Validación Identificar perfiles operacionales PERFIL OPERACIONAL:
identifica las clases de entradas al sistema y la probabilidad de que ocurran en un uso normal. Preparar un conjunto de datos de prueba CONJUNTO DE DATOS DE PRUEBA: se crean datos de prueba con la misma distribución con la misma probabilidad de los datos de prueba para los sistemas que se han estudiado. Aplicar pruebas al sistema PRUEBAS AL SISTEMA: se prueba el sistemas con estos datos y se contabiliza el numero y tipo de fallos que ocurren. Calcular la fiabilidad CALCULAR FIABILIDAD: después de tener el numero de fallos significativos se puede calcular la fiabilidad del software y obtener el valor de la métrica de fiabilidad. Garantía de seguridad Establecer niveles de confianza Juicio profesional basado en evidencias Experiencia de la compañía que desarrolla el sistema Diseño sistema Contenido
Estructura
Seguridad del sistema Validación y Verificación Realizar pruebas generales
Conseguir defectos posibles Procesos desarrollo Utilizar pruebas estadísticas
Evaluar la fiabilidad sistema
Adecuación de los casos de prueba sistema Estructura comprensible mantenible Algoritmo, diseño y estructuras de datos Tipos de revisiones para los sistemas críticos Corregir función que se pretende Consistencia código y diseño algoritmo Argumentos de seguridad Demostración por contradicción
Demostrar que la ejecución de un programa no conduce a un estado inseguro
Desarrollan pruebas de corrección
Incrementar la confianza de que el sistema satisfaga requerimientos seguridad y protección Argumentos de confiabilidad y seguridad Luís Eduardo Peña
Iván Camilo Rodríguez Ingeniería de Sistemas
VII semestre
Full transcript