Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande

Résumé : Pour la conception d’un système contrôle-commande, les spécifications fonctionnelles sont à la charge des concepteurs car ce sont eux qui en maîtrisent le fonctionnement. Ces experts n’ont pourtant généralement pas les connaissances en programmation de ceux qui conçoivent le système de pilotage. Ils écrivent alors ces spécifications fonctionnelles en langage naturel, les communiquent ensuite aux concepteurs de l’interface de supervision et du programme de commande qui sont en charge de les implémenter et de les intégrer au système. Les erreurs qui découlent de l’interprétation des spécifications émanent de la différence de culture technique entre les différents intervenants du projet. De plus, suivant la complexité du système, la définition des spécifications fonctionnelles peut être fastidieuse. Nous proposons une approche de conception basée d’une part sur l’analyse de la tâche et sur les techniques du End User Development pour l’obtention de spécifications fonctionnelles validées par les experts métiers. Les techniques de l’ingénierie dirigée par les modèles sont mises en oeuvre pour générer automatiquement l’interface de spécification (qui intègre un Enregistreur, un Généralisateur, un Rejoueur, et un Correcteur), l’interface de supervision du système à piloter et son programme de commande. La démarche proposée a fait l’objet d’une preuve de concept démontrant sa faisabilité technique. Cette preuve de concept a fait l’objet d’évaluations qui ont démontré son intérêt dans le cadre de la conception de système de supervision.
Type de document :
Thèse
Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2017. Français. 〈NNT : 2017ESMA0003〉
Liste complète des métadonnées

Littérature citée [307 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01505594
Contributeur : <>
Soumis le : mardi 11 avril 2017 - 15:02:07
Dernière modification le : lundi 10 juillet 2017 - 11:21:18
Document(s) archivé(s) le : mercredi 12 juillet 2017 - 13:34:11

Fichier

2017ESMA0003_goubali.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01505594, version 1
  • Mot de passe :

Collections

Citation

Olga Goubali. Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande. Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2017. Français. 〈NNT : 2017ESMA0003〉. 〈tel-01505594〉

Partager

Métriques

Consultations de la notice

324

Téléchargements de fichiers

144