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 |