Beruflich Dokumente
Kultur Dokumente
Introduccin
Los STR implantados en sistemas operativos
propietarios como QNX neutrino estn integrados por
un conjunto de Tareas en Tiempo Real (TTR). La
________________________________________________________
CIINDET 2011
IX Congreso Internacional sobre Innovacin y Desarrollo Tecnolgico,
23 al 25 de noviembre de 2011, Cuernavaca Morelos, Mxico
Posterior a ste trabajo, un gran nmero de
investigadores se han dedicado al modelado de tareas
en tiempo real como se aprecia en [3]. Para el modelado
de tareas, se pueden encontrar algunos autores que
tratan de describir a los tipos de tareas existentes. Para
las tareas en tiempo real de tipo peridicas, su
descripcin se puede encontrar en [4] donde se
consider a los diferentes tiempos de ejecucin de las
tareas peridicas y cada tarea queda especificada por
los tiempos de ejecucin acotados por el perodo o
tiempo mnimo de separacin.
En la referencia [5] y [6] usan el modelo de Liu y
Layland [2] de tareas peridicas donde en [5] la tarea
est representada con su periodo T y su tiempo de
clculo y asume que el plazo es igual al prximo
tiempo de inter-arribo, mientras que en [6] para
representar las tareas y poder aplicar tcnicas de
planificacin, se considera a las tareas peridicas
expulsivas ejecutndose en un procesador, en este caso
se consideran independientes y no tienen restricciones
de precedencia. Mientras que en [7] se propone un
modelo para n tareas peridicas.
En [8] se describe a tarea peridica y la espordica
comentando que las primeras invocan periodos
regulares mientras que una tarea espordica invoca
periodos arbitrarios de tiempo pero este periodo tiene
un valor mnimo conocido.A su vez en [9] se fija la
atencin en el impacto de las tareas de tipo espordicas
en la carga de trabajo para el procesador y la
planificacin, para despus en [10] se aprecia el diseo,
implementacin y usodel modelo de una tarea
espordica donde se define a una tarea T como una
secuencia lgica infinita de instancias. Un modelo de
tareas espordicas es definido en [11], donde los
tiempos de ejecucin tienen una variacin estocstica y
la funcin de distribucin probabilstica es de la
variacin conocida para el sistema. Siguiendo con el
modelado de tareas espordicas, en [12] se menciona
que una tarea espordica Ti est caracterizada por tres
elementos: tiempo de ejecucin ei, un plazo di, y un
periodo mnimo de separacin pi.
Las tareas de tipo aperidicas son mencionadas en [13]
y comentan que para insertar las tareas en un
planificador dinmico, se deben de considerar algunos
puntos (mencionados en este artculo) que describen a
las tareas aperidicas.
En [14] describen la planificacin de las tareas
aperidicas sobre sistemas de tiempo real crtico. La
CIINDET 2011
IX Congreso Internacional sobre Innovacin y Desarrollo Tecnolgico,
23 al 25 de noviembre de 2011, Cuernavaca Morelos, Mxico
Mientras que en [25], usan Real Time Processor
algebra, y tratan la estructura de representacin usando
los relojes de tiempo real de java.Otro de los factores
que son de importancia para la asignacin de
prioridades son los anlisis de los medios sobre los
cuales se transporta la informacin como por ejemplo,
en [26] comentan que el protocolo 802.11 no fue hecho
para soportar trfico en tiempo real, sin embargo
realizan un estudio y hacen adecuaciones para calcular
el uso de red para las tareas en tiempo real y de igual
manera, en [27] hacen un estudio sobre el trfico en
tiempo real usando un medio de transporte fsico
comn entre conexiones de tiempo-real y otras que no
solicitan restricciones temporales. En la referencia [28]
proponen un RED-RT (Random Early Detection Realtime) que mejora el funcionamiento para tiempo real,
consideran el manejo del buffer de los sistemas de ruteo
(routers) y asegura la calidad de las conexiones en
tiempo real en situaciones sin congestin.
Adems de estos trabajos, se pueden encontrar modelos
descriptivos en libros tales como [29] y [30]. Del grupo
de trabajo de Sistemas en Tiempo Real de la Seccin de
Estudios de Posgrado e investigacin de la Escuela
Superior de Ingeniera Mecnica y Elctrica unidad
Culhuacn, se pueden encontrar de [31] al modelado
y validacin de un Vector de Tiempos de Ejecucin
para Tareas en Tiempo Real Concurrentes que Simulan
un Motor de Corriente Continua, as como en [32] en
donde se puede apreciar a la Simulacin Concurrente
en Tiempo Real de un Motor de Corriente Continua
Sobre la Plataforma QNX
Definicin
1.
(Tareas
en
Tiempo
Real
Concurrentes):Un Conjunto G de Tareas en Tiempo
Real Concurrentes {Ji}, est definido por un sistema de
eventos discretos tal que:
Tareas J
instancia 1 instancia 2
1
1
k-1
G ,, f e , g , Ev
(1)
Donde:
es el conjunto de valores de los Tiempos de
Interarribo (TI)
,
i, k
i, k N . i,k , tal
CIINDET 2011
IX Congreso Internacional sobre Innovacin y Desarrollo Tecnolgico,
23 al 25 de noviembre de 2011, Cuernavaca Morelos, Mxico
J i ,
J i {( i ,k , ci ,k , d i ,k )} , i, k N ,
0 i,0 j .
f e es la funcin de transicin entre estados
f e : k k 1 . Para una sola TTR se puede
representar por las ecuaciones.
f e : k k 1 , f e : k k 1
Donde
(2)
potencia.
Ev es el conjunto de trayectorias posibles desde
hasta
i,k m
con i, j , k , m . Es decir:
Ev 1 , 2 , 3 ,...
Para este caso especifico
trayectorias
i, j
posibles
de
Estabilidad
La estabilidad en este sistema de eventos discretos debe
abordarse considerando que los valores que se producen
especficamente por la funcin de transicin deben ser
acotados por un mximo y un mnimo o en el caso de
representar los tiempos de arribo absolutos, tener
alguna razn de aumento con significado vlido. Por
tanto el sistema se considera estable por el criterio de
entradas acotadas, salidas acotadas (BIBO por sus
siglas en ingls) y para conocerlas se deben conocer los
valores mximos y mnimos para la funcin de
transicin, mismas que son los lmites del conjunto X
o las razones de cambio cada vez que se produzca un
aumento en el valor. Para los tiempos de interarribo, la
estabilidad reside en el comportamiento del conjunto
X porque representa los valores posibles para los
tiempos de interarribo. Para que el sistema sea estable
el conjunto X debe de ser acotado con un valor
mximo y otro mnimo. Estos dos lmites y los valores
intermedios representan todos los valores posibles que
puede tomar un interarribo, independientemente de su
distribucin de probabilidad. Para este caso, se
presentarn dos anlisis para determinar la estabilidad
de los eventos discretos.
Estabilidad de los tiempos de arribo
se tiene:
(4)
Tal que:
Ek E Ea x0 ,
con
( x0 , m )
x0 , Ek , k , m Ek
(3)
i, j , k , m .
de los TTR
en sentido de Lyapunov
Un conjunto invariante cerrado m de G es
Ea es el conjunto de
i, j i,k m
k0
(5)
Donde:
CIINDET 2011
IX Congreso Internacional sobre Innovacin y Desarrollo Tecnolgico,
23 al 25 de noviembre de 2011, Cuernavaca Morelos, Mxico
estado m.
k , k N , k R
(7)
De lo anterior se tiene:
de
J i , i Z depende de la
x0 , Ek , k , m Ek
(8)
como se indica en
( x0 , m )
x0 X m max min
,
y
(9)
*
c n, n k E u n n u n k n k ,
(11)
k 0,1,2,...,
(12)
n , para toda n.
(13)
r n, n k r ( k ) , c n, n k c ( k )
(14)
E u n
La
Donde:
xm 1 mm max min
max min
(10)
r n, n k E u n u * n k , k 0,1,2,...,
x0 xm max min
n E u n
TTR concurrentes
(6)
Se obtiene:
condicin
anterior
(15)
se
obtiene
con
r n, n E u n u * n E u n
(16)
CIINDET 2011
IX Congreso Internacional sobre Innovacin y Desarrollo Tecnolgico,
23 al 25 de noviembre de 2011, Cuernavaca Morelos, Mxico
Aplicndolo al caso del sistemas de eventos discretos
antes mencionado, ya que los valores de todos los
tiempos de interarribo estn contenidos y acotados por
valores conocidos, los valores de las esperanzas al
menos estn acotados por los valores mximos y
mnimos de los tiempos de interarribo, que siempre son
menores que infinito.
Conclusiones
En el presente artculo se present un modelo
descriptivo para representar tiempos de interarribo. Y
se mostr que el modelo tiene la capacidad de
representacin de un sistema monotarea as como
modelos multitareas y que lo importante es conocer las
cotas mximas y mnimas posibles para los tiempos de
interarribo para poder determinar la estabilidad. del
sistema de eventos discretos, la cual es
demostradamediante el uso de los dos criterios
presentados.
Referencias
[9]
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
CIINDET 2011
IX Congreso Internacional sobre Innovacin y Desarrollo Tecnolgico,
23 al 25 de noviembre de 2011, Cuernavaca Morelos, Mxico
[23] Wei, Son y Stankovic, Real-time query processing for data
stream, en Department of Computer Science, University of
Virginia, 2006.
[24] J. P. Lehoczky, Real Time Queueing Theory. IEEE, 1996.
[25] Ngolah, Wang, Implementing the real-time processes of RTPA
using Real-time Java, in the Canadian Conference on
Electrical and Computer Engineering, 2006.
[26] Van Tan, Dae-Seung, Myung-Kuyn, Myeong-Jae Hard and
soft real time based on switched Ethernet, in The 1st
International Forum on Strategic Technology, 2006.
[27] R. Morales; F. Vasques; P. Portugal; J. A. Fonseca, VTPCSMA: A Virtual Tokem Passing Aproach for Real-Time
Communication in IEEE 802.11 Wireless Networks, IEEE
2006.
[28] Hyon-Young, Sung-Gi, RED-RT for Congestion Control and
Real Time Traffic Protection, in Computer and Information
Technology, 2006.CIT '06. The Sixth IEEE International
Conference. IEEE 2006.
[29] Haykin S. Adaptive Filter Theory, Prentice Hall Information
and System science series, 2002.
[30] L. J. Doob, Stochastic Processes, Willey, New York 1953.
[31] P. Guevara, G. Delgado y B. del Muro. Modelado y Validacin
de un Vector de Tiempos de Ejecucin para Tareas en Tiempo
Real Concurrentes que Simulan un Motor de Corriente
Continua. En VIII Congreso Internacional sobre Innovacin y
Desarrollo Tecnolgico. Mxico. 2010.
[32] G. Delgado, P. Guevara y J. S. Falcn. Simulacin
Concurrente en Tiempo Real de un Motor de Corriente
Continua Sobre la Plataforma QNX, en XIV Congreso
Latinoamericano de Control Automtico, XIX Congreso de la
Asociacin Chilena de Control Automtico ACCA. Chile. 2010.