Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones
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 situ...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones / David Garriou; [sous la dir. de] Olivier Roux et Christophe Mauras |
Publié : |
[S.l.] :
[s.n.]
, 2002 |
Description matérielle : | 110 p. |
Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2002 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
LEADER | 03030cam a2200457 4500 | ||
---|---|---|---|
001 | PPN070706522 | ||
005 | 20240531154500.0 | ||
009 | DYNIX_BUNAN_526776 | ||
100 | |a 20030424d2002 k u0frey0103 ba | ||
101 | 0 | |a fre |d fre |d eng | |
102 | |a FR | ||
105 | |a y m ||||| | ||
106 | |a r | ||
200 | 1 | |a Étude et mise en oeuvre de la simulation symbolique de programmes réactifs synchrones |b Texte imprimé |f David Garriou |g [sous la dir. de] Olivier Roux et Christophe Mauras | |
210 | |a [S.l.] |c [s.n.] |d 2002 | ||
215 | |a 110 p. |d 30 cm | ||
301 | |a Thèse : 2002NANT2078 | ||
310 | |a Publication autorisée par le jury | ||
320 | |a Bibliogr. p. 107-110 | ||
328 | |a Thèse doctorat : Automatique et informatique appliquée : Nantes : 2002 | ||
330 | |a 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.. | ||
606 | 1 | |3 PPN027333930 |a Temps réel (informatique) |3 034947124 |x Thèses |2 rameau | |
606 | 1 | |3 PPN027248763 |a Simulation, Méthodes de |3 034947124 |x Thèses |2 rameau | |
700 | 1 | |3 PPN070703388 |a Garriou |b David |4 070 | |
702 | 1 | |3 PPN070706727 |a Mauras |b Christophe | |
702 | 1 | |3 PPN066922836 |a Roux |b Olivier |f 1969-.... |c Professeur agrégé d'histoire-géographie |4 727 | |
712 | 0 | 2 | |3 068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 295 |
712 | 0 | 2 | |3 03063525X |a Centrale Nantes |c 1991-.... |4 295 |
712 | 0 | 2 | |3 026403447 |a Université de Nantes |c 1962-2021 |4 295 |
801 | 3 | |a FR |b Abes |c 20030425 |g AFNOR | |
915 | |5 441092306:174307004 |b 1142229287 | ||
930 | |5 441092306:174307004 |b 441092306 |l 526776 |a TH 1997 bis |j u | ||
930 | |5 441092104:173241484 |b 441092104 |a 02 NANT 2078 |j g | ||
930 | |5 441092104:173241417 |b 441092104 |a 02 NANT 2078 |j u | ||
979 | |a ECN | ||
979 | |a SCI | ||
993 | |a 1142229287 |b ECN |c Th.1997 bis |d ECN1 |e ECN1 |f I |g 15-05-2003 |h 15-05-2003 |p 0 |s Th.1997 bis |t ECN1 |u ECN1 |v i | ||
993 | |a -953326 |b ECN |c Th.1997 |d EX |e ECN3X |f I |g 15-05-2003 |h 15-05-2003 |p 0 |s Th.1997 |t EX |u ECN3X |v i | ||
993 | |a 1161492903 |b SCI |c 02 NANT 2078 |d EM |e THE12 |f I |g 25-04-2003 |h 25-04-2003 |i 16-07-2003 |p 0 |s 149290 |t EM |u SCTH12 |v i | ||
993 | |a 1161492910 |b SCI |c 02 NANT 2078 |d EX |e THEMAG |f I |g 25-04-2003 |h 25-04-2003 |p 0 |s 149291 |t EX |u SCTHMAG |v i | ||
998 | |a 23153 |