Méthode de conception descendante de systèmes temps réel
Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une ma...
Main Author: | |
---|---|
Language: | FRE |
Published: |
1982
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00304338 http://tel.archives-ouvertes.fr/docs/00/30/43/38/PDF/Pilaud.Daniel_1982_these.pdf |
id |
ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00304338 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003043382013-01-07T18:33:00Z http://tel.archives-ouvertes.fr/tel-00304338 http://tel.archives-ouvertes.fr/docs/00/30/43/38/PDF/Pilaud.Daniel_1982_these.pdf Méthode de conception descendante de systèmes temps réel Pilaud, Daniel [INFO:INFO_MO] Computer Science/Modeling and Simulation temps réel contrôle informatique de processus conception descendante spécification GRAFCET implantation fidele Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une machine abstraite réalisant le systeme ainsi que la dérivé temporelle admissible sur les entrées et les sorties du système. Ensuite, deux types d'implantation sont proposes: l'implantation fidèle qui est la réalisation d'une machine concrète ayant un comportement semblable à la machine abstraite (à la dérivé temporelle près). Dans le cas contraire, une alarme est envoyée à l'environnement. Cette implantation peut être faite automatiquement grâce à l'interpréteur GRAFCET fidèle. Le deuxième type d'implantation est l'implantation sur ou par construction les contraintes de fonctionnement sont respectées 1982-11-23 FRE PhD thesis |
collection |
NDLTD |
language |
FRE |
sources |
NDLTD |
topic |
[INFO:INFO_MO] Computer Science/Modeling and Simulation temps réel contrôle informatique de processus conception descendante spécification GRAFCET implantation fidele |
spellingShingle |
[INFO:INFO_MO] Computer Science/Modeling and Simulation temps réel contrôle informatique de processus conception descendante spécification GRAFCET implantation fidele Pilaud, Daniel Méthode de conception descendante de systèmes temps réel |
description |
Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une machine abstraite réalisant le systeme ainsi que la dérivé temporelle admissible sur les entrées et les sorties du système. Ensuite, deux types d'implantation sont proposes: l'implantation fidèle qui est la réalisation d'une machine concrète ayant un comportement semblable à la machine abstraite (à la dérivé temporelle près). Dans le cas contraire, une alarme est envoyée à l'environnement. Cette implantation peut être faite automatiquement grâce à l'interpréteur GRAFCET fidèle. Le deuxième type d'implantation est l'implantation sur ou par construction les contraintes de fonctionnement sont respectées |
author |
Pilaud, Daniel |
author_facet |
Pilaud, Daniel |
author_sort |
Pilaud, Daniel |
title |
Méthode de conception descendante de systèmes temps réel |
title_short |
Méthode de conception descendante de systèmes temps réel |
title_full |
Méthode de conception descendante de systèmes temps réel |
title_fullStr |
Méthode de conception descendante de systèmes temps réel |
title_full_unstemmed |
Méthode de conception descendante de systèmes temps réel |
title_sort |
méthode de conception descendante de systèmes temps réel |
publishDate |
1982 |
url |
http://tel.archives-ouvertes.fr/tel-00304338 http://tel.archives-ouvertes.fr/docs/00/30/43/38/PDF/Pilaud.Daniel_1982_these.pdf |
work_keys_str_mv |
AT pilauddaniel methodedeconceptiondescendantedesystemestempsreel |
_version_ |
1716452815557099520 |