J. Blanquart, S. Fleury, and M. &hernek, Software Safety Supervision On-board Autonomous Spacecraft

P. David and J. Guiochet, Etude et analyse de différents dispositifs externes de sécurité-innocuité de type safety bag, 2005.

. Baudin, J. P. Blanquart, J. Guiochet, and D. Powell, Independent Safety Systems for Autonomy, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01292675

D. Powell and P. Thévenod-fosse, Dependability issues in ai-based autonomous systems for space applications, 2nd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, pp.163-177, 2002.

A. Mekki-mokhtar, Processus d'identication de propriétés de sécurité-innocuité vériables en ligne pour des systèmes autonomes critiques. Robotics, 2012.

M. Mokhtar, A. Blanquart, J. Guiochet, and J. , Safety Trigger Conditions for Critical Autonomous Systems, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012.
DOI : 10.1109/PRDC.2012.22
URL : https://hal.archives-ouvertes.fr/hal-01282203

C. Pace and D. Seward, An approach to safety for a robotic excavator, pp.1-7

C. Pace, D. Seward, and I. Sommerville, A Safety Integrated Architecture for an Autonomous Excavator, Proc. 17th Int. Symp. on Automation and Robotics in Construction, 2000.

L. Pietre-cambacedes, Des relations entre sureté et sécurité, 2010.

J. Guiochet, . Powell, E. Baudin, and J. P. Blanquart, Online safety monitoring using safety modes, Workshop on Technical Challenges for Dependable Robots in Human Environments, pp.1-13, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00282444

P. Klein, The Safety-Bag Expert System in the Electronic Railway Interlocking System Elektra, Expert System with Applications, pp.499-506, 1991.

G. Guesnier, J. F. Hamelin, and &. J. Peyrouton, Centrale nucléaires N4: l'informatique au service d'une conduite plus sure, pp.59-74, 1997.