Seguridad y Fiabilidad

de Software
Ingeniera de software

Universidad Catlica Sedes Sapientiae

Marcos Josept Cayatopa Rivera.
Alex Marena Ventura.
..

Presentacin

La construccin de sistemas altamente confiables se ha convertido en un

gran reto para la produccin del software. En la actualidad se hacen necesarias
mejores tecnologas y formalismos para especificar y manejar la fiabilidad y
seguridad. Estas deben ser ms acordes con las complejidades tcnicas propias
de este tipo de sistemas, en los cuales debe evitarse al mximo 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 prcticas 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 tardas del
desarrollo, causando enmaraamiento de cdigo y dificultando el mantenimiento.
Este trabajo monogrfico est estructurado en 3 partes. Luego de la
introduccin, 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.

Introduccin
la mayora de nosotros nos hemos familiarizado con los problemas en las cadas
de computo. Por razones no obvias, algunas veces los sistemas