Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données

par Khanh Hieu Ngo

Thèse de doctorat en Informatique

Sous la direction de Francis Cottet et de Emmanuel Grolleau.


  • Résumé

    Le développement d’un logiciel embarqué ou d’un système temps réel nécessite plusieurs étapes qui peuvent être échelonnées dans des intervalles de temps différents, et qui sont souvent itératives. De nos jours, il existe de nombreuses méthodes et outils de développement que l’on peut énumérer tels SA-RT, SD, DARTS, CODARTS, JSD, State-Charts, UML-RT, etc. L’objectif de la thèse est de proposer un environnement de conception, développement et validation d’applications temps réel basé sur la méthode DARTS, et sur le cycle de développement logiciel en W (une extension du cycle de développement classique en V). Cela se traduit par la création d’une bibliothèque logicielle pour un langage graphique flots de données, nommée DARTSVIEW, qui comporte des outils graphiques implémentés en langage G. Grâce à la palette DARTSVIEW, un concepteur pourra non seulement représenter une conception DARTS de façon aisée et intuitive, mais également simuler et tester sur place le modèle pour vérifier le respect de l’aspect fonctionnel du système. Les systèmes temps réel sont des systèmes dont le respect des contraintes temporelles est aussi important que l’exactitude du résultat, autrement dit il faut valider leur aspect temporel. Donc concernant cette pour aider dans cette tâche, la palette DARTSVIEW propose aux utilisateurs la possibilité de générer du code spécifique à une norme temps réel ou un langage cible d’un exécutif temps réel afin de pouvoir tester le système sur cible, et de pouvoir vérifier les paramètres temporels. Il s’agit de deuxième V du cycle de développement en W.

  • Titre traduit

    A Toolkit for the development of real-time systems based on a graphical dataflow language


  • Résumé

    The development of an embedded or a real-time system requires several steps which would be staggered in different time interval, and in such a way that they are frequently iterative. DARTS (Design Approach for Real-Time Systems) is a software design method for real-time systems. LabVIEW (Laboratory Virtual Instrument Engineering Workbench) is a graphical application development environment based on the dataflow representation of the “G” language. The objective of this thesis focuses on the DARTS method, and on the software life-cycle in W (an extension of the classical software life-cycle in V). DARTSVIEW Toolkit is a helpful tool for the DARTS development of control-command applications which allows the designer to represent a DARTS diagrams directly in LabVIEW in order to test the functional aspect of the system in the first V of the life-cycle in W, and to generate a part of the code for different specific programming languages or real-time scheduling analysis tools for the validation of the timing requirements in the second V of the software life-cycle in W.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (221 p.)
  • Annexes : Bibliogr. 140 réf. (p.208-214)

Où se trouve cette thèse ?

  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Non disponible pour le PEB
  • Cote : 08/POIT/2300
  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Non disponible pour le PEB
  • Cote : DI-TH-752
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.