AMT: A property-based monitoring tool for analog systems LNCS Nickovic, Dejan Maler, Oded 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. Springer 2007 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/4368 Nickovic D, Maler O. AMT: A property-based monitoring tool for analog systems. In: <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>. Vol 4763. Springer; 2007:304-319. doi:<a href="https://doi.org/10.1007/978-3-540-75454-1_22">10.1007/978-3-540-75454-1_22</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-540-75454-1_22 info:eu-repo/semantics/closedAccess