28,000 Hits in 2.3 sec

Architectural Runtime Verification

Lars Stockmann, Sven Laux, Eric Bodden
2019 2019 IEEE International Conference on Software Architecture Companion (ICSA-C)  
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

Diego Marmsoler, Ana Petrovska
2019 Electronic Proceedings in Theoretical Computer Science  
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

Lars Stockmann, Sven Laux, Eric Bodden
2021 Journal of Automotive Software Engineering  
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

Alberto Gonzalez, Eric Piel, Hans-Gerhard Gross
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops  
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

Apoorv Shukla, Kevin Nico Hudemann, Artur Hecker, Stefan Schmid
2019 Proceedings of the 2019 Workshop on Network Meets AI & ML - NetAI'19  
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]

Jürgen Dobaj, Andreas Riel, Thomas Krug, Matthias Seidl, Georg Macher, Markus Egretzberger
2022 pre-print
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]

Christian Colombo, Gordon J. Pace
2018 Lecture Notes in Computer Science  
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]

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2012 Lecture Notes in Computer Science  
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

Stefan Fischer, Martin Leucker
2013 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)  
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

Koray Incki, Ismail Ari
2018 Procedia Computer Science  
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

Vladimir Estivill-Castro, René Hexel
2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development  
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

José Rufino
2016 ACM SIGBED Review  
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

Dimitry Solet, Jean-Luc Bechennec, Mikaol Briday, Sebastien Faucou, Sebastien Pillement
2016 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)  
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

Selim Ciraci, Hasan Sozer, Bedir Tekinerdogan
2013 2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG)  
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)

Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grunbacher
2018 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)  
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