Validation of Real Time Applications

Françoise Simonot-Lion 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this presentation, we show how to use a subclass of Timed Automata, called Timed Input Output State Machines (TIOSM) for the validation of real time systems. In a first step, we present a method for the formal generation of test scenarii ; this method decreases the number of inconclusive cases. In a second step we propose an hybrid method of a priori validation ; this method uses exhaustive analysis for critical parts of the model and simulation of the whole model where the critical parts are replaced by an abstarction, result of exhaustive analysis. || Dans cette présentation, nous montrons comment utiliser une sous-classe d'automates temporisés, appelés Timed Input Output State Machines (TIOSM) pour la validation d'applications temps réel. Dans une première étape, nous présentons une méthode de générat
Type de document :
Communication dans un congrès
Séminaire Zhejiang University, 2002, Zhejiang/China, 29 p, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00107583
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:02:09
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:52:03

Identifiants

  • HAL Id : inria-00107583, version 1

Collections

Citation

Françoise Simonot-Lion. Validation of Real Time Applications. Séminaire Zhejiang University, 2002, Zhejiang/China, 29 p, 2002. 〈inria-00107583〉

Partager

Métriques

Consultations de la notice

192

Téléchargements de fichiers

29