RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Projet REFLECS
Génie système et informatique distribuée temps réel tolérant les fautes
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Rocquencourt
Mots-clés : génie système, preuve, architecture
répartie, algorithme de contrôle de concurrence, parallélisme
asynchrone, réseau local, protocole de communication, accès
multiple, ordonnancement, tolérance aux fautes, consensus
réparti, diffusion fiable, diffusion atomique, causalité externe,
temps réel, application critique, système complexe, simulation,
évaluation de performances, raisonnement d'adversité, méthode de
conception, dimensionnement prouvé correct