• Langue : Français
• Discipline : Productique, automatique et informatique industrielle
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1999

Résumé en langue originale

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.