In order to provide reliable system support for real-time applications, it is often important to be able to collect statistics about the tasks temporal behaviours (in terms of execution times and inter-arrival times). Such statistics can, for example, be used to provide a-priori schedulability guarantees, or to perform some kind of on-line adaptation of the scheduling parameters (adaptive scheduling, or feedback scheduling). This work shows how the Linux kernel allows to collect such statistics by using an internal function tracer called Ftrace. Based on this feature, tools can be developed to evaluate the real-time performance of a system or an application, to debug real-time applications, and/or to infer the temporal properties (for examp...
International audienceGiven the complexity of current supercomputers and applications, being able to...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
This paper presents a methodology to model and check the behavior of a part of the Linux kernel by a...
In order to provide reliable system support for real-time applications, it is often important to be ...
ABSTRACT: Debugging real-time software presents an inherent challenge because of the nature of real-...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
ABSTRACT: This paper focuses on the analysis of execution traces for real-time systems. Kernel traci...
Journal ArticleAlthough computer programs explicitly represent data values, time values are usually ...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
This article proposes an automata-based model for describing and verifying the behavior of thread ma...
With the growth in the complexity of real-time embedded systems, there is an increasing need for too...
Embedded systems in applications that include GPS, airplanes, life support devices, video de-coders ...
Software systems have become increasingly complex, which makes it difficult to detect the root cause...
This article proposes an automata-based model for describing and validating sequences of kernel even...
ABSTRACT: We propose a new class of profiler for distributed and heterogeneous systems. In these sys...
International audienceGiven the complexity of current supercomputers and applications, being able to...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
This paper presents a methodology to model and check the behavior of a part of the Linux kernel by a...
In order to provide reliable system support for real-time applications, it is often important to be ...
ABSTRACT: Debugging real-time software presents an inherent challenge because of the nature of real-...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
ABSTRACT: This paper focuses on the analysis of execution traces for real-time systems. Kernel traci...
Journal ArticleAlthough computer programs explicitly represent data values, time values are usually ...
Linux has become a viable operating system for many real-time workloads. However, the black-box appr...
This article proposes an automata-based model for describing and verifying the behavior of thread ma...
With the growth in the complexity of real-time embedded systems, there is an increasing need for too...
Embedded systems in applications that include GPS, airplanes, life support devices, video de-coders ...
Software systems have become increasingly complex, which makes it difficult to detect the root cause...
This article proposes an automata-based model for describing and validating sequences of kernel even...
ABSTRACT: We propose a new class of profiler for distributed and heterogeneous systems. In these sys...
International audienceGiven the complexity of current supercomputers and applications, being able to...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
This paper presents a methodology to model and check the behavior of a part of the Linux kernel by a...