Modelos para la Estimación de Disponibilidad

en Redes de Fibra óptica

Juan Nehuen Gonzalez Montoro Renato Cherini
Jorge Manuel Finochietto
17 de agosto de 2016

Laboratorio de Comunicaciones Digitales

LCD EFN UNC Facultad de Ciencias Exactas, Físicas y Naturales
Universidad Nacional de Córdoba, Argentina
Índice
1. Confiabilidad y disponibilidad 3
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Disponibilidad lı́mite de un sistema monolı́tico . . . . . . . . . . 4
1.3. Disponibilidad lı́mite de un sistema compuesto . . . . . . . . . . 5

2. Cálculo de disponibilidad 8
2.1. Reducción serie/paralelo . . . . . . . . . . . . . . . . . . . . . . . 9
2.2. Factorización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Cadenas de Markov . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3.1. Transiciones conjuntas . . . . . . . . . . . . . . . . . . . . 14
2.4. Simulación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.5. Combinación de modelos . . . . . . . . . . . . . . . . . . . . . . . 19

3. Implementación: paquete fopnet 19

3.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

2
1. Confiabilidad y disponibilidad
1.1. Introducción
Consideremos los sistemas que pueden estar en dos estados: en servicio y
fuera de servicio (online y offline respectivamente). La confiabilidad y dispo-
nibilidad de un sistema tal, son medidas relacionadas a la probabilidad que el
sistema se encuentre en servicio. Estos conceptos estan ı́ntimamente relaciona-
dos y algunas veces se los confunde. Por ello consideramos pertinente incluir
una definición precisa de ambos términos.

Confiabilidad. La confiabilidad de un sistema se define como su capacidad de

estar en servicio durante un periodo de tiempo dado, de forma ininterrumpida.
Matemáticamente, la confiabilidad R(t) de un sistema S, desde el instante 0
hasta el instante t se expresa como:

R(t) = Pr(S está en funcionaminto continuo durante [0, t])

La confiabilidad R(t) es una función continua, monótona y decreciente. Nor-

malmente se asume que que ningún sistema puede funcionar eternamente, y por
lo tanto lı́mt→∞ R(t) = 0.

Disponibilidad. La disponibilidad instantánea, o disponibilidad puntual, A(t)

de un sistema S se define como la probabilidad que el sistema esté en servicio en
un instante t determinado sin importar el número de veces que ha estado fuera
de servicio (por fallas, interrupciones, etc.) durante el periodo (0, t). Se expresa
como:

A(t) = Pr(S está en funcionamiento en t)

Si el sistema no es reparable, entonces A(t) = R(t). Para el caso de sistemas
reparables la disponibilidad tiene un aspecto tı́pico como el que se muestra en
la figura 1.
La disponibilidad instantánea es una función continua. El valor A definido
por la siguiente ecuación:
A = lı́m A(t)
t→∞

es conocido como la disponibilidad lı́mite o disponibilidad de estado estable.

El valor de A es de gran interés ya que es representativo de la disponibilidad
observable del sistema.

Figura 1: Disponibilidad en función del tiempo (comportamiento tı́pico).

3
 Figura 2: Estado de un sistema en función del tiempo.

1.2. Disponibilidad lı́mite de un sistema monolı́tico

Para un sistema que puede ser reparado, es esperable que a lo largo del
tiempo el estado del sistema alterne entre sus dos estados de servicio. Para cada
evento de falla i que lleva al sistema a estar fuera de lı́nea, podemos definir
el tiempo de reparación titr como el tiempo que lleva reparar el sistema de
forma que esté nuevamente en lı́nea. Ası́ mismo, para cada evento de reparación,
podemos definir el tiempo hasta la falla titf como el tiempo en que el sistema
permanecerá en linea hasta el próximo evento de falla. Para un evento de falla,
la suma de estos dos tiempos es el tiempo entre fallas (tibf ). Podemos graficar
el estado de un sistema a lo largo de tiempo como en la figura 2.
Cuando consideramos un perı́odo de tiempo largo, en el que ocurren múlti-
ples eventos de falla y reparación, podemos estimar el tiempo medio hasta la
falla (MTTF1 ), el tiempo medio de reparación (MTTR2 ) y el tiempo medio
entre fallas (MTBF3 ) como las respectivas esperanzas:
PM i
i=0 ttf
MTTF = E(ttf ) =
M
PM i
t
MTTR = E(ttr ) = i=0 tr
M
PM i
i=0 ttbf
MTBF = E(ttbf ) =
M
donde ademas se cumple que MTBF = MTTF + MTTR.
Supongamos que la ocurrencia de eventos de falla sigue una distribución
exponencial f (t), y de manera análoga, la ocurrencia de eventos de reparación
sigue otra distribución exponencial independiente r(t) dadas por las ecuaciones:
f (t) = λF e−λF t r(t) = λR e−λR t
Entonces es posible modelar el comportamiento del sistema por dos procesos de
Poisson con tasas de fallas y reparación λF y µR respectivamente, dadas por:

1
λF =
MTTF
1
µR =
MTTR

1 Del inglés Mean Time To Failure.

2 Del inglés Mean Time To Repair.
3 Del inglés Mean Time Between Failures.

4
Ası́ la disponibilidad instantánea puede caracterizarse como:
µR λF
A(t) = + e−(µR +λF )t
λR + λF µR + λF

De esta manera, podemos calcular la disponibilidad (lı́mite) del sistema como:

A = lı́m A(t)
t→∞
µR
=
µR + λF
MTTF
=
MTTF + MTTR
MTTF
= (1)
M T BF

La suposición que los eventos de falla y reparación responden a

procesos de Poisson es necesaria para la aplicación de los modelos
para el cómputo de la disponibilidad que presentamos en la sección
siguiente. La validez de los resultados dependen de esta suposición
y de la exactitud de los parámetros de MTTF y MTTR.

1.3. Disponibilidad lı́mite de un sistema compuesto

Para un sistema caracterizado por sus MTTF y MTTR siempre es posible
calcular la disponibilidad utilizando la ecuación 1. Sin embargo un sistema como
una red de fibra óptica no puede modelarse como un único sistema con MTTF y
MTTR conocidos, sino como una red de componentes (tramos de fibra, equipos
ópticos, equipos de soporte, etc.) cuyos estados de operación y sus relaciones
definen el estado de servicio del sistema total. Lo habitual es que cada compo-
nente esté caracterizado por su propio MTTF y MTTR, permitiendo calcular
la disponibilidad del sistema en función de ellos.
Siguiendo la abstracción propuesta en [3], representamos un sistema com-
puesto con un grafo de disponibilidad, cuyos arcos representan cada componente
y los nodos representan las relaciones entre ellos. Un arco dirigido de la forma:

representa un componente i, cuya disponibilidad lı́mite Ai afecta la disponibi-

lidad del sistema dependiendo del estado de servicio de los componentes que lo
preceden (dados por el subgrafo inducido por el nodo nin ). Si Ain es la dispo-
nibilidad del subsistema que precede al componente i, la disponibilidad lı́mite
Aout luego de considerarlo cumple la relación lineal:

Aout = Ai Ain (2)

El grafo de disponibilidad representa las formas en que los estados de servicio

de cada componente impactan en el estado de servicio del sistema total. Mas
especı́ficamente, dados un nodo origen o y un nodo destino d, cada camino

5
 Figura 3: Nodos en un grafo de disponibilidad

(dirigido) entre o y d representa una serie de componentes tales que si todos

están en servicio, el (sub)sistema determinado entre o y d está en servicio.
Los nodos del grafo modelan todo tipo de relaciones. A continuación se
muestran algunos casos simples que se representan gráficamente en la figura 3.

Serie: Dos componentes están en serie cuando el estado conjunto es en servicio

si y solo si ambos están en servicio.

Paralelo: Dos componentes están en paralelo cuando es suficiente que uno de

los dos esté en serivicio para que el conjunto esté en servicio.

Puente: Existen relaciones que no pueden representarse como combinaciones

de series y paralelos. Se los denomina puentes.

En virtud de la ecuación 2, la disponibilidad de cada camino puede calcularse

como el producto de las disponibilidades de cada componente. La disponibilidad
del (sub)sistema determinado por o y d es una función de las disponibilidades
de todos los caminos disponibles entre o y d. Sin embargo esa función no es
simple, dado que los caminos pueden ser interdependientes (y por lo tanto sus
disponibilidades también lo son). La dependencia entre caminos puede darse
por dos motivos. Por un lado dos caminos son dependientes cuando comparten
al menos un mismo arco. Por otro lado, como un único componente puede
representarse por más de un arco, dos caminos pueden ser dependientes cuando
tienen al menos un arco que representa a un componente común.
A continuación damos algunos ejemplos que muestran como representar di-
versos sistemas con un grafo de disponibilidad.

6
Ejemplo 1
Supongamos que queremos modelar una red de fibra óptica que posee dos
tramos de fibra F1 y F2 unidos por un sitio S1 con algun equipo óptico. El
esquema del sistema se muestra a continuación:

Para que exista servicio entre el origen y el destino es necesario que los tres
componentes se encuentren en servicio. Por lo tanto, un grafo de disponibili-
dad que modela este sistema consiste en un conjunto de tres arcos en serie. A
continuación se representa el grafo con las disponibilidades de cada componente:

Ejemplo 2
Supongamos ahora que agregamos redundancia a la red anterior entre el sitio
S1 y el destino, incorporando dos tramos de fibra optica F3 y F4 comunicadas
por un sitio S2 como se muestra a continuación:

Existen ahora dos posibles configuraciones que dan servicio al sistema entre
el origen y el destino. Cuando F1 , S1 y F2 están en servicio, y cuando F1 , S1 ,
F3 , S2 y F4 están en servicio. Ası́ un grafo de disponibilidad que representa esta
situación es el siguiente:

7
Ejemplo 3
Supongamos ahora que agregamos aún más redundancia, incorporando un
tramo de fibra óptica F5 entre el origen y el sitio S2 , como se muestra a conti-
nuación:

Las posibilidades de que exista servicio entre el origen y el destino se mul-

tiplican a cuatro. A las mencionadas anteriormente se le agregan: cuando F5 ,
S2 y F4 están en servicio, y cuando F5 , S2 , F3 , S1 y F2 están en servicio. Este
sistema puede modelarse entonces con el siguiente grafo:

Notar que el componente F3 se modela en el grafo como dos arcos. Este caso es
imposible de representar por un grafo que no contenga al menos un componente
representando por más de un arco.

2. Cálculo de disponibilidad
Proponemos cuatro modelos para dar solución al problema de calcular la
disponibilidad de un sistema: reducción serie/paralelo [1, 2], factorización [3],
cadenas de Markov [1, 2] y simulación [1, 2]. Los modelos resuelven el problema
de la posible dependencia entre los caminos que caracterizan el estado de servicio
del sistema. Además, se incluyen caracterı́sticas que permiten modelar algunas
de las condiciones especı́ficas y relajar algunas de las condiciones mencionadas
en la sección anterior.
Los modelos de cadenas de Markov y simulación incorporan la posibilidad de
considerar componentes cuyos eventos de reparación son conjuntos en lugar de
independientes. Esto permite modelar la posibilidad de reparar simultáneamente
todo el equipamiento que se encuentra en un mismo lugar fı́sico. El modelo de
simulación permite incorporar eventos discretos que desplazan la ocurrencia de
eventos de falla. Esto permite modelar por ejemplo la presencia de un banco de
baterı́as que retrasan la caı́da de servicio por ausencia de energı́a de lı́nea.

8
 Los modelos toman como entrada una representación del sistema como un
grafo de disponibilidad (según se describe más abajo) y los nodos origen y des-
tino entre los cuales se desea calcular la disponibilidad. El modelo de reducción
serie/paralelo no siempre encuentra una solución final, pero puede devolver un
grafo reducido que modela el sistema. El resto de los modelos siempre encuentra
un resultado definitivo.

Grafo de disponibilidad. Se representa al sistema bajo estudio mediante

un grafo G = (V, E), donde los arcos e ∈ E representan a los componentes del
sistema y los nodos v ∈ V las relaciones entre los mismos. Los nodos no poseen
ningún atributo mientras que los arcos cuentan con los siguientes atributos:

Id: Es la identificación de componente. Todos los arcos relacionados a un

mismo componente comparten el Id. Si un componente es representado
por un sólo arco, entonces decimos que el arco es único.
MTTF: Es el dato estádistico del tiempo medio entre fallas. Este atributo
es obligatorio para la solución por los modelos de cadenas de Markov y de
simulación.
MTTR: Es el dato estádistico del tiempo medio de reparación. Este atri-
buto es obligatorio para la solución por cadenas de Markov y por simula-
ción.
A: Es la disponibilidad lı́mite del componente. Puede ser calculada según
la ecuación 1 bajo la suposición de independencia de los procesos de falla
y reparación. Este atributo es una probabilidad y como tal debe ser un
número real 0 ≤ A ≤ 1.
Delay: Es un atributo que permite incluir desplazamientos determinı́sticos
en los eventos de falla de un componente, en el modelo de simulación.
Groups: Determina los grupos de componentes sujetos a reparación con-
junta. Cada componente puede pertenecer a más de un grupo, por lo tanto
este atributo es en realidad un a lista de grupos a los que pertenece. A
cada grupo se le asigna un parámetro α con 0 ≤ α ≤ 1.

Los tres atributos temporales deben respetar una base de tiempo común.
En el caso de componentes representados en el grafo por más de un arco, es
necesario que todos los atributos tengan los mismos valores.

2.1. Reducción serie/paralelo

Un conjunto de N arcos únicos en serie pueden ser remplazados por un único
arco cuya disponibilidad es la multiplicación de las disponibilidades individuales:
N
Y
Aserie = Ai (3)
i=1

9
 Un conjunto de N arcos únicos en paralelo pueden ser remplazados por
un único elemento cuya disponibilidad es uno menos la multiplicación de las
no-disponibilidades individuales:
N
Y
Aparalelo = 1 − (1 − Ai ) (4)
i=1

Estas dos propiedades permiten reducir un grafo mediante la sustitución de

redes serie/paralelo por arcos más simples. Es importante remarcar que única-
mente es aplicable la reducción sobre arcos que son únicos en el grafo, y cuando
los nodos internos de la red no son el nodo origen ni destino. Si existe un com-
ponente representado por más de un arco, estos no pueden ser reducidos por
serie/paralelo.
Dado un grafo de disponibilidad, un nodo origen y un nodo destino, el mo-
delo de reducción serie/paralelo consiste en realizar sucesivamente las siguientes
simplificaciones:

1. Eliminar del grafo todo nodo de grado 1 y el arco correspondiente, que

no sea ni el nodo origen ni el nodo destino. Tales arcos no pueden nunca
influir en la disponibilidad del sistema.

2. Por cada nodo de grado dos, con un predecesor y un sucesor que son arcos
únicos, que no sea el nodo origen o el nodo destino remplazar sus arcos
adyacentes por un único arco cuya disponibilidad es la multiplicación de
los arcos remplazados, como indica la ecuación 3.
3. Por cada par de nodos que posean más de un arco único que los conecte,
remplazar dichos arcos por un único arco cuya disponibilidad responde a
la formula 4.

El proceso termina cuando no es posible continuar realizando ninguna sim-

plificación. Si el resultado es un grafo con un solo arco, la disponiblidad es
entonces la disponibilidad de tal arco. Para grafos no reducibles, el resultado
será un grafo que combine formaciones de tipo puente. Puede utilizarse este gra-
fo reducido como una representación del sistema original, y resolver el problema
de la disponibilidad utilizando el modelo de factorización (sec. 2.2).
A continuación presentamos la solución encontrada por este método a los
ejemplos 1 y 2 presentados anteriormente. El ejemplo 3 no puede ser simplificado
con este método y será resuelto en la sección 2.2.

Ejemplo 1

10
Ejemplo 2

2.2. Factorización
Sean:

S el sistema fomado por N componentes sujeto a análisis.

G el grafo de disponibilidad que representa a S.

Ai la disponibilidad lı́mite del componente i.
o, d el nodo origen y el nodo destino.
H(G, o, d) una la función que calcula para cada cada grafo, origen y destino
la disponibilidad lı́mite.

El teorema de factorización, establece que la función H satisface la siguiente

propiedad:

H(G, o, d) = Ai H(G|Ai =1 , o, d) + (1 − Ai )H(G|Ai =0 , o, d)

donde con G|Ai =x denotamos la sustitución de la disponibilidad Ai en los arcos

que representan al componente i en el grafo G por el valor x.
Si se aplica este resultado recursivamente para cada Ai , se obtiene una ex-
presión de la disponibilidad en términos de las disponibilidades individuales. La
función H(G, o, d) es conocida para los tres casos base posibles que aseguran el
fin de la recursión, y que se muestran a continuación:

Este método permite resolver cualquier grafo de disponibilidad en el cual las

diponibilidades lı́mite son conocidas. A continuación mostramos la solución del
ejemplo 3.

11
Ejemplo 3

La reducción recursiva de H se muestra a continuación:

12
 Aplicar la factorización sobre grafos requiere una transformación del mismo,
que computacionalmente puede ser costosa. Para disminuir esta carga se puede
realizar un proceso análogo sobre una expresión booleana equivalente al grafo.
Cada camino dentro del grafo que caracteriza el estado en servicio del sis-
tema puede representarse como la expresión booleana que es la conjunción de
de variables proposicionales, cada una de las cuales representa a cada arco. La
disjunción de expresiones de este estilo representa al conjunto de todos los ca-
minos. La expresion booleana final representa entonces las condiciones para que
el sistema este en servicio.
En una expresión booleana, el reemplazo de la disponibilidad de un com-
ponente por un valor, es simplemente el reemplazo sintáctico de la variable
proposicional que lo representa por tal valor. Esto representa una clara ventaja
por sobre la sustitución en grafos. Mas aún, solo es necesario calcular la expre-
sión booleana para los caminos que no contienen ciclos. Un camino con ciclos
no aporta más disponibilidad que aquel camino que no los contiene.
Se propone entonces el siguiente procedimiento para resolver el problema de
disponibilidad mediante factorización:

1. Obtener los caminos disponibles entre el nodo origen y el nodo destino.

Por defecto, se consideran como caminos disponibles los caminos mı́nimos.
2. Construir la expresión booleana que representa tales caminos (y por lo
tanto al sistema).

3. Aplicar recursivamente el método de la factorización sobre la expresión

booleana.

2.3. Cadenas de Markov

Un sistema formado por N componentes que pueden asumir dos estados (en
servicio, fuera de servicio) posee, tomado en su conjunto, como máximo 2N
configuraciones posibles. Cada una de estas configuraciones deriva en que el sis-
tema esté en servicio o fuera de servicio. Enumerando todos los posibles estados
y encontrando la probabilidad de estar en cada uno de ellos se puede obtener el
valor de la disponibilidad total como la sumatorı́a de las probabilidades de las
configuraciones que dan servicio.
Si se representa el sistema como un proceso estocástico X(t) que puede tomar
cualquiera de las 2N configuraciones posibles, y la probabilidad que esté en la
configuracion i en el tiempo t sólo depende del estado anterior, entonces se lo
denomina cadena de Markov.
El objetivo del análisis de cadenas de Markov es encontrar la probabili-
dad de que el sistema se encuentre en la configuración j en el instante t:
πj (t) = P r(X(t) = j), y su representación vectorial π(t) = [π0 (t), π1 (t), ...].
Sea Pij la probabilidad de transición de la configuración i a la configuración
j:
Pij (t − u) = P r[X(t) = j|X(u) = i]]
Tomemos Pij (t) como la probabilidad de transición de configuración para u = 0.
Sea P(t) la matriz de transiciones de configuración:

P(t) = [Pij (t)]

13
Por tratarse de una cadena de Markov, se cumple que:

π(t) = π(u)P(t − u)

En las cadenas de Markov de tiempo continuo se cumple que:

d π(t)
= π(t)Q
dt
donde las componentes qij de Q satisfacen:

Pij (∆t) − δij

qij = lı́m
∆t→0 ∆t
con δij = 1 si i = j, y δij = 0 si i 6= j. Si el lı́mite existe entonces se cumple:

πQ = 0 πe = 1

Estas últimas dos ecuaciones son las que nos permiten encontrar π. Para la
construcción de Q se toman las siguientes aproximaciones:

Pij (∆t)
qij ≈ i 6= j
∆t
Pii (∆t) − 1
qii ≈
∆t
Se interpreta entonces qij como la tasa con la que se pasa de la configuración
i a la configuración j, y −qii la tasa con la que se pasa de la configuración i
a cualquier otra. Los valores qij pueden entonces ser calculados en base a los
λ = 1/M T T F y µ = 1/M T T R de cada componente, dependiendo de que se
trate de una transición de falla o de reparación respectivamente.

2.3.1. Transiciones conjuntas

La mayor ventaja de las cadenas de Markov frente a los otros modelos es
la posibilidad de considerar transiciones de configuraciones en las que más de
un componente cambia su estado, a las que denominamos transiciones conjun-
tas. A las transiciones en las que un único componente cambia su estado las
denominamos entonces transiciones simples.
Si se supone que la probabilidad que dos componentes fallen exactamente
en el mismo instante es baja, entonces las transiciones en las que dos o más
componentes pasen de estado en servicio al estado fuera de servicio pueden ser
despreciadas. Sin embargo sı́ es posible que dos componentes sean reparados
en el mismo momento. Por ejemplo, dos equipos fuera de servicio situados en
el mismo sitio son reparados por la misma cuadrilla que se traslada hasta el
lugar. Estas transiciones son interesantes porque reflejan eventos de reparación
conjunta.
Para modelar estas transiciones de reparación conjunta, los arcos del grafo de
disponiblidad incoporan un atributo “Groups”. Este atributo agrupa diferentes
componentes, de manera que si en algún momento hay dos componentes de un
mismo grupo fuera de servicio, entonces existe una transición en la que estos dos
elementos son reparados con una tasa diferente a la de reparación de cada uno de

14
ellos. Un componente puede pertenecer a diferentes grupos, y si se existiera una
configuración con múltiples tasas de reparación conjunta, prevalece la menor.
La configuración destino de la transición de reparación conjunta es aquella en la
que sólo cambian los estados de los componentes del grupo cuyo estado inicial
es fuera de servicio.
Un grupo puede incorporar múltiples componentes, y la tasa de reparación
conjunta dependerá de los que están fuera de servicio. Supongamos que el grupo
3 tiene 3 elementos {c0 , c1 , c2 } y cada uno tiene una tasa de reparación simple
{µ0 , µ1 , µ2 }. El grupo tiene aociado el parámetro α3 . Existen entonces cuatro
casos de reparación conjunta y para cada uno de ellos se calcula la tasa conjunta
como una función de las tasas de reparación intervinientes. La siguiente tabla
resume esta información, donde con 0 se indica que el componente (o sistema)
está fuera de servicio, y con 1 que está en servicio:
origen c0 c1 c2 destino c0 c1 c2 µconjunta
1 0 0 0 8 1 1 1 f (α3 , µ0 , µ1 , µ2 )
2 0 0 1 8 1 1 1 f (α3 , µ0 , µ1 )
3 0 1 0 8 1 1 1 f (α3 , µ0 , µ2 )
5 1 0 0 8 1 1 1 f (α3 , µ1 , µ2 )
La función f (α, µi , ...) depende del tipo de interacción. Proponemos una
función que depende de la mı́nima de las tasas y α es una penalidad que varı́a
entre 0 y 1 asociada al grupo:
f (α, {µi }) = α Min{µi } (5)

Ejemplo 4
Supongamos que queremos calcular la disponibilidad de un sitio que cuenta
con un equipo óptico OLT, energı́a electrica de lı́nea PWR LINE y un generador
PWR GENERATOR, de manera que estos dos últimos pueden ser reparados en
forma conjunta. El sistema se representa a continuación:

Las tasas de falla y reparación independientes de cada componente están dadas

por las siguientes ecuaciones:
λP T = 0, 0008 µP T = 0, 2
λP G = 0, 0011236 µP G = 0, 3333
λOT = 0, 0014286 µOT = 0, 25
En la siguiente tabla se resumen las configuraciones, y se marcan en verde
aquellas en las que el sistema se encuentra en servicio.

15
 Configuración no PT PG OT Sistema
1 0 0 0 0
2 0 0 1 0
3 0 1 0 0
4 0 1 1 1
5 1 0 0 0
6 1 0 1 1
7 1 1 0 0
8 1 1 1 1
Las transiciones entre las configuraciones incluyen las transiciones simples y la
transición conjunta que refleja la reparación conjunta µconjunta de PWR LINE
y PWR GENERATOR. Esta transción se calcula con la ecuación 5:
µconjunta = α Min{µP G , µP T } = αµP T
Las transiciones entre configuraciones se grafican en el siguiente diagrama, donde
se identifica µconjunta con color celeste.

Las transiciones entre configuraciones se resumen en la siguiente matriz Q:

 
q11 µOT µP G 0 µP T 0 αµP T 0
 λOT q22 0 µPG 0 µP T 0 αµP T 
 
 λP G 0 q33 µOT 0 0 µP T 0 
 
 0 λP G λOT q44 0 0 0 µP T 
Q=  λP T

 0 0 0 q55 µOT µP G 0  
 0 λ PT 0 0 λOT q66 0 µP G 
 
 0 0 λP T 0 λP G 0 q77 µOT 
0 0 0 λP T 0 λP G λOT q88

16
donde
q11 = −(µOT + µP G + µP T + αµP T ) q22 = −(λOT + µP G + µP T + αµP T )
q33 = −(λP G + µOT + µP T ) q44 = −(λP G + λOT + µP T )
q55 = −(λP T + µOT + µP G ) q66 = −(λP T + λOT + µP G )
q77 = −(λP T + λP G + µOT ) q88 = −(λP T + λP G + λOT )

Resolviendo X
πQ = 0 , πi = 1
i
se obtiene la disponibilidad A como:
A = π8 + π6 + π4 = 0,988729

2.4. Simulación
Este modelo consiste en una simulación por eventos discretos, donde cada
componente genera eventos de falla y de reparación. Cada evento es un cambio
en el estado individual del componente. El tiempo del próximo evento (ya sea de
falla o de reparación) se determina de forma aleatoria siguiendo una distribución,
que puede ser exponencial o cualquier distribución que se ajuste a los datos
estadı́sticos. Sin embargo dado que los datos con los que se cuenta son los valores
de MTTF y MTTR individuales se restringen las distribuciones a la exponencial
y a la de Weibull.
En cada evento se evalúa el estado general del sistema. A partir de la repre-
sentación del sistema por el grafo de disponibilidad es posible determinar cómo
el estado de cada uno de los componentes redunda en el estado de servicio del
sistema. Ası́ es posible llevar cuenta de la cantidad de tiempo tservicio en que el
sistema se encuentra en servicio. Una vez finalizada la simulación luego de un
tiempo tsimulado , se puede obtener el valor de la disponibilidad como:
tservicio
A=
tsimulado
Es posible simular además ciertos desplazamientos temporales de tipo deter-
minı́sitico. Si el componente i tiene asociado un delay t, cada evento de falla se
posterga t unidades de tiempo. Además, si el componente i pertenece a un grupo
de reparación conjunta, un evento para su reparación no solo cambia su estado
sino tambien cambia el estado de cualquier otro componente perteneciente al
grupo que se encuentre fuera de servicio.
El fin de la simulación queda determinado por la convergencia del valor de
disponibilidad calculado dentro de un intervalo de confianza.
El modelo de simulación puede resumirse en el siguiente procedimiento:
Cada componetne genera eventos de falla y reparación según una distri-
bución que toma como parámetros su MTTF y MTTR.
En cada evento se evalúa el estado de servicio del sistema.
Se lleva registro del tiempo total de servicio.
Cuando la disponibilidad lı́mite queda dentro del intervalo de confianza,
la simulación finaliza.

17
Ejemplo 5
Supongamos que queremos modelar un sitio que cuenta con un equipo óptico
OLT, energı́a eléctrica de lı́nea PWR LINE y un equipo de baterias BAT para
soportar fallas de energı́a. A continuación mostramos un esquema del sitio, los
valores de MTTF y MTTR de los componentes y el correspondiente como grafo
de disponibilidad.

La ocurrencia de los eventos de falla y reparación para cada componente están

dados por las siguientes ecuaciones:
1
ttf,OT = − ln(u)
λOT
1
ttr,OT =− ln(u)
µOT
1
ttf,P L =− ln(u)
λP L
1
ttf,P L =− ln(u)
µP L
donde u = U (0, 1). Luego de un tiempo ttotal de simulación, la disponibilidad
lı́mite encontrada es:
Pi
tservicio tsi
AT = = = 0, 991058
ttotal ttotal
A continuacuón se presenta un esquema que muestra el paso del tiempo y la
ocurrencia de eventos de falla y reparación de los componentes, y el estado de
servicio del sistema correspondiente.

18
2.5. Combinación de modelos
Supongamos que tenemos una red de fibra óptica que en el origen posee
un sitio S3 como el descripto en el ejemplo 4, en el destino un sitio S4 como
el del ejemplo 5, y uniendo a ambos una red como la del ejemplo 3. Podemos
utilizar el modelo de Markov para resolver la disponibilidad de S3 y el modelo
de simulación para el sitio S4 . Una vez conocidas su disponibilidades lı́mite,
podemos calcular la disponiblidad de todo el sistema utilizando el modelo de
factorización, como se muestra a continuación:

3. Implementación: paquete fopnet

Los modelos descriptos en la sección anterior se implementan en un paquete
Python denominado fopnet, para su uso en el sistema homónimo FOPNet. El
módulo también llamado fopnet que compone el paquete, conforma la API
pública. A continuación describimos las principales funcionalidades provistas
por dicho módulo.

FACTORIZATION: Constante para indicar el modelo de factorización en el

cómputo de disponibilidad.
MARKOV: Constante para indicar el modelo de cadenas de Markov en el
cómputo de disponibilidad.
SIMULATION: Constante para indicar el modelo de simulación en el cómpu-
to de disponibilidad.

av from mtt(mttf, mttr): Devuelve la disponibilidad lı́mite calculada a

partir de un tiempo medio entre fallas mttf y un tiempo medio entre
reparaciones mttr.

19
 av from composition(components, method, repair param=None, sim time=None,
error bound=None): Calcula la disponibilidad lı́mite para el sistema de-
terminado por components. El parámetro components es una lista de listas
de tuplas de tres elementos. Cada tupla almacena el tiempo medio entre
fallas, el tiempo medio entre reparaciones y el delay de un componente.
Los tuplas que conforman una lista, representan componentes que son re-
dundantes, y que se consideran en paralelo. Cada lista de components se
considera en serie. El método utilizado para el cómputo está dado por
method que debe ser una de las constantes definidas mas arriba.
El parámetro repair param es el parámetro de reparación conjunta (que
sólo se utiliza si se define cómo modelo de cómputo las cadenas de Markov).
Los parámetros sim time y error bound sólo se utilizan con el modelo de
simulación. Si se especifica sim time y error bound, la simulación se corre
hasta que el valor computado converge con error menor a error bound,
evaluado cada un perı́odo proporcional a sim time. Si error bound no
se especifica, la simulación se corre exactamente durante el perı́odo de
tiempo dado por sim time. Si ninguno de los dos parámetros se especifica,
la simulación corre por un perı́odo predeterminado. sim time debe estar
expresado en unidades coherentes con los tiempos medios entre fallas y los
tiempos medios entre reparaciones.
av from topology(topology, results, source, target, paths=None):
Calcula la disponibilidad lı́mite de una topologı́a dada por topology, entre
el componente source y el componente target, utilizando para el cálculo
los caminos especificados en paths. El modelo utilizado para el computo
es el de factorización, y para ello, results asigna a cada componente su
disponibilidad lı́mite. La topologı́a y los resultados se obtienen con los
métodos built-in de FOPNet descriptos mas abajo. Los caminos dados
por paths deben ser caminos mı́nimos. Cada camino es una lista de los
nombres de los componentes que lo componen.
compute min paths(topology, source, target): Calcula la lista de ca-
minos mı́nimos en topology desde source hasta target. Cada camino es
una lista de los nombres de los componentes que lo componen.

El sistema FOPNet dispone de dos métodos built-in, cuyos resultados son

necesarios para la ejecución de av from composition y compute min paths.

get topology(): Devuelve la topologı́a de componentes conectados, como

una lista de pares. Cada par representa un vı́nculo entre componentes.
get results(): Devuelve los resultados computados por cada componen-
te. Es un diccionario, cuyas claves son los nombres de los componentes. A
cada componente le asigna un diccionario, que contiene como claves cada
uno de los nombres de los resultados, y como valores, los propios resulta-
dos. Por el momento, el único resultado de cada componente es “a”, cuyo
propósito es almacenar la diponibilidad lı́mite de cada componente. Cabe
remarcar que sólo los componentes de tipo ”Métricas”(que no forman par-
te de la topologı́a) pueden utilizar consistentemente este método, ya que
se ejecutan luego de que se hayan ejecutado todos los componentes de la
topologı́a, y por lo tanto, se hayan calculado los resultados.

20
3.1. Ejemplos
A continuación mostramos el código de una función, cuyo propósito es mo-
delar la disponibilidad de un sitio que cuenta con dos lı́neas de energı́a idénticas
y un generador, operando en paralelo como proveedores de energı́a; dos equipos
de aire acondicionado idénticos operando en paralelo; y un equipo óptico de co-
municaciones. La disponibilidad se calcula por el método de simulación, hasta
conseguir una convergencia con un error menor a 0.0001.

import fopnet.fopnet as fopnet

def site():

power_line = [(2000, 4, 2), (2000, 4, 2)]

generator = (23000, 20, 0)
energy = power_line
energy.append(generator)

condiditoned_air = [(13420, 96, 15), (13420, 96, 15)]

optic_equipment = (29000, 15, 0)

components = []
components.append(energy)
components.append(conditioned_air)
components.append(optic_equipment)

a = fopnet.av_from_composition(components, fopnet.SIMULATION, error_bound=0.0001)

print("Disponibilidad: " + str(a))

Finalmente mostramos el código de una función que calcula la disponibilidad

de una topologı́a dentro de FOPNet, e imprime además los caminos que vinculan
el origen y el destino.

import fopnet.fopnet as fopnet

def availability(source, target):

topology = get_topology()
results = get_results()

a, paths = fopnet.av_from_topology(topology, results, source, target)

print("Componente origen: \t%s\n"%(source))

print("Componente destino: \t%s\n"%(target))
print( Caminos utilizados para el cálculo:")
for p in paths:
print(p)

print("Disponibilidad: " + str(a))

21
Referencias
[1] R. Sahner, K. S. Trivedi, A. Puliafito, Performance and Reliability Analisys
of Computer Systems, Springer Science+Business Media, LLC, 1st edition,
ISBN 978-1-4613-6005-6.

[2] M. L. Ayers, Telecommunications System Reliability Engineering, Theory

and Practice, IEEE Press, ISBN 978-1-118-13051-3.
[3] F. Moskowitz, The Analysis of Redundancy Networks, American Institute of
Electrical Engineers, Part I: Communication and Electronics, Transactions
of the (Volume:77, Issue:5)

22