2007 | OriginalPaper | Buchkapitel
AMT: A Property-Based Monitoring Tool for Analog Systems
verfasst von : Dejan Nickovic, Oded Maler
Erschienen in: Formal Modeling and Analysis of Timed Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.