Sciweavers

FORMATS
2007
Springer

AMT: A Property-Based Monitoring Tool for Analog Systems

13 years 9 months ago
AMT: A Property-Based Monitoring Tool for Analog Systems
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the industrial standard language PSL and the real-time temporal logic MITL, extended with constructs that allow describing behaviors of real-valued variables. The tool automatically builds property observers from an STL/PSL specification and checks, in an offline or incremental fashion, whether simulation traces satisfy the property. The AMT tool is validated through a Flash memory case-study.
Dejan Nickovic, Oded Maler
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where FORMATS
Authors Dejan Nickovic, Oded Maler
Comments (0)