José Eduardo Rivera Calderón

Ingeniería en sistemas computacionales

Taller de fortalecimiento al egreso
Reporte de lectura semana 8
Somerville
13/03/2020
Objetivo:
estudiar los procesos y técnicas para el desarrollo de sistemas ampliamente
confiable y conocerá las buenas prácticas de programación que deben usarse en
la ingeniería de sistemas confiables.
Disertación 1:
La confiabilidad en un programa puede lograrse al evitar la introducción de fallas,
al detectar y eliminar éstas antes de la implementación del sistema, y al incluir
mecanismos de tolerancia a fallas que permitan al sistema permanecer
operacional después de que una falla en el desarrollo causó una falla en la
operación del sistema.
El empleo de redundancia y diversidad en el hardware, los procesos de software y
los sistemas de software es esencial para el desarrollo de sistemas confiables, el
uso de un proceso repetible bien definido es esencial si las fallas en un sistema
tienen que minimizarse.
El proceso debe incluir en todas las etapas actividades de verificación y validación,
desde la definición de requerimientos hasta la implementación del sistema.
Las arquitecturas de sistema confiable son aquellas que se diseñan para
tolerancia a fallas. Existen algunos estilos arquitectónicos que soportan tolerancia
a fallas e incluyen sistemas de protección, arquitecturas de auto monitorización y
programación de inversión.
a diversidad de software es difícil de lograr, ya que es prácticamente imposible
garantizar que cada versión del software sea en verdad independiente la
programación confiable se apoya en la inclusión de redundancia en un programa,
con la finalidad de verificar la validez de las entradas y los valores de las variables
del programa.
Algunas sentencias y técnicas de programación, como enunciados go-to,
apuntadores, recursión, herencia y números de punto flotante, son inherentemente
proclives al error. Hay que tratar de evitar dichos constructos para desarrollar
sistemas confiables.

Disertación 2:
El análisis de riesgos es una actividad importante en la especificación de
requerimientos de seguridad y confiabilidad. Implica la identificación de riesgos
que pueden derivar en accidentes o incidentes.
Entonces se generan requerimientos de sistema para garantizar que dichos
riesgos no ocurran o que, si ocurren, no conduzcan a un incidente o accidente.
Puede usarse un enfoque dirigido por peligros para comprender los requerimientos
de seguridad de un sistema. Se identifican los peligros potenciales y se desglosan
(con métodos tales como el análisis de árbol de fallas) para descubrir sus causas
raíz. Luego se especifican los requerimientos para evitar dichos problemas o
recuperarse de ellos.
Los requerimientos de fiabilidad pueden definirse de manera cuantitativa en la
especificación de requerimientos del sistema.El desarrollo de una especificación
formal es un proceso costoso, puesto que se necesita mucho tiempo para traducir
los requerimientos a un lenguaje formal y comprobar la especificación. La
experiencia demuestra que se puede ahorrar en las pruebas y la verificación del
sistema y, al parecer, especificar un sistema de manera formal no aumenta
significativamente los costos globales de desarrollo. Sin embargo, cambia el
equilibrio de costos, pues se incurre en más costos anticipados en el proceso de
desarrollo.
Referencias:
Ian Sommerville . (2011). Ingenieria del Software. .: Pearson Education.
-Capitulo 13