AMT: A Property-Based Monitoring Tool for Analog Systems. 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.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Bartocci, Ezio; Ferrère, Thomas; Manjunath, Niveditha; Ničković, Dejan: Localizing faults in Simulink/Stateflow models with STL (2018)
  2. Basin, David; Klaedtke, Felix; Zălinescu, Eugen: Algorithms for monitoring real-time properties (2018)
  3. Drechsler, Rolf (ed.): Formal system verification. State-of the-art and future trends (2018)
  4. Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.: Robust online monitoring of signal temporal logic (2017)
  5. Mitsch, Stefan; Platzer, André: ModelPlex: verified runtime validation of verified cyber-physical system models (2016)
  6. Brim, L.; Dluhoš, P.; Šafránek, D.; Vejpustek, T.: STL*: extending signal temporal logic with signal-value freezing operator (2014)
  7. Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Rollet, Antoine; Nguena Timo, Omer: Runtime enforcement of timed properties revisited (2014)
  8. Rizk, Aurélien; Batt, Grégory; Fages, François; Soliman, Sylvain: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (2011)
  9. Clarke, Edmund; Donzé, Alexandre; Legay, Axel: On simulation-based probabilistic model checking of mixed-analog circuits (2010)
  10. Jones, Kevin D.; Konrad, Victor; Ničković, Dejan: Analog property checkers: a DDR2 case study (2010)
  11. Leucker, Martin; Schallhart, Christian: A brief account of runtime verification (2009)
  12. Fages, François; Rizk, Aurélien: On temporal logic constraint solving for analyzing numerical data time series (2008)
  13. Nickovic, Dejan; Maler, Oded: AMT: A property-based monitoring tool for analog systems (2007) ioport