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

Gaëlle Largeteau-Skapin 1, 2, * Dominique Geniet 2
* Auteur correspondant
1 SIC
XLIM - XLIM, Université de Poitiers
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
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (5), pp.589--625. 〈10.3166/tsi.27.589-625〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00346029
Contributeur : Gaëlle Largeteau-Skapin <>
Soumis le : mercredi 10 décembre 2008 - 18:55:32
Dernière modification le : lundi 21 mars 2016 - 17:30:30
Document(s) archivé(s) le : mardi 8 juin 2010 - 16:05:34

Fichier

TSI_LARGETEAU_GENIET_v2.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

Collections

Citation

Gaëlle Largeteau-Skapin, Dominique Geniet. Quantification du taux d'invalidité d'applications temps réel à contraintes strictes. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (5), pp.589--625. 〈10.3166/tsi.27.589-625〉. 〈hal-00346029〉

Partager

Métriques

Consultations de la notice

156

Téléchargements de fichiers

103