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.

• Type: Conference
• Year: 2007
• Where: FORMATS
• Authors: Dejan Nickovic, Oded Maler
• Keywords: AMT Tool, FORMATS 2007, Standard Language Psl, Temporal Logic Mitl