Seguridad y Fiabilidad de

Software
Ingeniería de software

Universidad Católica Sedes Sapientiae

Marcos Josept Cayatopa Rivera.

Alex Marena Ventura.

…………..

……………
Presentación

La construcción de sistemas altamente confiables se ha convertido en un

gran reto para la producción del software. En la actualidad se hacen necesarias
mejores tecnologías y formalismos para especificar y manejar la fiabilidad y
seguridad. Estas deben ser más acordes con las complejidades técnicas propias
de este tipo de sistemas, en los cuales debe evitarse al máximo la ocurrencia de
fallas, faltas y errores; por otra parte estos sistemas deben responder a cambios
en su entorno y en los requisitos de los usuarios. Durante el desarrollo de los
sistemas de software, resulta de gran importancia el manejo de un conocimiento
claro y preciso sobre los principales elementos conceptuales asociados al dominio
del sistema.

Las prácticas de desarrollo de software actuales solo tienden a consideran

los requisitos funcionales desde las primeras etapas del ciclo de vida de los
productos de software, relegando los no funcionales a etapas tardías del
desarrollo, causando enmarañamiento de código y dificultando el mantenimiento.

Este trabajo monográfico está estructurado en 3 partes. Luego de la

introducción, en la 1° parte se introduce brevemente el contexto dentro del cual se
enmarca el trabajo, en particular se presenta y define un sistema fiable y seguro.
La 2° parte describe el modelo conceptual propuesto. Para finalizar, en la 3° parte
se presentan las conclusiones sobre el trabajo realizado.
Introducción

la mayoría de nosotros nos hemos familiarizado con los problemas en las caídas
de computo. Por razones no obvias, algunas veces los sistemas