Modelisation uml executable pour les systemes embarques de l'automobile

par Sébastien Gérard

Thèse de doctorat en Sciences et techniques

Sous la direction de François Terrier.

Soutenue en 2000

à Evry-Val D'Essonne .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Les ingenieurs sont de plus en plus confrontes a des problemes difficiles de developpement de systemes temps-reel sophistiques alors que le temps de mise sur le marche doit constamment diminuer. La modelisation orientee objets soutenue par le standard uml apporte des solutions efficaces a de tels problemes. Cependant, les capacites de specification du comportement temps-reel d'une application ne sont pas encore completement satisfaisantes. En effet, les methodes actuellement industrialisees fournissent des solutions en terme de specification de la concurrence d'une application, mais restent insuffisantes notamment pour expression des contraintes temps-reel d'une application. Ce travail s'est efforce de construire une methodologie uml complete et coherente au travers d'un profil uml dedie a la construction de systemes electroniques pour l'automobile. Ce profil contient les extensions necessaires a une expression riche et consistante des contraintes temps-reel d'un systeme. De plus, par la formalisation de la notion de machine de protocole definie dans uml, une integration forte du modele objet au modele temps-reel a ete realisee. Le resultat principal de cette integration est la possibilite pour un utilisateur de modeliser des applications temps-reel au travers d'une interface objet classique, i. E. Sans la necessite d'un haut niveau d'expertise dans le domaine du developpement d'applications temps-reel. Enfin, pour repondre a un besoin industriel de prototypage (element cle pour l'industrie automobile), l'application de la methode accord/uml permet de construire des modeles executables d'une application. Pour cela, la methode fournit un ensemble de regles permettant de lever les points d'ambiguite semantique de uml, de completer

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 283 p.
  • Notes : Publication autorisée par le jury
  • Annexes : 90 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.