Jean Arlat
TitelZitiert vonJahr
Fault injection for dependability validation: A methodology and some applications
J Arlat, M Aguera, L Amat, Y Crouzet, JC Fabre, JC Laprie, E Martins, ...
IEEE Transactions on software engineering 16 (2), 166-182, 1990
7391990
Fault injection into VHDL models: the MEFISTO tool
E Jenn, J Arlat, M Rimen, J Ohlsson, J Karlsson
Predictably Dependable Computing Systems, 329-346, 1995
5301995
Definition and analysis of hardware-and software-fault-tolerant architectures
JC Laprie, J Arlat, C Beounes, K Kanoun
Computer 23 (7), 39-51, 1990
4651990
Fault injection and dependability evaluation of fault-tolerant systems
J Arlat, A Costes, Y Crouzet, JC Laprie, D Powell
IEEE Transactions on computers 42 (8), 913-923, 1993
2711993
Guide de la sûreté de fonctionnement
J Arlat, A Costes, JP Blanquart
Cépaduès-éditions, 1996
2411996
Comparison of physical and software-implemented fault injection techniques
J Arlat, Y Crouzet, J Karlsson, P Folkesson, E Fuchs, GH Leber
IEEE Transactions on Computers 52 (9), 1115-1133, 2003
2172003
Fault injection for dependability validation of fault-tolerant computing systems
J Arlat, Y Crouzet, JC Laprie
[1989] The Nineteenth International Symposium on Fault-Tolerant Computing …, 1989
2051989
Dependability of COTS microkernel-based systems
J Arlat, JC Fabre, M Rodríguez
IEEE Transactions on computers 51 (2), 138-163, 2002
1862002
Application of three physical fault injection techniques to the experimental assessment of the MARS architecture
J Karlsson, P Folkesson, J Arlat, Y Crouzet, G Leber, J Reisinger
Dependable Computing and Fault Tolerant Systems 10, 267-288, 1998
1621998
GUARDS: A generic upgradable architecture for real-time dependable systems
D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ...
IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999
1481999
Dependability modeling and evaluation of software fault-tolerant systems
J Arlat, K Kanoun, JC Laprie
IEEE Transactions on Computers 39 (4), 504-513, 1990
1321990
Estimators for fault tolerance coverage evaluation
D Powell, E Martins, J Arlat, Y Crouzet
IEEE Transactions on Computers 44 (2), 261-274, 1995
1281995
SURF-2: A program for dependability evaluation of complex hardware and software systems
C Béounes, M Aguéra, J Arlat, S Bachmann, C Bourdeau, JE Doucet, ...
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993
1221993
MAFALDA: Microkernel Assessment by fault injection and design aid
M Rodríguez, F Salles, JC Fabre, J Arlat
European Dependable Computing Conference, 143-160, 1999
1051999
Hardware-and software-fault tolerance: Definition and analysis of architectural solutions
JC Laprie, J Arlat, C Beounes, K Kanoun, C Hourtolle
Proc. 17th Int. Symposium on Fault-Tolerant Computing, 116-121, 1987
1051987
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel
A Albinet, J Arlat, JC Fabre
International Conference on Dependable Systems and Networks, 2004, 867-876, 2004
1012004
Assessment of COTS microkernels by fault injection
JC Fabre, F Salles, MR Moreno, J Arlat
Dependable Computing for Critical Applications 7, 25-44, 1999
911999
Fault injection for formal testing of fault tolerance
D Avresky, J Arlat, JC Laprie, Y Crouzet
IEEE Transactions on Reliability 45 (3), 443-455, 1996
901996
On the performance of software fault tolerance strategies
A Grnarov, J Arlat, A Avizienis
Proc. 10th IEEE Int. Symp. Fault-Tolerant Computing, 251-253, 1980
771980
Experimental evaluation of the fault tolerance of an atomic multicast system
J Arlat, M Aguera, Y Crouzet, JC Fabre, E Martins, D Powell
IEEE Transactions on reliability 39 (4), 455-467, 1990
741990
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20