Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22549
Title: | Control-flow residual analysis for symbolic automata |
Authors: | Azzopardi, Shaun Colombo, Christian Pace, Gordon J. |
Keywords: | Machine theory Formal languages Mathematical linguistics |
Issue Date: | 2017 |
Publisher: | Open Publishing Association |
Citation: | Azzopardi, S., Colombo, C., & Pace, G. J. (2017). Control-flow residual analysis for symbolic automata. 2nd International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2017, Torino. 29-43. |
Abstract: | Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring overhead. In this paper we generalise existing work which uses control-flow static analysis to optimise properties specified as automata, and prove how similar analysis can be applied to more expressive symbolic automata - enabling reduction of monitoring instrumentation in the system, and also monitoring logic. We also present empirical evidence of the effectiveness of this approach through an analysis of the effect of monitoring overheads in a financial transaction system. |
Description: | This research has received funding from the European Union’s Horizon 2020 research and innovation programme under grant number 666363. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/22549 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1708.07230v1.pdf | 206.55 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.