Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCOST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
99
0
0.0
(
0
)
Added by
Yli\\`es Falcone
Publication date
2019
fields
Informatics Engineering
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of the major core aspects involved in Runtime Verification. Runtime Verification is the field of research dedicated to the analysis of system executions. It is often seen as a discipline that studies how a system run satisfies or violates correctness properties. The report exposes a taxonomy of Runtime Verification (RV) presenting the terminology involved with the main concepts of the field. The report also develops the concept of instrumentation, the various ways to instrument systems, and the fundamental role of instrumentation in designing an RV framework. We also discuss how RV interplays with other verification techniques such as model-checking, deductive verification, model learning, testing, and runtime assertion checking. Finally, we propose challenges in monitoring quantitative and statistical data beyond detecting property violation.
rate research
Read More
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and using, different technologies and languages. While this enables developers to use the appropriate technologies for specific contexts, it becomes more challenging to ensure the correctness of the overall system. In this paper we propose a framework to enable extensible technology agnostic runtime verification and we present an extension of polyLarva, a runtime-verification tool able to handle the monitoring of heterogeneous-component systems. The approach is then applied to a case study of a component-based artefact using different technologies, namely C and Java.
Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to compute richer verdicts than Booleans (including quantitative and arbitrary data). In this paper we study the problem of implementing an SRV engine that is truly extensible to arbitrary data theories, and we propose a solution as a Haskell embedded domain specific language. In spite of the theoretical clean separation in SRV between temporal dependencies and data computations, previous engines include ad-hoc implementations of a few data types, requiring complex changes to incorporate new data theories. We propose here an SRV language called hLola that borrows general Haskell types and embeds them transparently into an eDSL. This novel technique, which we call lift deep embedding, allows for example, the use of higher-order functions for static stream parameterization. We describe the Haskell implementation of hLola and illustrate simple extensions implemented using libraries, which require long and error-prone additions in other ad-hoc SRV formalisms.
Report of the Beyond the Standard Model working group for the Workshop `Physics at TeV Colliders, Les Houches, France, 21 May - 1 June 2001. It consists of 18 separate parts: 1. Preface; 2. Theoretical Discussion; 3. Numerical Calculation of the mSUGRA and Higgs Spectrum; 4. Theoretical Uncertainties in Sparticle Mass Predictions; 5. High Mass Supersymmetry with High Energy Hadron Colliders; 6. SUSY with Heavy Scalars at LHC; 7. Inclusive Study of MSSM in CMS; 8. Establishing a No-Lose Theorem for NMSSM Higgs Boson Discovery at the LHC; 9. Effects of Supersymmetric Phases on Higgs Production in Association with Squark Pairs in the Minimal Supersymmetric Standard Model; 10. Study of the Lepton Flavour Violating Decays of Charged Fermions in SUSY GUTs; 11. Interactions of the Goldstino Supermultiplet with Standard Model Fields; 12. Attempts at Explaining the NuTeV Observation of Di-Muon Events; 13. Kaluza-Klein States of the Standard Model Gauge Bosons: Constraints From High Energy Experiments; 14. Kaluza-Klein Excitations of Gauge Bosons in the ATLAS Detector; 15. Search for the Randall Sundrum Radion Using the ATLAS Detector; 16. Radion Mixing Effects on the Properties of the Standard Model Higgs Boson; 17. Probing Universal Extra Dimensions at Present and Future Colliders; 18. Black Hole Production at Future Colliders.
The report summarizes the results of the activities of the Working Group on Precision Calculations for the Z Resonance at CERN during 1994.
The Physics Beyond Colliders initiative is an exploratory study aimed at exploiting the full scientific potential of the CERNs accelerator complex and scientific infrastructures through projects complementary to the LHC and other possible future colliders. These projects will target fundamental physics questions in modern particle physics. This document presents the status of the proposals presented in the framework of the Beyond the Standard Model physics working group, and explore their physics reach and the impact that CERN could have in the next 10-20 years on the international landscape.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
