AIPHS

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

CMA

CMA, acronym of Completeness Metric Analyzer, is a command-line tool for runtime monitoring of timing and State Machine status

Conformiq Designer

Conformiq Designer is used in embedded software development to automate testing and speed up development in various industries

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

MegaM@Rt2 Eclipse IDE

The MegaM@Rt2 Eclipse IDE bundles together a number of Eclipse-based MegaM@Rt2 tools, namely:

PauWare

PauWare engine is a Java API, i.e., a set of Java classes and interfaces making up an execution engine for State Chart XML (SCXML) and UML State Machine Diagrams