IX Jornadas de Informática e Investigación Operativa

8 al 12 de noviembre de 2004
Montevideo, Uruguay

Instituto de Computación, Facultad de Ingeniería, PEDECIBA Informática, Universidad de la República
navegacion

  • PÁGINA PRINCIPAL

  • LLAMADO

  • RECEPCIÓN DE RESUMENES

  • PROGRAMA

  • MODERADORES

  • SESIONES


  • LINKS
    • FACULTAD DE INGENIERÍA

    • INSTITUTO DE COMPUTACIÓN

    • EDICIÓN ANTERIOR

      COMITE ORGANIZADOR:
      • Daniel Calegari
      • Diego Garat
      • Antonio Mauttone
      • Franco Robledo
Título: Especificación y validación de sistemas

Marco de Trabajo: DOCTORADO

Área de desarrollo: Métodos Formales

Autor: Luis Sierra

Contacto: sierra@fing.edu.uy

Día: VIERNES

Hora: 10:30:00

Palabras Claves: Especificaci'on y validaci'on de sistemas
Resumen:

Morse ----- Uno de los problemas que enfrentamos al programar es el conciliar una descripci'on de alto nivel del problema a resolver, con la codificaci'on que lo resuelve. En otras palabras, como pasar de la especificaci'on a la implementaci'on de un sistema. Presentamos un peque~no ejercicio en ese contexto: intentaremos trasmitir en morse el mensaje "SOS. OSOS.". El c'odigo morse toma en cuenta el tiempo. Nuestra especificaci'on de alto nivel estar'a dada por grafos temporizados. Nuestra especificaci'on de bajo nivel, por un lenguaje espec'ifico para microprocesadores. Verificamos propiedades para cada nivel. Adem'as, discutimos dificultades para expresar propiedades que vinculen ambos niveles.


Ultima modificacion 5 de Octubre 2004 16:30