VInTiMe - Verifier of Integrated Timed ModEls

Plug-in for Eclipse.

Fecha

2005-2006

Responsable

Lic. Fernando Schapachnik

Destinatario

IBM Corporation

Breve descripción

VInTiMe es un conjunto de herramientas para el modelado y análisis de sistema de tiempo real concebido e implementado por nuestro grupo. El proyecto consiste en la integración de VInTiMe al entorno de desarollo Eclipse. La propuesta presentada por el grupo recibió el premio Eclipse Innovation Grant 2005, otorgado por IBM.

Resultado del trabajo

Un plug-in que estará disponible en http://dependex.dc.uba.ar/vintime.