54,389 research outputs found
Improving runtime overheads for detectEr
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis.peer-reviewe
PolyLarva : technology agnostic runtime verification
With numerous specialised technologies available to industry, it is 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 system. The approach is then applied to a case study with C and Java components.peer-reviewe
Extensible technology agnostic runtime verification
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.peer-reviewe
Device-centric monitoring for mobile device management
The ubiquity of computing devices has led to an increased need to ensure not only that the applications
deployed on them are correct with respect to their specifications, but also that the devices are used in
an appropriate manner, especially in situations where the device is provided by a party other than the
actual user. Much work which has been done on runtime verification for mobile devices and operating
systems is mostly application-centric, resulting in global, device-centric properties (e.g. the user may
not send more than 100 messages per day across all applications) being difficult or impossible to
verify. In this paper we present a device-centric approach to runtime verify the device behaviour
against a device policy with the different applications acting as independent components contributing
to the overall behaviour of the device. We also present an implementation for Android devices, and
evaluate it on a number of device-centric policies, reporting the empirical results obtained.peer-reviewe
Quality-aware model-driven service engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Quality aspects
ranging from interoperability to maintainability to performance are of central importance for the integration of heterogeneous, distributed service-based systems. Architecture models can substantially influence quality attributes of the implemented software systems. Besides the benefits of explicit architectures on maintainability and reuse, architectural constraints such as styles, reference architectures and architectural patterns can influence observable software properties such as performance. Empirical performance evaluation is a process of measuring and evaluating the performance of implemented software. We present an approach for addressing the quality of services and service-based systems at the model-level in the context of model-driven service engineering. The focus on architecture-level models is a consequence of the black-box
character of services
- âŠ