Spécification et vérification fonctionnelle et comportementale d'un équipement intelligent

par Étienne Lemaire

Thèse de doctorat en Productique, automatique et informatique industrielle

Sous la direction de Mireille Bayart.

Soutenue en 1999

à Lille 1 .


  • Résumé

    Les équipements intelligents sont des équipements capables d'effectuer des traitements localement et de communiquer avec leur environnement. A ce titre, ils sont plus particulièrement utilisés dans l'industrie du process et les systèmes embarqués. La conception de tels équipements est un point important pour une bonne adéquation de l'équipement avec son environnement en particulier pour éviter des incohérences au niveau du fonctionnement qui sont souvent coûteuses à réparer. En ce sens, la spécification des besoins d'un équipement intelligent à partir d'un cahier des charges fourni est une étape primordiale qui permet de modéliser l'équipement et de le valider avant de passer à l'étape de conception proprement dite. L'objet de cette thèse est de proposer une méthode pour guider le concepteur dans sa démarche d'expression et de formalisation des besoins d'un équipement intelligent, d'en donner une spécification fonctionnelle et comportementale cohérente et enfin de la valider afin d'obtenir le cahier des charges de l'étape de conception. Après une présentation de la problématique de la conception, une méthode de spécification fonctionnelle basée sur le modèle externe et générique d'équipement intelligent est proposée. Une validation de la spécification fonctionnelle est alors obtenue par des vérifications successives, puis le modèle SYNCCHARTS est utilisé pour modéliser le comportement. Une simulation peut alors être effectuée pour tester le comportement de l'équipement intelligent. Enfin, l'application de la démarche est appliquée à un régulateur de la vitesse de croisière d'un véhicule.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (207 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. à la suite de chaque chapitre

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1999-307
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.