J. Guiochet, M. Machin, and H. Waeselynck, Safety-critical advanced robots: A survey, Robotics and Autonomous Systems, vol.94, pp.43-52, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01394136

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004.

Z. Zhao, J. Wang, J. Cao, W. Gao, and Q. Ren, A fault-tolerant architecture for mobile robot localization, 2019 IEEE 15th International Conference on Control and Automation (ICCA), pp.584-589, 2019.

M. Machin, J. Guiochet, H. Waeselynck, J. Blanquart, M. Roy et al., SMOF -A Safety MOnitoring Framework for Autonomous Systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.48, issue.5, pp.702-715, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01394139

D. Crestani, K. Godary-dejean, and L. Lapierre, Enhancing fault tolerance of autonomous mobile robots, Journal of Robotics and Autonomous Systems, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01241181

C. Lesire, F. Ingrand, and J. Guiochet, Osmosis : Open-source material for safety assessment of intelligent systems, pp.2020-2023

, Robotics 2020 multi-annual roadmap for robotics in europe, Horizon 2020 Call ICT-2017 (ICT-25, ICT-27 & ICT-28, 2016.

M. L. Visinsky, I. D. Walker, and J. R. Cavallaro, Layered dynamic fault detection and tolerance for robots, Proceedings IEEE International Conference on Robotics and Automation, vol.2, pp.180-187, 1993.

M. L. Visinsky, J. R. Cavallaro, and I. D. Walker, A dynamic fault tolerance framework for remote robots, IEEE Transactions on Robotics and Automation, vol.11, issue.4, pp.477-490, 1995.

S. Zaman, G. Steinbauer, J. Maurer, P. Lepej, and S. Uran, An integrated model-based diagnosis and repair architecture for ROS-based robot systems, Robotics and Automation (ICRA), pp.482-489, 2013.

B. Durand, K. Godary-dejean, L. Lapierre, R. Passama, and D. Crestani, Fault tolerance enhancement using autonomy adaptation for autonomous mobile robots, International Conference on Control and Fault Tolerant Systems (SysTol), pp.24-29, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-00547856

A. Bouguerra, L. Karlsson, and A. Saffiotti, Monitoring the execution of robot plans using semantic knowledge, Robotics and Autonomous Systems, vol.56, issue.11, pp.942-954, 2008.

O. Pettersson, Execution monitoring in robotics: A survey, Robotics and Autonomous Systems, vol.53, issue.2, pp.73-88, 2005.

J. P. Mendoza, M. Veloso, and R. Simmons, Safety in human-robot coexistence and interaction: How can standardization and research benefit from each other?, Workshop at IROS'12 on, 2012.

P. Ertle, D. Gamrad, H. Voos, and D. Soffker, Action planning for autonomous systems with respect to safety aspects, IEEE International Conference on Systems Man and Cybernetics (SMC), pp.2465-2472, 2010.

S. Gspandl, S. Podesser, M. Reip, G. Steinbauer, and M. Wolfram, A dependable perception-decision-execution cycle for autonomous robots, International Conference on Robotics and Automation (ICRA), pp.2992-2998, 2012.

B. Lussier, M. Gallien, J. Guiochet, F. Ingrand, M. Killijian et al., Planning with diversified models for fault-tolerant robots, Proc. of The International Conference on Automated Planning and Scheduling (ICAPS07), pp.216-223, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01292650

, Fault tolerant planning for critical robots, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN07), 2007.

I. R. Chen, F. B. Bastani, and T. W. Tsao, On the Reliability of AI Planning Software in Real-Time Applications, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.1, pp.14-25, 1995.

J. Guiochet, D. Powell, É. Baudin, and J. Blanquart, Online Safety Monitoring Using Safety Modes, Workshop on Technical Challenges for Dependable Robots in Human Environments DRHE08, pp.1-13, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00282444

M. Machin, F. Dufossé, J. Blanquart, J. Guiochet, D. Powell et al., Specifying safety monitors for autonomous systems using model-checking, The 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP, pp.262-277, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01207152

M. Machin, F. Dufossé, J. Guiochet, D. Powell, M. Roy et al., Model-checking and game theory for synthesis of safety rules, 16th IEEE International Symposium on High Assurance Systems Engineering, pp.36-43, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01164981

D. Powell, Distributed fault tolerance: lessons from delta-4, IEEE Micro, vol.14, issue.1, pp.36-47, 1994.

R. Guerraoui and A. Schiper, Fault-tolerance by replication in distributed systems, Reliable Software Technologies -Ada-Europe '96, A. Strohmeier, pp.38-57, 1996.

. Cpse-labs, , pp.2020-2023

. Robotnik, Robotnik summit xl robot specification

A. De-ruijter and F. Guldenmund, The bowtie method: A review, Safety Science, vol.88, pp.211-218, 2016.

M. Lauer, M. Amy, J. Fabre, M. Roy, W. Excoffon et al., Resilient computing on ros using adaptive fault tolerance, Journal of Software: Evolution and Process, vol.30, issue.3, p.1917, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01703968

D. Doose, C. Grand, and C. Lesire, Mauve runtime: A componentbased middleware to reconfigure software architectures in real-time, 2017 First IEEE International Conference on Robotic Computing, pp.208-211, 2017.