Proyectos de Investigación en Desarrollo

Departamento de Computación - FCEyN/UBA

Planta Baja - Pabellón I - Ciudad Universitaria
(1428) Buenos Aires. Argentina.
T.E.: 788-9101/07. FAX: 783-0729. e-mail: compuba@dc.uba.ar




Proyecto: Formal definition of Graphical Specification Languages for Real Time Systems.


Esta página está en construcción


This page is under construction




Información sobre los integrantes del proyecto

Director:
  • Prof. Mauro Pezzé.

    Integrantes:
  • Miguel Felder (UBA), Gustavo Rossi (LIFIA - UNLP), Benny Mortensen (IFAD - Dinamarca).

    Número de alumnos que participan: 6

    Financiamiento: En manos de la Comunidad Europea.

    Fecha de inicio: Enero de 1995.

    Fecha esperada de terminación: Enero de 1998.


    Volver

    Objetivos

    El proyecto es sobre los métodos formales para la especificación y diseño de sistemas de tiempo real. Dado que estos sistemas en general son altamente críticos, es necesario el uso de métodos y herramientas que aseguren una correcta implementación de los mismos para evitar las graves consecuencias que una "falla" podría provocar. Para esto, es necesario utilizar métodos formales desde las primeras etapas del desarrollo, ya que son los únicos que permiten detectar tempranamente errores en la especificación o en el diseño.
    Sin embargo, los métodos formales requieren de una gran especialización de los ingenieros y del tiempo de aprendizaje, al carecer de herramientas que los soporten y faciliten su uso. Esto impide su introducción en el mundo industrial.
    El objetivo de este proyecto es estudiar métodos que permitan definir formalmente lenguajes gráficos de especificación y diseño para sistemas de tiempo real.
    Los lenguajes gráficos facilitan la comprención y por ende su uso. Estos métodos de definición deberian ser la base para una herramienta parametrizable que permita definir el propio lenguaje de especificación y diseño.
    Se utilizará como método de definición formal de la sintaxis y la semántica de lenguajes gráfico formales, la teoría de gramáticas de grafos.

    Volver

    Sugerencias: G.A.Wainer
    18/06/96
    Ir a página principal del Departamento o vuelva a la pagina de Proyectos de Investigacion .