AIPHS

Adaptive Profiling HW Sub-system (AIPHS) supports designers on the development of On-Chip Monitoring Systems (OCMSs) able to satisfy given Monitorability Requirements

Downloads Documentation Source code

LIME Testbench

Runtime monitoring of model-based properties, and test case generation

Downloads Documentation Source code

Modelio

The open source modeling environment.

Downloads Documentation Source code

Modelio Constellation

Constellation organizes and manages collaborative (distributed) World Wide Modeling projects,

Downloads Documentation

RCRS

RCRS (the Refinement Calculus of Reactive Systems) is a compositional reasoning framework

Downloads Documentation Source code