Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones

par David Garriou

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Olivier Roux et de Christophe Mauras.

Soutenue en 2002

à Nantes .


  • Résumé

    Ce travail décrit la simulation symbolique de programmes appliquée à la programmation réactive synchrone. Cette technique prend en compte les aspects booléens et numériques des programmes. La simulation symbolique est une approche intermédiaire pour l'analyse des systèmes réactifs. Elle se situe entre la simulation (au sens usuel, c'est-à-dire la simulation sur des données concrètes) et la vérification formelle. Cela consiste à simuler un programme en une seule fois pour un ensemble de situations, voire pour toutes les valeurs que peuvent prendre les variables d'entrée du système. L'analyse d'un système, en le simulant symboliquement, permet d'extraire des relations sur les variables du système, ou, à l'issu d'un calcul d'accessibilité permet de déterminer une approximation supérieure de l'ensemble des états accessibles du système. .


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 110 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 107-110

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 02 NANT 2078
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : 02 NANT 2078
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1997 bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.