Validation of Real Time Applications

Françoise Simonot-Lion (1)

1 TRIO - Real time and interoperability

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

Mots clés: automates temporisés; timed automata; test generation; validation; analysis; génération de tests; analyse; simulation

Domaines: Autre [cs.OH]

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