Abstract
Runtime Monitoring or Verification deals with traces. In its most simple
form a monitoring system takes a trace produced by a system and a specification of correct behaviour and checks if the trace conforms to the specification.
More complex applications may introduce notions of feedback and reaction. The
notion that unifies the field is that we can abstract the runtime behaviour of a system by an execution trace and check this for conformance. However, there is little uniform understanding of what a trace is. This is most keenly seen when comparing theoretical and practical work. This paper surveys the different notions of trace and reflects on the related issues.
form a monitoring system takes a trace produced by a system and a specification of correct behaviour and checks if the trace conforms to the specification.
More complex applications may introduce notions of feedback and reaction. The
notion that unifies the field is that we can abstract the runtime behaviour of a system by an execution trace and check this for conformance. However, there is little uniform understanding of what a trace is. This is most keenly seen when comparing theoretical and practical work. This paper surveys the different notions of trace and reflects on the related issues.
Original language | English |
---|---|
Title of host publication | ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications |
Pages | 339-355 |
Number of pages | 17 |
DOIs | |
Publication status | Published - 2016 |
Event | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Corfu, Greece Duration: 5 Oct 2016 → 14 Oct 2016 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 9953 |
Conference
Conference | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) |
---|---|
Country/Territory | Greece |
City | Corfu |
Period | 5/10/16 → 14/10/16 |