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

MATERA2

Model-based Monitoring from Åbo Akademi (MBMÅA) tool
Model-based Performance Testing (MBPeT) tool

Performance Exploration using Reinforcement Learning (PerfXRL) tool

MATERA2-Activity Diagram Conformance Tester

Downloads Documentation

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