Quantification du taux d'invalidité d'applications temps réel à contraintes strictes

International audienceThis work is about an operational conception toolkit for real time applications. Temporal validation is usually based on tools with binary validation results. In this paper, we show how to build some quality indicators able to quantify invalidity numerically. First, we present an automata-based model and then its geometrical adaptation, which permits to compute a measure of invalidit

Validation temporelle de systèmes de tâches temps-réel strictes à durée variables à l'aide de langages rationnels

16 pagesInternational audiencewe show that real-time systems composed of both periodic and sporadic interdependents tasks wich CPU time is not fixed can be validated from a methodology based on rational languages. This property leads to the cyclicity of the scheduling sequences for such systems

Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes

National audienceThis paper deals with temporal validation of distributed hard real time systems. We consider here the target machine physical properties. Indeed, several temporal characteristics of some tasks depend on hardware properties, and then influence the model. We suppose that there is no task migration, and we did not study the tasks allocation problem. We valid this method to the protocol CA

Quantification du taux d'invalidité d'applications temps réel : une approche géométrique

International audienceCe travail s'intègre dans un projet de conception d'outils d'aide à la spécification d'applications temps-réel à contraintes strictes : il s'agir, lorsqu'une application est invalide, d'identifier les causes de l'invalidité. Nous nous basons sur un modèle géométrique pour les applications temps-réel. Une mesure est définie à partir de ce modèle sur la base d'une distance géométrique. Les systèmes que nous traitons utilisent des ressources critiques et fonctionnent sur des architectures multiprocesseurs. Les tâches sont périodiques, non réentrantes, à départ différés

Term Validation of distributed hard real time applications

International audienceWe show that, when the modeled physical process is closed, finite automata and product operators are sufficient to valid distributed systems on an operational way

Validation of distributed periodic real-time systems using CAN protocol with finite automata

International audience‘In a previous work, we have defined a temporal model based on regular languages to validate periodic real-time systems: the feasability decisional process is expressed by means of algebraic operations on languages, such as intersection, Hadamard product, and language center computing. Here, we describe how this model can be used to validate periodic distributed real-time systems. We base this description on the example of the CAN network protocol

AUTOMAF : un systeme de construction d'automates synchronises et de calcul de mesure du parallelisme

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel (étude comparative et calcul des priorités)

Nos recherches portent sur l étude des systèmes temps-réel composés de tâches périodiques et ordonnancés en environnement multiprocesseur. Nos travaux s organisent autour de deux thèmes de recherche~: la production de solutions d ordonnancement et l analyse quantitative de l ordonnançabilité. Pour mener à bien ces recherches, nous avons été amenés à étudier certaines propriétés théoriques comme la cyclicité des séquences d exécution. Sous certaines hypothèses, englobant par exemple RM, DM et EDF, nous montrons que les séquences d exécution multiprocesseur sont cycliques, et nous proposons un intervalle de faisabilité. Nous apportons deux contributions au problème de l ordonnancement. D une part, nous proposons une méthode pour déterminer toutes les configurations de priorités fixes permettant d ordonnancer un système de tâches. Nous étendons cette approche aux configurations de priorités fixes par instance et proposons l étude d une nouvelle classe de politiques d ordonnancement. D autre part, nous appliquons les méthodes d'approximation (méthode taboue, algorithmes génétiques, etc) au problème de l'ordonnancement des systèmes de tâches liées par des contraintes de précédence, afin d'obtenir des séquences d'exécution optimisant certains critères comme la durée totale d'exécution par exemple. Lorsque aucune politique connue n est utilisable, le concepteur est généralement amené à modifier la conception du système. Peu de travaux permettent de le guider. Nous proposons une méthode basée sur les chaînes de Markov qui renseigne sur le comportement d un système de tâches en fonction du support matériel utilisé. Les informations apportées permettent de comprendre les problèmes qui sont à la source des difficultés et donc d aider à modifier la conception. Elles renseignent aussi sur la qualité de service offerte par le système.POITIERS-BU Sciences (861942102) / SudocSudocFranceF

WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

AbstractThis paper presents the initial step of an aid design method earmarked for operational validation of hard real-time systems. We consider systems that are composed of sequential hard real-time tasks, which are embedded on centralized multiprocessor architectures. We introduce a model based upon untimed finite automata and meant to collect the operational behaviors of the system compatible with its time specifications, and we go on to provide a feasibility decision result for systems composed of tasks presenting CPU loads which are exact values: execution times are not WCET values. This is why we call this approach WCET-free analysis. The results we have achieved likewise involve hardware specifications such as multiprocessors and speeds of processors

Thimonnier L., Using Generating Functions to Compute Concurrency

We present succinctly the Arnold-Nivat's model for the synchronization of sequential preocesses, and we recall the concurrency measure defined by Beauquier, Dérard and Thimonier. We present here a new technics for the computation of this measure avoiding very often a very expensive part of the computation. We illustrate this method by the mutual exclusion example