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 / Emmanuelle Croce de Gentili ; sous la direction de Jean François Santucci

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Santucci, Jean-François (Directeur de thèse / thesis advisor)

Université de Corse (1975-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : 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.