Fault-aware sensitivity analysis for probabilistic real-time systems

International audienceIn probabilistic real-time modeling, diverse task execution conditions can be characterized with probabilistic distributions, where multiple execution time thresholds are represented, each with an exceeding probability. Comparing to traditional deterministic real-time, probabilistic approaches provide more flexibility in system behavior modeling, which may result in more precise schedulability analysis. With this work, we combine sensitivity analysis and probabilistic models of fault effects on task execution behaviors. The goal is to develop probabilistic schedulability analysis that is applicable to both faulty and nonfaulty execution conditions. While the probabilities accurately characterize faults and faults effects on worst-case execution times, the probabilistic schedulability analysis both qualifies and quantifies faults impacts on system schedulability.En modélisation probabiliste des systèmes temps réel l'exécution des tâches peut être représentée avec des distributions probabilistes, où les temps d'exécution multiples sont représentés, chacun avec une probabilité. Comparé à temps réel traditionnel - temps réel déterministe - les approches probabilistes fournissent flexibilité dans la modélisation du comportement du système, ce qui peut entraîner flexibilité d'analyse d'ordonnançabilité. Avec ce travail, nous combinons l'analyse de sensibilité et les modèles probabilistes des effets de défaut (fautes) sur les comportements d'exécution des tâches. L'objectif est de développer une analyse d'ordonnançabilité probabiliste qui prend en charge les conditions d'exécution avec et sans faute. Bien que les probabilités avec précision caractérisent des défauts et les effets des défauts sur l'exécution des tâches, l'analyse d'ordonnançabilité probabiliste quantifie les impacts des défauts sur ordonnançabilité du système