|
INVESTIGACION FRANCISCO J. GARCIA
Desde 2003 pertenezco al Grupo de Investigación Psycotrip,
dirigido por el Dr. Julio Rubio García, Profesor Titular
de Ciencias de la Computación e Inteligencia Artificial
de la Universidad de La Rioja.
Desarrollo Web. Estoy trabajando en el desarrollo de un sistema de plantillas para navaegador (browser-side templating) denominado Yeast Templates.
Servicios web, SOA, seguridad.
El tema central de mi tesis, que desarrollé
bajo la dirección de Dr. José
Luis Villarroel Salcedo (del Departamento
de Informática e Ingeniería de Sistemas
de la Universidad de
Zaragoza) es la especificación, análisis
e implementación de sistemas de
tiempo real, utilizando durante todo el ciclo de
vida un único formalismo: las redes
de Petri con tiempo.
Intentaré contarlo de la manera más simple
posible. Un sistema de tiempo real es un tipo de sistema
en el que es tan importante la respuesta como el instante
en el que ésta se produce. Las redes de Petri
son un conocido formalismo para el modelado de sistemas,
especialmente adecuadas para describir evoluciones paralelas
y para analizar propiedades de vivacidad (es decir que
las cosas pasan) o de seguridad (las cosas malas no
pasan). Sin embargo las redes de Petri clásicas
no son válidas para el modelado de sistemas de
tiempo real pues no incorporan información temporal.
Por ello es necesario utilizar una extensión
de las redes de Petri que incluya el tiempo. Esta extensión
es las redes de Petri con tiempo. Este tipo de redes
son útiles para el desarrollo de sistemas de
tiempo real debido a la posibilidad de modelar sincronizaciones,
actividades periódicas, time-outs, concurrencia,
...
La unión de los mundos de los sistemas de tiempo
real y de las redes de Petri no es nuevo. Sin embargo
sí lo es la generación automática
del código (en Ada 95) del
sistema a partir de la red de Petri. Es lo que se llama
implementación de redes de Petri. Éste
es el tema central de mi tesis doctoral.
Descargar una copia de mi tesis.
Enlaces de interés sobre
sistemas de tiempo real
Enlaces de interés sobre
redes de Petri
Enlaces de interés sobre
el lenguaje de programación Ada 95
fgarcia@dmc.unirioja.es
Última modificación: 10-07-2012 13:04
|
