AMT 2.0

  • Software distribution and licensing: Privately distributed in a contractual setting
  • Software maturity: Basic usage works, terse documentation.
  • Software Maintenance and Evolution: Active maintenance, plans for future evolution
Analog Monitoring Tool

AMT 2.0 is a tool for offline $$$$ monitoring and measuring rich temporal specifications over discrete and continuous behaviors. The tool takes as inputs:

  1. A formal temporal specification that describes functional or extra-functional requirements of the system-under-test (SUT); and
  2. 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).