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

Full description

Bibliographic Details
Main Author: Pilaud, Daniel
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