Automatic Optimizations for Stream-Based Monitoring Languages
| Autor: | Bernd Finkbeiner, Matthis Kruse, Jan Baumeister, Maximilian Schwenger |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Sparse conditional constant propagation
Programming language Computer science Formal semantics (linguistics) Runtime verification Optimizing compiler 020207 software engineering 02 engineering and technology Specification language Program optimization computer.software_genre Filter (higher-order function) 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Common subexpression elimination computer |
| Zdroj: | Runtime Verification-20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings Runtime Verification ISBN: 9783030605070 RV Lecture Notes in Computer Science Lecture Notes in Computer Science-Runtime Verification |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-030-60508-7_25 |
| Popis: | Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are also a natural choice for safety-critical applications. Unlike for standard programming languages, there is, however, so far very little support for automatic code optimization. In this paper, we present the first collection of code transformations for the stream-based monitoring language RTLola. We show that classic compiler optimizations, such as Sparse Conditional Constant Propagation and Common Subexpression Elimination, can be adapted to monitoring specifications. We also develop new transformations—Pacing Type Refinement and Filter Refinement—which exploit the specific modular structure of RTLola as well as the implementation freedom afforded by a declarative specification language. We demonstrate the significant impact of the code transformations on benchmarks from the monitoring of unmanned aircraft systems (UAS). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|