{"abstract":[{"text":"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.","lang":"eng"}],"month":"09","publisher":"Springer","page":"304 - 319","language":[{"iso":"eng"}],"date_published":"2007-09-20T00:00:00Z","type":"conference","day":"20","extern":"1","status":"public","author":[{"last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan","full_name":"Nickovic, Dejan"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"}],"publication_status":"published","citation":{"mla":"Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>, vol. 4763, Springer, 2007, pp. 304–19, doi:<a href=\"https://doi.org/10.1007/978-3-540-75454-1_22\">10.1007/978-3-540-75454-1_22</a>.","ista":"Nickovic D, Maler O. 2007. AMT: A property-based monitoring tool for analog systems. 5th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4763, 304–319.","apa":"Nickovic, D., &#38; Maler, O. (2007). 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, pp. 304–319). Salzburg, Austria: Springer. <a href=\"https://doi.org/10.1007/978-3-540-75454-1_22\">https://doi.org/10.1007/978-3-540-75454-1_22</a>","short":"D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.","ama":"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>","ieee":"D. Nickovic and O. Maler, “AMT: A property-based monitoring tool for analog systems,” in <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>, Salzburg, Austria, 2007, vol. 4763, pp. 304–319.","chicago":"Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” In <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>, 4763:304–19. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-75454-1_22\">https://doi.org/10.1007/978-3-540-75454-1_22</a>."},"date_created":"2018-12-11T12:08:30Z","oa_version":"None","year":"2007","volume":4763,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"doi":"10.1007/978-3-540-75454-1_22","quality_controlled":"1","publist_id":"1089","title":"AMT: A property-based monitoring tool for analog systems","publication":"5th International Conference on Formal Modeling and Analysis of Timed Systems","scopus_import":"1","_id":"4368","date_updated":"2025-07-01T13:02:22Z","intvolume":"      4763","article_processing_charge":"No","conference":{"start_date":"2007-10-03","end_date":"2007-10-05","location":"Salzburg, Austria","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"}}