Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:02:09 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 12:52:03 PM


  • HAL Id : inria-00107583, version 1



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



Record views


Files downloads