Publications
Selected Publications
- J. Arlat, M. Diaz, M. Kaâniche, “Towards Resilient Cyber-physical Systems: The ADREAM Project”, in International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS’2014), Santorini (Greece), pp.1-5, IEEE CS Press, May 2014.
Abstract PDF © IEEE - D. Powell, J. Arlat, H.-N. Chu, F. Ingrand, M.-O. Killijian, "Testing the Input Timing Robustness of Real-time Control Software for Autonomous Systems", in 9th European Dependable Computing Conf. (EDCC-2012), Sibiu (Romania), pp. 73-83, IEEE CS Press, May 2012.
Abstract PDF © IEEE - M. Lastéra, E. Alata, J. Arlat, Y. Deswarte, D. Powell, B. Leconte (Airbus Operations), C. Simache (Altran Sud-Ouest), “Secure Architecture for Information Systems in Avionics”, in Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 7p, February 2012.
Abstract PDF © 3AF & SEE - J. Arlat, Z. Kalbarczyk (UIUC, USA), T. Nanya (Canon, Japan), “Nanocomputing: Small Devices, Large Dependability Challenges”, IEEE Security & Privacy, 10 (1), pp.69-72, January 2012.
Abstract PDF © IEEE - J. Arlat, “Dependable Computing and Assessment of Dependability”, in Zuverlässigkeit und Entwurf (ZuE 2011), Reliability and Design, Hamburg (Germany), 27-29 September 2011, 8p. Also, in ITG-Fachbericht, Vol. 231, pp.10-17, September 2011.
Abstract PDF © VDE & ITG - D. Powell, J. Arlat, Y. Deswarte, K. Kanoun, “Tolerance of Design Faults”, in Dependable and Historic Computing, Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday, LNCS 6875, pp.428-452, Springer, August 2011.
Abstract PDF © Springer - J. Arlat, R. Moares (UniCamp, Brazil), “Collecting, Analyzing and Archiving Results from Fault Injection Experiments”, in Latin-American Symposium on Dependable Computing (LADC 2011), São José dos Campos (Brazil), pp.100-105, IEEE CS Press, April 2011
Abstract PDF © IEEE - Y. Laarouchi, Y. Deswarte, D. Powell, J. Arlat, E. De Nadaï (Airbus), "Connecting Commercial Computers to Avionics Systems", in 28th IEEE/AIAA Digital Avionics Systems Conference (DASC), pp. 6D1.1-6D1.9, IEEE CS Press, October 2009.
Abstract PDF © IEEE - A. Albinet, J. Arlat, J.-C. Fabre, "Benchmarking of the Impact of Faulty Drivers: Application to the Linux Kernel", in Dependability Benchmarking for Computer Systems (K. Kanoun and L. Spainhower, Eds.), pp. 285-310, IEEE CS Press and Wiley, August 2008.
Abstract PDF © IEEE - P. Zajac, J. H. Collet, J. Arlat, Y. Crouzet, “Resilience through Self-Configuration in Future Massively Defective Nanochips”, in Supplemental Volume of the 37th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2007) - Workshop on Dependable and Secure Nanocomputing, (Edinburgh, Scotland, UK), pp. 266-271, 2007.
Abstract PDF © IEEE - J. Arlat, Y. Crouzet, Y. Deswarte, J.-C. Fabre, J.-C. Laprie, D. Powell, “Fault Tolerance”, in Encyclopedia of Computer Science and Information Systems (J. Akoka, I. Comyn-Wattiau, Coordinators) — Part 1: The Technological Dimension of Information Systems, Section 2: Architecture and Systems (M. Banâtre, Editor), Vuibert, Paris (France), 2006, ISBN: 2-7117-4846-4. (in French).
Abstract PDF © Vuibert - A. Youssef, Y. Crouzet, A. de Bonneval, J. Arlat; J.-J. Aubert, P.Brot (Airbus), "Communication Integrity in Networks for Critical Control Systems", in 6th European Dependable Computing Conf. (EDCC-6), Coimbra (Portugal), pp. 23-32, IEEE CS Press, October 2006.
Abstract PDF © IEEE - Y. Crouzet, J. H. Collet, J. Arlat, "Mitigating Soft Errors To Prevent A Hard Threat To Dependable Computing", in 11th IEEE International On-Line Testing Symp. (IOLTS-2005), Saint Raphaël (France), pp. 295-298, July 2005.
Abstract PDF © IEEE - A. Kalakech, K. Kanoun, Y. Crouzet, J. Arlat, "Benchmarking the Dependability of Windows NT, 2000 and XP", in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), pp. 681-686, IEEE CS Press, June-July 2004.
Abstract PDF © IEEE - A. Albinet, J. Arlat, J.-C. Fabre, "Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel", in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), pp. 867-876, IEEE CS Press, June-July 2004.
Abstract PDF © IEEE - M.T. Jarboui, J. Arlat, Y. Crouzet, K. Kanoun, T. Marteau, "Impact of Internal and External Software Faults on the Linux Kernel", IEICE Transactions on Information and Systems, E86-D (12), pp. 2571-2578, December 2003.
Abstract PDF © IEICE - J. Arlat, Y. Crouzet; J. Karlsson, P. Folkesson (Chalmers Univ.); E. Fuchs, G.H. Leber (Vienna Univ. of Technology), "Comparison of Physical and Software-Implemented Fault Injection Techniques", IEEE Transactions on Computers, 52 (9), pp. 1115-1133, September 2003.
Abstract PDF © IEEE - M. Rodríguez, J.-C. Fabre, J. Arlat, "Wrapping Real-time Systems from Temporal Logic Specifications", in 4th European Dependable Computing Conference (EDCC-4) , Toulouse (France), pp. 253-270, LNCS 2485, Springer-Verlag, October 2002.
Abstract PDF © Springer - J. Arlat, J.-C. Fabre, M. Rodríguez, F. Salles, "Dependability of COTS Microkernel-Based Systems", IEEE Transactions on Computers, 51 (2), Special Section on Fault Tolerant Embedded Systems, pp. 138-163, February 2002.
Abstract PDF © IEEE - M. Rodríguez, J.-C. Fabre, J. Arlat, "Formal Specification for Building Robust Real-Time Microkernels", in 21st IEEE Real-Time Systems Symp. (RTSS'2000), Orlando, FL (USA), pp. 119-128, IEEE CS Press, November 2000.
Abstract PDF © IEEE - D. Powell, J. Arlat, L. Beus-Dukic (Univ. York), A. Bondavalli (Univ. Pisa), Paolo Coppola (Intecs), A. Fantechi (Univ. Florence), E. Jenn (Technicatome), C. Rabéjac (Astrium), A. Wellings (Univ. York), "GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, 10 (6),
pp. 580-599, June 1999.
Abstract PDF © IEEE - D. Essamé, J. Arlat, D. Powell, "PADRE: A Protocol for Asymmetric Duplex REdundancy", (C. B. Weinstock, J. Rushby, Eds.), Dependable Computing in Critical Applications (DCCA-7), 12, pp. 229-248, IEEE CS Press, January 1999.
Abstract PDF © IEEE - D. Avresky, J. Arlat, J.-C. Laprie, Y. Crouzet, "Fault Injection for the Formal Testing of Fault Tolerance", IEEE Transactions on Reliability, 45 (3), pp. 443-455, October 1996.
Abstract PDF © IEEE - J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems", IEEE Transactions on Computers, 42 (8), pp. 913-923, August 1993.
Abstract PDF © IEEE - J. Arlat, M. Aguera, Y. Crouzet, J.-C. Fabre, E. Martins, D. Powell, "Experimental Evaluation of the Fault Tolerance of an Atomic Multicast System", IEEE Transactions on Reliability, 39 (4), Special Issue on Experimental Evaluation of Computer Reliability, pp. 455-467, October 1990.
Abstract PDF © IEEE - J.-C. Laprie, J. Arlat, C. Béounes, K. Kanoun, "Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures", IEEE Computer, 23 (7), Special Issue on Fault-Tolerant Systems, pp. 39-51, July 1990.
Abstract PDF © IEEE - J. Arlat, K. Kanoun, J.-C. Laprie, "Dependability Modeling and Evaluation of Software-Fault Tolerant Systems", IEEE Transactions on Computers, Special Issue on Fault-Tolerant Computing, 39 (4), pp. 504-513, April 1990.
Abstract PDF © IEEE - J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, E. Martins, J.-C. Laprie, D. Powell, "Fault Injection for Dependability Validation — A Methodology and Some Applications", IEEE Transactions on Software Engineering, Special Issue on Experimental Computer Science, 16, (2), pp. 166-182, February 1990.
Abstract PDF © IEEE - J. Arlat, K. Kanoun, “Modelling and Dependability Evaluation of Safety Systems in Control and Monitoring Applications”, in Trends in Safe Real-Time Computer Systems, 5th IFAC Workshop Safety of Computer Control Systems (SAFECOMP'86), (W. J. Quirk, Ed.), Sarlat, France, pp.157-164, Pergamon Press, 1986.
Abstract PDF © Elsevier (Pergamon Press) - J. Arlat, J.-C. Laprie, “Performance-related Dependability Evaluation of Supercomputer Systems”, in13th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-13), Milan, Italy,
pp. 276-283, IEEE CS Press, 1983. (An extended version appeared in Microelectronics and Reliability, 24 (4), pp.717-742, 1984.)
Abstract PDF © IEEE - A. Grnarov (Univ. Skopje), J. Arlat, A. Avizienis (UCLA), “On the Performance of Software Fault Tolerance Strategies”, in 10th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-10), Kyoto, Japan, pp. 251-253, IEEE CS Press, 1980.
Abstract PDF © IEEE