Quantification du taux d'invalidité d'applications temps réel à contraintes strictes
Abstract
This 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 invalidity
Origin : Files produced by the author(s)
Loading...