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:
Moka Extension for logging
Moka extensions provides a number of plugins that extend the functionality of Papyrus Moka engine for fUML simulation:
Papyrus extension for AOM
Papyrus extensions offer a number of plugins that extend the functionality of Papyrus UML for Aspect Oriented Modeling (AOM).
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
RCRS
RCRS (the Refinement Calculus of Reactive Systems) is a compositional reasoning framework