Abstract FR:

A PARTIR D'UN MODELE MIXTE D'ACTIVITES SYNCHRONISEES ET CONCURRENTE, NOUS DECRIVONS UN OUTIL DE PREDICTION DE PERFORMANCE DU PARALLELISME, EN INTEGRANT DES TECHNIQUES DE GENIE LOGICIEL. UNE INTERFACE HOMME/MACHINE CONVIVIALE EST DEVELOPPEE, AINSI QU'UN GESTIONNAIRE D'OBJETS PERMETTANT DE CONSERVER ET DE MANIPULER RAPIDEMENT LES MODELES DE L'UTILISATEUR. LES ESTIMATEURS DE PERFORMANCE PEUVENT ETRE OBTENUS PAR SIMULATION OU PAR DES SOLVEURS ANALYTIQUES, POUR DES CAS RESTREINTS DU MODELE. NOUS ETUDIONS EN PARTICULIER LE MODELE PERT ET UNE GENERALISATION DE CELUI-CI ADAPTE A L'ETUDE DU COMPORTEMENT TEMPOREL DES LOGICIELS (PERT biologiQUE). POUR CELA, NOUS DEVELOPPONS UN ALGORITHME DE FAIBLE COMPLEXITE FOURNISSANT UN ENCADREMENT DU TEMPS D'EXECUTION. NOUS ETUDIONS ENSUITE LE COMPORTEMENT ASYMPTOTIQUE DU TEMPS D'EXECUTION DE GRAPHES AYANT UNE TOPOLOGIE REGULIERE.