Showing 1–2 of 2 results for author: Bar-Hen, A

Response Times Parametric Estimation of Real-Time Systems

Authors: Kevin Zagalo, Olena Verbytska, Liliana Cucu-Grosjean, Avner Bar-Hen

Abstract: Real-time systems are a set of programs, a scheduling policy and a system architecture, constrained by timing requirements. Most of daily embedded devices are real-time systems, e.g. airplanes, cars, trains, spatial probes, etc. The time required by a program for its end-to-end execution is called its response time. Usually, upper-bounds of response times are computed in order to provide safe dead… ▽ More Real-time systems are a set of programs, a scheduling policy and a system architecture, constrained by timing requirements. Most of daily embedded devices are real-time systems, e.g. airplanes, cars, trains, spatial probes, etc. The time required by a program for its end-to-end execution is called its response time. Usually, upper-bounds of response times are computed in order to provide safe deadline miss probabilities. In this paper, we propose a suited re-parametrization of the inverse Gaussian mixture distribution adapted to response times of real-time systems and the estimation of deadline miss probabilities. The parameters and their associated deadline miss probabilities are estimated with an adapted Expectation-Maximization algorithm. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: 21 pages, 6 figures, 2 tables

Assessing the Distribution Consistency of Sequential Data

Authors: Mahendra Mariadassou, Avner Bar-Hen

Abstract: Given n observations, we study the consistency of a batch of k new observations, in terms of their distribution function. We propose a non-parametric, non-likelihood test based on Edgeworth expansion of the distribution function. The keypoint is to approximate the distribution of the n+k observations by the distribution of n-k among the n observations. Edgeworth expansion gives the correcting te… ▽ More Given n observations, we study the consistency of a batch of k new observations, in terms of their distribution function. We propose a non-parametric, non-likelihood test based on Edgeworth expansion of the distribution function. The keypoint is to approximate the distribution of the n+k observations by the distribution of n-k among the n observations. Edgeworth expansion gives the correcting term and the rate of convergence. We also study the discrete distribution case, for which Cramèr's condition of smoothness is not satisfied. The rate of convergence for the various cases are compared. △ Less

Submitted 4 June, 2009; originally announced June 2009.

Comments: 20 pages, 0 figures

MSC Class: 62G09; 60F05; 62G05