Abstract | ||
---|---|---|
In this paper we propose a mechanism called specification for monitoring (SFM) to specify runtime monitoring of programs at a high level, and an abstract API showing how to implement the monitor. SFM enables users to separate the semantic issues related to monitoring and implementation details. This results in compact specifications as the implementation details are delegated to the implementation of the API. We present several specifications to demonstrate that SFM is capable of addressing problems related to runtime fault detection at different levels of abstraction.
|
Year | DOI | Venue |
---|---|---|
2015 | 10.1145/2695664.2695952 | SAC 2015: Symposium on Applied Computing
Salamanca
Spain
April, 2015 |
Keywords | Field | DocType |
Trace monitoring, Specification language, Fault detection | Specification language,Abstraction,Programming language,Computer science,Fault detection and isolation | Conference |
ISBN | Citations | PageRank |
978-1-4503-3196-8 | 0 | 0.34 |
References | Authors | |
5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kostyantyn Vorobyov | 1 | 9 | 2.65 |
Padmanabhan Krishnan | 2 | 7 | 1.90 |
Phil Stocks | 3 | 263 | 20.84 |