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.
Original language | English |
---|---|
Title of host publication | 2015 Symposium on Applied Computing, SAC 2015 |
Publisher | Association for Computing Machinery (ACM) |
Pages | 1637-1640 |
Number of pages | 4 |
ISBN (Electronic) | 9781450331968 |
DOIs | |
Publication status | Published - 13 Apr 2015 |
Event | 30th Annual ACM Symposium on Applied Computing, SAC 2015 - Salamanca, Spain Duration: 13 Apr 2015 → 17 Apr 2015 Conference number: 30th https://www.sigapp.org/sac/sac2015/ |
Conference
Conference | 30th Annual ACM Symposium on Applied Computing, SAC 2015 |
---|---|
Abbreviated title | SAC |
Country/Territory | Spain |
City | Salamanca |
Period | 13/04/15 → 17/04/15 |
Internet address |