Accueil - Recherche par Faculté - Par enseignant - Par cours


INFO0035-1

Ingéniérie du logiciel dans les réseaux informatiques

Durée :30h Th, 30h Pr
ECTS :
2ème épreuve ingénieur civil informaticien5,5
2e licence en informatique6
Titulaire(s) :Guy Leduc
Aperçu général :
  • Structure d'un protocole, principe du génie logiciel.
  • Le langage de spécification ISO LOTOS : principes des algèbres de processus et des types de données algébriques, bases théoriques et application.
  • Vérification des spécifications : équivalence observationnelle, bisimulations forte, faible et de branchement, propriétés de sûreté et de vivacité, autres équivalences et préordres, méthodologie de vérification basée sur les modèles, étude de cas.
  • Réseaux de Petri, machines à états finis, analyse de l'accessibilité des états, langage SDL.
Objectif du cours :Au terme du cours, l'étudiant pourra spécifier et vérifier les spécifications de systèmes informatiques répartis tels que les réseaux. L'accent est mis sur les principes et méthodes applicables à des systèmes de taille réaliste, et sur les logiciels de support utilisables.
Pré-requis :S'il y a lieu, lien particulier avec un cours du cursus :
  • En amont : Introduction aux réseaux informatiques
Travaux pratiques :Répétitions: séances d'exercices.
Travail d'ingénierie de logiciel à effectuer par groupes de 2 ou 3 étudiants.
Organisation :Deuxième semestre, vendredi 9h00 - 12h00
Notes de cours :
  • Ouvrage(s) de référence: Principalement les transparents du cours et quelques chapitres de livres.
  • Lecture(s) obligatoires(s):
  • Lecture(s) conseillée(s):
Evaluation :L'étudiant devra être capable de mener à bien un petit projet en appliquant méthodiquement certains outils logiciels. Il devra en outre le présenter oralement et répondre à des questions.
Contacts :Enseignant : Guy Leduc, Guy.Leduc@ulg.ac.be
Secrétariat : Charline De Baets, ledent@montefiore.ulg.ac.be
Assistant : Nicolas Bonmariage, bonmarge@run.montefiore.ulg.ac.be
Etudiant-Moniteur : -




ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, directrice A.E.E.
Date de validité des données : 23/01/2004
Réalisation SEGI