Précédent : Activités extérieures Remonter :
Projet
REFLECS Suivant : Abstract
- Communications à
congrès
- 1
- J.F. HERMANT,
M. SPURI,
``End-to-end response times in real-time distributed systems'',
in: PCDS'96, 9th ISCA/IEEE International Conference on
Parallel and Distributed Computing Systems,
p. 413-417, Dijon, France, 25-27 septembre 1996.
- 2
- G. LE
LANN, ``A methodology for
designing and dimensioning critical complex computing
systems'', in: IEEE International Symposium on the
Engineering of Computer-Based Systems, p. 332-339,
Friedrichshafen, Allemagne, 11-15 mars 1996.
- Rapports de
recherche
- 3
- L. GEORGE,
N. RIVIERRE,
M. SPURI,
``Preemptive and non-preemptive real-time uniprocessor
scheduling'', rapport de recherche n°2966, Inria,
septembre 1996.
- 4
- G. LE
LANN, ``The Ariane 5
Flight 501 Failure - A case study in system engineering for
computing systems'', rapport de recherche, Inria,
décembre 1996, rapport technique.
- 5
- M. SPURI,
``Analysis of deadline scheduled real-time systems'',
rapport de recherche n°2772, Inria, janvier 1996.
- 6
- M. SPURI,
``Holistic analysis for deadline scheduled real-time
distributed system'', rapport de recherche n°2873,
Inria, avril 1996.
- Divers
- 7
- E. ANCEAUME,
G. LE LANN, P. MINET, ``Étude des propriétés de
tolérance aux fautes pour la fonction trains-trappes d'un
système atterrisseur'', 1996, programme GENIE, 10 p.
- 8
- G. LE
LANN,
P. MINET, ``Analyse
du comportement du CONTRONIC-E'', Rapport d'avancement des
travaux, 30 juin 1996, lot 1 du marché IPSN 4040 6B 024 870/SH,
36 p.
- 9
- G. LE
LANN,
P. MINET, ``Analyse
du comportement du CONTRONIC-E'', Rapport final, 30 septembre
1996, lot 2 du marché IPSN 4040 6B 024 870/SH, 47 p.