Proyectos de Investigación

Especificación y Verificación Formal de sistemas.

1. Área General de Trabajo: Teoría de la Computación
2. Línea de Investigación: Métodos Formales
3. Responsable: M.C. José de Jesús Lavalle M.
4. Participantes:

M.C. César Bautista R.
M.I.A. José Juan Palacios P.
5. Colaboradores: Dr. Mauricio Osorio Galindo
6. Objetivo General:

Contribuír en la difusión, desarrollo y aplicación de los Métodos Formales
7. Objetivos Particulares:
1. Desarrollar prototipos para la Especificación y Verificación, basados en distintos formalismos y para diferentes tipos de sistemas (desde secuenciales hasta móviles).
2. Seleccionar el formalismo "más adecuado" para cada tipo de sistema.
3. Publicar los resultados obtenidos en el punto dos.
4. Desarrollar sistemas para la Especificación y Verificación,  basados en lso formalismos elegidos en el punto dos (desde secuenciales hasta móviles).
5. Modelación de sistemas reales (i.e. no académicos) utilizando las herramientas desarrolladas.
6. Publicación de los resultados obtenidos en el punto anterior.
8. Etapas y Metas:
1. Desarrollar los prototipos que faltan por realizarse
2. Categorización (i.e. expresar categóricamente) los métodos utilizados.
3. Implantación y puesta a punto de los sistemas desarrollados.
4. Elegir un sistema real para modelarlo de acuerdo a las características de los sistemas desarrollados.
9. Necesidades: libros, revistas electrónicas, apoyo para congresos, becas para tesistas, consumibles, apoyo para publicaciones.
10. Resultados alcanzados: Tesis de Licenciatura terminadas (incluyendo prototipos).
11. Financiamiento: ninguno
12. Resultados Esperados:
1. Categorización de algunos métodos formales y su publicación.
2. Desarrollo de sistemas para especificación formal basados en los resultados del punto anterior.
3. Exploración de un sistema real para ser modelado mediante métodos formales y su publicación.
13. Trabajos de Tesis que se proponen:
• De Licenciatura:
• Cuatro tesis para el desarrollo de algunos prototipos que faltan, referentes a otros tantos tipos de sistemas.
• De Maestría:
• Dos tesis (al menos) enfocadas a la categorización de métodos formales.
• Cuatro tesis (al menos) para el desarrollo del sistema de especificación y verificación.