104documents trouvés
Formal guides for experimentally verifying complex software-implemented fault tolerance mechanisms
A.ARAZO, Y.CROUZET
TSF
Manifestation avec acte : 7th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2001), Skövde (Suède), 11-13 Juin 2001, pp.69-79 , N° 01028
Diffusable
45904Dependability of computer control systems in power plants. Analytical and experimental evaluation
C.ALMEIDA, A.ARAZO, Y.CROUZET, K.KANOUN
LIS
Manifestation avec acte : 19th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2000), Rotterdam (Pays-Bas), 24-27 Octobre 2000 , N° 00154
Diffusable
41198Composants logiciels et sûreté de fonctionnement. Intégration de COTS
J.ARLAT, J.P.BLANQUART, T.BOYER, Y.CROUZET, M.H.DURAND, J.C.FABRE, M.FOUNAU, M.KAANICHE, K.KANOUN, P.LE MEUR, C.MAZET, D.POWELL, F.SCHEERENS, P.THEVENOD-FOSSE, H.WAESELYNCK
LIS
Ouvrage (auteur) : Hermès, 2000, 158p. , N° 00112
Non diffusable
39747Vérification formelle des propriétés des mécanismes de tolérance aux fautes : application au protocole PADRE
Y.QUIDEAU, A.ARAZO, Y.CROUZET
LIS
Rapport de Contrat : Contrat EDF-LAAS N°P32/6A3652/EP852, Décembre 1999, 56p. , N° 99551
Diffusion restreinte
37008Validation expérimentale des systèmes par injection de fautes : état de l'art des techniques et outils
A.ARAZO, Y.CROUZET
LIS
Rapport de Contrat : Contrat EDF N°P32/6A3652/EP852, Novembre 1999, 85p. , N° 99476
Diffusion restreinte
36191Fault tolerant computing
J.ARLAT, Y.CROUZET, Y.DESWARTE, J.C.LAPRIE, D.POWELL, P.DAVID, J.L.DEGA, C.RABEJAC, H.SCHINDLER, J.F.SOUCAILLE
TSF, MATRA
Ouvrage (contribution) : Encyclopedia of Electrical and Electronic Engineering, Vol.7, Ed. JG.Webster, Wiley Interscience, N°ISBN 0471139467, 1999, pp.285-313 , N° 98005
Diffusable
36214A method for operator error detection based on plan recognition
J.MO, Y.CROUZET
LIS
Manifestation avec acte : 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Toulouse (France), 27-29 Septembre 1999 , N° 97530
Diffusable
35258Validation-based development of dependable systems
J.ARLAT, J.BOUE, Y.CROUZET
TSF
Revue Scientifique : IEEE Micro, Vol.19, N°4, pp.66-79, Juillet/Août 1999 , N° 98392
Diffusable
34747Architecture tolérante aux fautes transitoires pour mini et gros satellites. Validation par injection de fautes
Y.CROUZET, J.C.LAPRIE, D.POWELL
TSF
Rapport LAAS N°99149, Juin 1999, 34p.
Non diffusable
36108Guiding the experimental validation of dependable commercial control and supervision systems by a formal approach
A.ARAZO, Y.CROUZET
LIS
Manifestations avec acte à diffusion limitée : 10th European Workshop on Dependable Computing (EWDC-10), Vienne (Autriche), 6-7 Mai 1999, pp.21-25 , N° 99097
Diffusable
33432