Validation of Real Time Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Validation of Real Time 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
Fichier principal
Vignette du fichier
A02-R-238.pdf (128.03 Ko) Télécharger le fichier

Dates and versions

inria-00107583 , version 1 (19-10-2006)

Identifiers

  • HAL Id : inria-00107583 , version 1

Cite

Françoise Simonot-Lion. Validation of Real Time Applications. Séminaire Zhejiang University, 2002, Zhejiang/China, 29 p. ⟨inria-00107583⟩
117 View
15 Download

Share

Gmail Facebook Twitter LinkedIn More