Contribution au développement d'une méthode de validation d'architecture logicielle de télécommunication à l'aide de la modélisation et la simulation à événements discrets

par Emmanuelle Croce de Gentili

Thèse de doctorat en Sciences pour l'environnement

Sous la direction de Jean-François Santucci.

Soutenue en 2002

à Corte .

    mots clés mots clés


  • Résumé

    Nos travaux s'articulent autour de la modélisation et la validation à événements discrets pour la validation d'architecture logicielle à haut niveau d'abstraction - c'est à dire au niveau des spécifications - Nous avons développé une approche méthodologique générique nommée DSSV-générique approche répondant à ces critères. Nous avons ensuite validé la méthode sur une application dans le domaine des télécommunications, nous avons modélisé un composant de l'architecture CORBA, le Portable Object Adapter. En plus du fait de valider notre approche cette méthode à un second intérêt qui réside dans le fait qu'il est ainsi possible de valider une architecture logicielle distribuée avant même son implémentation physique par modélisation et simulation au niveau des spécifications donc indépendamment de la distribution physique des composants.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol (201 p.)
  • Annexes : Bibliogr. p. X-XVII

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Corse (Corte, Haute-Corse). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : TH CRO 52530
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.