Modélisation comportementale des composants et des applications de contrôle-commande IEC 61499

par Marius-Petru Stãnicã

Thèse de doctorat en Traitement du signal et télécommunications

Sous la direction de Hervé Guéguen.

Soutenue en 2005

à Rennes 1 .


  • Résumé

    Les applications de commande présentent un caractère distribué qui s'accompagne de forts besoins de sûreté et de validation. La norme IEC 61499 définit un modèle de composants logiciels sous la forme de blocs fonctionnels. Si l'utilisation de tels blocs fonctionnels permet de répondre aux exigences de modularité et de réutilisation, elle pose des problèmes de validation du comportement des applications, auxquels le test seul ne peut pas apporter toutes les solutions. Nous proposons dans ce travail une modélisation formelle du comportement des blocs fonctionnels et de leurs interactions sous la forme d'un réseau d'automates temporisés. La construction du modèle de l'application se fait par la composition des modèles associés aux blocs fonctionnels élémentaires en cohérence avec la démarche de construction de l'application elle-même. Afin de limiter la complexité des modèles élémentaires, en cohérence avec le modèle d'exécution, ceux-ci sont basés sur le concept de réactions aux événements extérieurs. Le développement d'un outil de traduction automatique et son application à la validation d'un exemple permettent de valider ces concepts de modélisation.

  • Titre traduit

    IEC 61499 contol applications behaviur modelling


  • Pas de résumé disponible.

Autre version

Modélisation comportementale des composants et des applications de contrôle-commande IEC 61499


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (127p.f)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 61 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 2005/33
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : LURPA / THESE 2005 01
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

à

Informations

  • Sous le titre : Modélisation comportementale des composants et des applications de contrôle-commande IEC 61499
  • Détails : 1 vol. (127p.f)
  • Annexes : Bibliogr. 61 réf.
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.