É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.

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. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Non disponible pour le PEB
  • 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.