El error como proceso de Markov no homogéneo : aplicación al análisis de la fiabilidad de los sistemas lógicos

Resumen

El presente estudio constituye un análisis de las técnicas existentes para la modelización de la fiabilidad de los sistemas lógicos y una aportación de nuevas técnicas, aplicables durante la etapa de pruebas de dichos sistemas con el fin de evaluar la evolución de su fiabilidad, y poder determinar el momento óptimo para la finalización de dicha etapa, se han examinado las hipótesis y los fundamentos matemáticos de los modelos mas característicos hoy en uso, estableciéndose un esquema para su clasificación sistemática, y se han desarrollado dos nuevas funciones de fiabilidad.el esquema de clasificación sistemática permite una rápida y sencilla elección del modelo mas apropiado a cada caso en base a las hipótesis básicas sobre las que se formulan los distintos modelos. las nuevas funciones están estrechamente relacionadas entre si y presentan como innovación, frente a modelos anteriores, la posibilidad de considerar que cuando se intenta corregir el defecto que ha ocasionado el fallo de un sistema lógico no siempre se consigue, pudiendo incluso llegar a introducir nuevas causas de fallo la primera función que se presenta, es la denominada en esta tesis función de fiabilidad multinomial exponencial, que representa un modelo unificado ya que engloba otros modelos publicados con anterioridad, pero tiene el inconveniente de ser una función de elevada complejidad matemática, y por tanto de difícil aplicación. La función exponencial ampliada, segunda función desarrollada en esta tesis, es una simplificación de la anterior, pero habiendo conservado sus hipótesis fundamentales, por lo que mejora su aplicabilidad manteniendo un comportamiento muy similar. Se estudian las condiciones en que la función de fiabilidad exponencial ampliada puede sustituir a la función de fiabilidad multinomial exponencial.