A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Architectural Runtime Verification
2019
2019 IEEE International Conference on Software Architecture Companion (ICSA-C)
Preserved Fulltext
This paper therefore presents Architectural Runtime Verification (ARV), a generic approach to analyze system behavior on architecture level using the principles of Runtime Verification. ...
From this, ARV generates a Runtime Verification monitor and applies it to runtime data stored in a database. ...
This paper therefore presents Architectural Runtime Verification (ARV), which enables subsequent runtime analysis on architecture level. ...
doi:10.1109/icsa-c.2019.00021
dblp:conf/icsa/StockmannLB19
fatcat:a64w64hvyrau5ax6e6ejwadzyq
Detecting Architectural Erosion using Runtime Verification
2019
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1909.05973v1 fatcat:jdrvagrvjveehh3ipyxrqjp3oi
Thus, in this paper, we propose an alternative approach based on runtime verification. ...
While these techniques are well-suited for the analysis of static architectures, they reach their limit when it comes to dynamic architectures. ...
We want to thank Ilias Gerostathopoulos for helpful discussions on architectural erosion. ...
doi:10.4204/eptcs.304.7
fatcat:y64qt3tmdneyrigbywv4zkkuwm
Using Architectural Runtime Verification for Offline Data Analysis
2021
Journal of Automotive Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Architectural Runtime Verification (ARV) is an approach specifically designed for the integrator-a generic way to analyze system behavior on architecture level using the principles of Runtime Verification ...
One reason for this is that, as of today, the analysis is usually not performed on the architecture level, where the system has initially been designed. ...
Figure 8 8 Prototype of a graphical frontend for architectural runtime verification (ARV).
Table 2 2 Mapping of the runtime data. ...
doi:10.2991/jase.d.210205.001
fatcat:ulpu4uad2fb2tcxqmunfoggyy4
Architecture support for runtime integration and verification of component-based Systems of Systems
2008
2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The ATLAS Framework The ATLAS component integration and verification framework is our solution for an architectural framework that addresses the challenges of runtime integration and verification presented ...
We show the integration and verification procedure and the artefacts to be provided by the framework in order to be able to perform the modification of the system at runtime. ...
doi:10.1109/asew.2008.4686292
dblp:conf/kbse/GonzalezPG08
fatcat:b4mdq6kn3rcbpcy6hxlwueplcq
Runtime Verification of P4 Switches with Reinforcement Learning
2019
Proceedings of the 2019 Workshop on Network Meets AI & ML - NetAI'19
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Thus, there is a dire need for runtime verification. ...
With the programmability, however, the verification of the runtime network behavior has become increasingly complex. ...
doi:10.1145/3341216.3342206
dblp:conf/sigcomm/ShuklaHH019
fatcat:teb7wjsrb5ef3fn5sk4c5u2d44
Towards Digital Twin-enabled DevOps for CPS providing Architecture-Based Service Adaptation Verification at Runtime
[article]
2022
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
A modular and SO system architecture complements these processes to facilitate IT system adaptation and evolution. ...
We further propose detailed design models for operation-critical DTs that integrate CPS closed-loop control and architecture-based CPS adaptation. ...
The demonstrated DS also shows that a modular design enables the DevOps-like closed-loop optimization of CPS service changes through architecture-based self-adaptation and verification at runtime. ...
doi:10.1145/3524844.3528057
arXiv:2204.02022v1
fatcat:u52opqrognbl3adtc7cr5xicda
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We discuss how runtime verification can be introduced in the software development lifecycle and who are the people to be involved and when. ...
The chapter will focus on experiences the authors had in applying runtime verification in industrial settings, in particular on financial transaction systems. ...
Monitoring architecture in a micro-services architecture Being programmed as a monolithic Java system, previous case studies relied on aspect-oriented programming to embed the runtime verification code ...
doi:10.1007/978-3-319-75632-5_7
fatcat:uawspzoa6nf7repynfh3fqymci
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Firstly, given a generic component-based model, we review FTPL from a runtime verification point of view. ...
To this end we introduce a new four-valued logic, called RV-FTPL (Runtime Verification for FTPL), characterizing the "potential" (un)satisfiability of the architectural constraints in addition to the basic ...
Runtime Verification for FTPL: RV-FTPL As component-based architectures evolve at runtime, there is a need to check the FTPL constraints on the fly, even if only a partial information is expected. ...
doi:10.1007/978-3-642-35743-5_8
fatcat:gnbt3k4zqjc67dwyeb2vvhptla
Runtime verification and reflection for wireless sensor networks
2013
2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. ...
The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important ...
Figure 1 . 1 Architecture of the runtime reflection framework ...
doi:10.1109/sesena.2013.6612263
dblp:conf/sesena/FischerL13
fatcat:o3hpzcwgpjhhbk6vvk42co4nia
Model-Based Runtime Monitoring of Smart City Systems
2018
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
One of the engineering challenges that industry face today is the verification of a SoS smart city application at runtime. ...
One of the engineering challenges that industry face today is the verification of a SoS smart city application at runtime. ...
A runtime monitoring architecture has been contributed to the literature by Kane in [24] . ...
doi:10.1016/j.procs.2018.07.146
fatcat:3yfcyz3cbfaonbisdarznlc2qu
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems
2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We show an architecture that enables runtime verification. Runtime verification focusses on the design of formal languages for the specification of properties that must hold during runtime. ...
In this paper, we take these elements further by enabling an architecture for runtime verification. ...
We propose a revolution of the subsumption architecture (Brooks, 1986) to manage the runtime verification of a system composed of LLFSMs. ...
doi:10.5220/0006116700290040
dblp:conf/modelsward/Estivill-Castro17
fatcat:joomt5h4dzb45dixk2w4me35iy
Towards integration of adaptability and non-intrusive runtime verification in avionic systems
2016
ACM SIGBED Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper explores the potential of non-intrusive runtime verification (RV) mechanisms, currently being included in AIR, to improve system safety and to decrease the computational cost of timeliness adaptability ...
Unmanned autonomous systems (UAS) avionics call for advanced computing system architectures fulfilling strict size, weight and power consumption (SWaP) requisites, decreasing the vehicle cost and ensuring ...
MECHANISMS FOR NON-INTRUSIVE RUNTIME VERIFICATION Runtime verification (RV) obtains and analyses data from the execution of a system to detect and possibly react to behaviours, either satisfying or violating ...
doi:10.1145/2907972.2907981
fatcat:jsvy5tpmuvcitfehofjrdggyfe
Hardware runtime verification of embedded software in SoPC
2016
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper discusses an implementation of runtime verification for embedded software running on a System-on-Programmable-Chip (SoPC) composed of a micro-controller and a FPGA. ...
The goal is to verify at runtime that the execution of the software on the micro-controller conforms to a set of properties. ...
Runtime Verification and Runtime Monitoring Runtime Verification (RV) is usually classified as a lightweight formal methods dedicated to the synthesis of runtime monitors from specifications [10] . ...
doi:10.1109/sies.2016.7509425
dblp:conf/sies/SoletBBFP16
fatcat:brg3xmsvqzfzjnizbl6hq4wdoi
A run-time verification framework for smart grid applications implemented on simulation frameworks
2013
2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We have developed the ConArch toolset to support the automated verification of architecture-level behavioral constraints. ...
ConArch generates runtime observers that monitor the flow of execution between these points and verifies whether this flow conforms to the behavioral constraints. ...
An often used approach is runtime verification. Hereby, the behavioral constraints defined for the architecture are mapped to the implementation. ...
doi:10.1109/se4sg.2013.6596105
dblp:conf/icse/CiraciST13
fatcat:n3n4sz6g5zalhb72t5tnk7fzxy
A comparison framework for runtime monitoring approaches (journal-first abstract)
2018
2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Diverse monitoring approaches for various kinds of systems and purposes have been proposed [1], e.g., requirements monitoring [2], monitoring of architectural properties [3] , and runtime verification ...
Existing monitoring approaches are very diverse: only few provide (end-user) tool support; some cover specific architectural styles (e.g., service-oriented architectures), while others are general-purpose ...
Diverse monitoring approaches for various kinds of systems and purposes have been proposed [1] , e.g., requirements monitoring [2] , monitoring of architectural properties [3] , and runtime verification ...
doi:10.1109/saner.2018.8330238
dblp:conf/wcre/RabiserGVBG18
fatcat:av63t3m3prcy7mdz4j4x3w3lu4
« Previous
Showing results 1 — 15 out of 28,000 results