AMT 2.0 is a tool for offline monitoring and measuring rich temporal specifications over discrete and continuous behaviors. The tool takes as inputs :
- A formal temporal specification that describes functional or extra-functional requirements of the system-under-test (SUT) ; and
- A set of recorded SUT simulation or measurement behaviors.
The formal specification language used to describe the SUT requirements is extended Signal Temporal Logic (xSTL). This language enables expressing complex temporal and timing properties of hybrid behaviors by combining Signal Temporal Logic (STL) and Timed Regular Expressions (TRE).