Herramientas

lgunas de las herramientas que desarrollamos o estamos desarrollando:

Contractor

 

Contractor.NET

 

MTSA

Una herramienta que dado un contrato de software o código fuente de una API, genera una representación abstracta como máquina de estado que es útil para su validación.

 

Versión para .NET de Contractor, una herramienta para validar y enriquecer especificaciones por contratos.

 

Analizador de sistema de transición modal.

         

JConsume2

 

Consume.NET

 

Resource Contracts.NET

Un análisis composicional para inferir el consumo de memoria dinámica en programas Java.

 

Versión de JConsume para .NET, un analizador estático composicional para inferir el consumo de memoria dinámica en programas .NET.

 

Una extension de CodeContracts para poder verificar programas con anotaciones sobre consumo de recursos.

         

JScoper

 

VIn Time

 

ObsSlice

Un plug-in de Eclipse que ayuda a convertir aplicaciones Java en Java Real Time.

 

Un conjunto de herramientas para la verificación de sistemas Real Time.

 

Un Automa Slicer temporizado basado en observadores.

         

VTS

 

Zeus

 

SetPoint

Es una notación para expresar los requerimientos de tiempo real, en un lenguaje visual y amigable, pero potente, a través de escenarios negativos.

 

Es un model-checker distribuido que evoluciona de KRONOS.

 

Una herramienta orientada a aspectos basada en puntos de corte semánticos, desarrollada con Microsoft. NET framework.

         

TraceIt!

 

BudaPest

   

Generador de seguimiento de eventos para aplicaciones de tiempo real distribuido.

 

Un verificador de software automático.

   
Español