AMT: A property-based monitoring tool for analog systems
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.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Nickovic, DejanISTA;
Maler, Oded
Series Title
LNCS
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.
Publishing Year
Date Published
2007-09-20
Proceedings Title
5th International Conference on Formal Modeling and Analysis of Timed Systems
Publisher
Springer
Volume
4763
Page
304 - 319
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
Conference Location
Salzburg, Austria
Conference Date
2007-10-03 – 2007-10-05
IST-REx-ID
Cite this
Nickovic D, Maler O. AMT: A property-based monitoring tool for analog systems. In: 5th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4763. Springer; 2007:304-319. doi:10.1007/978-3-540-75454-1_22
Nickovic, D., & Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” In 5th International Conference on Formal Modeling and Analysis of Timed Systems, 4763:304–19. Springer, 2007. https://doi.org/10.1007/978-3-540-75454-1_22.
D. Nickovic and O. Maler, “AMT: A property-based monitoring tool for analog systems,” in 5th International Conference on Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, 2007, vol. 4763, pp. 304–319.
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.
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” 5th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4763, Springer, 2007, pp. 304–19, doi:10.1007/978-3-540-75454-1_22.
Google Scholar