AbstractReal-time monitoring is required because of the uncertainty in the operating environment such as (i)faulty hardware(ii)the untrustworthiness of legacy and/or imported systems and(iii)the violation of operational assumptions by the external environment, e.g., operator mistakes.Different types of uncertainty may constrain the type of monitoring that can be performed. In this talk, we shall discuss the monitoring of non-functional properties such as timeliness and resource usage bounds, under the constraints imposed by the operating environment such as the uncertainty in the time of occurrence of events or the untrustworthiness of imported code
We describe the Monitoring and Checking (MaC) framework which provides assurance on the correctness ...
Modern industrial applications often employ embedded processors – programmed with dedicated software...
Online monitoring of software systems has lately been gaining popularity. Yet, such monitoring inter...
Abstract. This tutorial focuses on issues involved in runtime monitoring of time-sensitive systems, ...
Abstract. We present and analyze monitoring algorithms for a safety fragment of metric temporal logi...
Runtime monitoring of embedded systems is a method to safeguard their reliable operation by detectin...
International audienceEstimating safe upper bounds on task execution times is required in the design...
Anytime algorithms give intelligent real-time systems the ability to trade deliberation time for qua...
A task which is a part of a real time application must not only perform a specific function but it m...
In this paper we present the state of our work on runtime monitoring for real-time systems: a way to...
Abstract: Most research focusing on timing errors deals with scheduling policies that avoid the erro...
We discuss the problem of runtime verification of an instrumented program that misses to emit and to...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
Abstract. Existing real-time monitoring approaches assume traces with precise timestamps. Their corr...
We present a formally specified event specification language (Solicitor). Solicitor is suitable for ...
We describe the Monitoring and Checking (MaC) framework which provides assurance on the correctness ...
Modern industrial applications often employ embedded processors – programmed with dedicated software...
Online monitoring of software systems has lately been gaining popularity. Yet, such monitoring inter...
Abstract. This tutorial focuses on issues involved in runtime monitoring of time-sensitive systems, ...
Abstract. We present and analyze monitoring algorithms for a safety fragment of metric temporal logi...
Runtime monitoring of embedded systems is a method to safeguard their reliable operation by detectin...
International audienceEstimating safe upper bounds on task execution times is required in the design...
Anytime algorithms give intelligent real-time systems the ability to trade deliberation time for qua...
A task which is a part of a real time application must not only perform a specific function but it m...
In this paper we present the state of our work on runtime monitoring for real-time systems: a way to...
Abstract: Most research focusing on timing errors deals with scheduling policies that avoid the erro...
We discuss the problem of runtime verification of an instrumented program that misses to emit and to...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
Abstract. Existing real-time monitoring approaches assume traces with precise timestamps. Their corr...
We present a formally specified event specification language (Solicitor). Solicitor is suitable for ...
We describe the Monitoring and Checking (MaC) framework which provides assurance on the correctness ...
Modern industrial applications often employ embedded processors – programmed with dedicated software...
Online monitoring of software systems has lately been gaining popularity. Yet, such monitoring inter...