Comisión 
Sectorial de 
Investigación  
                          Científica		Universidad de la República
Solicitud de Fondos para Financiamiento 
Proyectos de Investigación	

1.- Datos del investigador responsable.

Nombre y Apellido      	Luis Ricardo SIERRA ABBATE	
Cédula de Identidad	1726053-0	
Nº. de funcionario	33485	
Grado y dedicación horaria 	 Grado 2   Dedicación horaria : 40 horas semanales D.T.: no	
Servicio universitario y repartición	Facultad de Ingeniería, Instituto de Computación.
	
Teléfono y fax       (*)	7114244 (int 115)
7110469	
E-mail             	sierra@fing.edu.uy	
(*) del Servicio y repartición donde se realizará el proyecto. 

2.-  Datos del Proyecto.

Título del proyecto

Verificación formal automatizada de un marcapasos. 
	
Duración (meses)	24	
Tipo de investigación	Iniciación                                            	
Datos del tutor 
	Nombre:  Cristina CORNES
E-mail: cornes@fing.edu.uy                      Fax: 7110469
    	
Agrarias                      
Básicas                  
Salud 
Sociales 
Tecnológicas X	Disciplina: Informática                                                                                 
Área temática: Métodos Formales                                                                            
Palabras claves: microcontroladores,  verificación automática, especificación formal	
Monto  solicitado a  C.S.I.C 	 1er  año: 6000	2 do  año: 6000	Total: 12000	

3.- Otras fuentes de financiamiento de este Proyecto (total o parcial).
  
 Indique si este mismo proyecto ha solicitado otras fuentes de financiamiento.

  Institución	   Monto       (U$S)	En estudio	       Aprobado
(período de ejecución)	   No       aprobado	

					
Adjuntar los comprobantes necesarios.

4.- Otras fuentes de financiamiento relacionadas

Indique si el Proyecto se enmarca en algún Plan General o Programa de algún grupo o             Institución.

       si 

Especifique:

El presente proyecto se desarrollará dentro del Grupo de Métodos Formales (GMF) del Instituto de Computación de la Facultad de Ingeniería. En particular, las actividades del mismo se encuentran parcialmente comprendidas en el plan de actividades propuesto por Luis Sierra para el período Mayo 1999 - Mayo 2000. El GMF está desarrollando actualmente investigaciones dirigidas hacia la armonización de distintos paradigmas de certificación de sistemas computacionales. En particular centra sus estudios en el desarrollo de especificaciones formales y verificación automática de propiedades sobre esta especificación, y el análisis y síntesis de código por medio de herramientas que emplean lógicas de alto orden.

Las actividades presentadas en este Proyecto conforman una unidad con el Proyecto 4113 presentado ante el CONYCIT para percibir financiamiento en el llamado a proyectos Clemente Estable del año 1998. El mismo fue seleccionado para su financiación, aunque la disposición limitada de recursos hizo imposible la misma. El GMF ha estado trabajando en dicho proyecto sin financiación específica. 

Si contesto afirmativamente el punto 4.-, indique si el Plan o Programa General o un Proyecto en ese marco diferente al presentado a la C.S.I.C., ya cuenta con financiación. Agregue la información solicitada. 
                                                  
  Fuente	Monto    (U$S)	 Período	Título del Proyecto o Programa	

	

	

5.- Antecedentes
  
Proyectos financiados  por C.S.I.C bajo su responsabilidad (I+D o Sector Productivo): ninguno
                                            
6.- Aspectos docentes

 Indique si este Proyecto incorpora trabajos de Grado o Postgrado

     Grado         no	Posgrado      si                  

Especifique

Posgrado. El docente responsable de este Proyecto se encuentra realizando sus estudios de Doctorado en Informática. Se espera que los resultados obtenidos mediante la realizacióndel mismo serán parte integrante de la tesis de doctorado del proponente.

      Detalle de los Recursos Solicitados

8.-   Rubro Sueldos 

8.1.- Creación de cargos docentes: No corresponde

8.2.- Extensiones de cargos docentes: No corresponde
  
8.3.-  Dedicaciones Compensadas Docentes

Escf/ Gr.	Horas sobre las que   se  calcula la Compensación 	Duración      en    meses    1er.Año	Monto 1er. Año (U$S) de la compensación	Duración  en    meses 2do.Año	Monto 2do. Año (U$S) de la compensación	 Monto  total  (U$S)  	
2	40	12	4638	12	4638	9276	
				
	                      Sub‑total U$S    4638                                           4638                     9276

8.4.-  Extensiones de cargos no docentes: No corresponde 
8.5.- Contratación de becarios: No corresponde

9.- Rubro Gastos                                 

9.1.- Materiales .

 Cantidad
	       Descripción        	Monto anual (U$S) 	Monto (U$S)  total	
	Material informático	500	1000	
	Material fungible	500	1000	

                                                                       Sub‑total U$S 1000                          2000

9.2.-  Otros gastos.  

ATENCIÓN: No se financiarán actividades que estén contempladas en los Programas implementados por la Unidad de Recursos Humanos de la C.S.I.C.   

Concepto 	Monto  anual (U$S)	Monto  Total  (U$S)	

                                                          Sub‑total U$S      ---            	             ---- 

Justificación detallada de los gastos:

Se solicita financiamiento para gastos de dos tipos.
•	Referentes al mantenimiento de los sistemas informáticos hoy existentes. Las herramientas de verificación hoy existentes se caracterizan por exigir altas capacidades en discos y memoria. Posiblemente al realizar estudios se vea la necesidad de actualizar parcialmente o extender equipamiento de hardware del Grupo de Métodos Formales.
•	Referentes a papelería para la realización del proyecto. Los mismos deben cubrir gastos de papel y de toner, entre otros.

10.- Rubro Inversiones

10.1.- Equipos: describir y cuantificar los equipos que solicita a la C.S.I.C. para realizar el presente proyecto.

Cantidad 	Descripción	Monto (U$S)	

                                                                              Sub-total U$S       ---

10.2.-  Bibliografía solicitada.

Tipo de publicación	Monto (U$S)	
Proceedings de conferencias sobre el tema (CAV, CONCUR, TACAS, etc)	724	

                                                                          Sub-total U$S       724

Resumen de Sueldos (En  dólares Americanos a U$S 10.818) 
                  
Período	Sueldos Docentes 
(punto  8.1 + 8.2) 	Dedicaciones Compensadas
Docentes (punto 8.3) 	Sueldos No Docentes 
(punto 8.4)	Sueldos
Becarios
(punto 8.5)	Total del 
ítem 8	
01-01-00 31-12-00	-	4638	-	-	U$S 4638	
01-01-01
31-12-01	-	4638	-	-	U$S 4638	
Total
	-	9276	-	-	U$S 9276	

Resumen  de  Montos (En  dólares Americanos a U$S 10.818)
                  
Período	Sueldos 
(Total del ítem 8) 	Gastos 
(Total del ítem 9)	Inversiones
(Total del ítem 10)	      Total	
01-01-00 31-12-00	4638	1000	362	U$S 6000	
01-01-01
31-12-01	4638	1000	362	U$S 6000	
Total
	9276	2000	724	U$S 12000	

CONSTANCIA DE PRESENTACIÓN EN EL SERVICIO   
                                                                                                      Fecha de presentación 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  C. de Ética: ________________

								Contrafirma:           ________________

Firma del solicitante:                                          Firma del tutor:

_____________________                                     ________________________________

Fecha de presentación 
ante la C.S.I.C.: 

IMPORTANTE:

Anexar A.-  El Curriculum Vitae del solicitante y el del tutor (si el Proyecto es de Iniciación) y de     	        los  demás participantes en el proyecto.
	  B.- En caso de que el proyecto cuente con otras fuentes de finaciamiento, adjuntar la   		       documentación que establezca los montos aprobados y los plazos de ejecución de estos   	        fondos. 
	  C.- Entregar una copia del formulario y los C.V. en diskette 3.5, formato Word 6.0.        		        (Indispensable para el envío a evaluadores externos).