Academic Journal
Leveraging Static Analysis: An IDE for RTLola.
| العنوان: | Leveraging Static Analysis: An IDE for RTLola. |
|---|---|
| المؤلفون: | Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |
| سنة النشر: | 2023 |
| مصطلحات موضوعية: | Reliable Security Guarantees, Reliable Security guarantees RA3 |
| الوصف: | Runtime monitoring is an essential part of guaranteeing the safety of cyber-physical systems. Recently, runtime monitoring frameworks based on formal specification languages gained momentum. These languages provide valuable abstractions for specifying the behavior of a system. Yet, writing specifications remains challenging as, among other things, the specifier has to keep track of the timing behavior of streams. This paper presents the RTLola Playground, a browser-based development environment for the stream-based runtime monitoring framework RTLola. It features new methods to explore the static analysis results of RTLola, leveraging the advantages of such a formal language to support the developer in writing and understanding specifications. Specifications are executed locally in the browser, plotting the resulting stream values, allowing for intuitive testing. Step-wise execution based on user-provided system traces enables the debugging of identified errors. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | unknown |
| Relation: | https://figshare.com/articles/journal_contribution/Leveraging_Static_Analysis_An_IDE_for_RTLola_/25243102 |
| DOI: | 10.60882/cispa.25243102.v1 |
| الاتاحة: | https://doi.org/10.60882/cispa.25243102.v1 https://figshare.com/articles/journal_contribution/Leveraging_Static_Analysis_An_IDE_for_RTLola_/25243102 |
| Rights: | CC BY 4.0 |
| رقم الانضمام: | edsbas.9FCC2D7E |
| قاعدة البيانات: | BASE |
| DOI: | 10.60882/cispa.25243102.v1 |
|---|