N. G. Leveson, Safeware -System safety and computers, 1995.

J. Guiochet and D. Powell, Etude et analyse de systèmes indépendants de sécuritéinnocuité de type safety bag, 2006.

B. Lussier, R. Chatila, F. Ingrand, M. O. Killijian, and D. Powell, On Fault Tolerance and Robustness in Autonomous Systems, Proceedings of the 3rd IARP-IEEE/RAS- EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, 2004.

R. Simmons, C. Pecheur, and G. Srinivasan, Towards Automatic Verication of Autonomous Systems, IEEE/RSJ International Conference on Intelligent Robots & Systems, 2000.

B. Lussier, A. Lampe, R. Chatila, J. Guiochet, F. Ingrand et al., Fault Tolerance in Autonomous Systems: How and How Much?, 4th IARP-IEEE/RAS-EURON Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01292930

J. Fox and S. Das, Safe and sound -Articial Intelligence in Hazardous Applications, 2000.

F. Py and F. Ingrand, Real-Time Execution Control for Autonomous Systems, Proceedings of the 2nd European Congress ERTS, Embedded Real Time Software, 2004.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, p.1133, 2004.
DOI : 10.1109/TDSC.2004.2

D. Powell and P. Thévenod-fosse, Dependability Issues in AI-based Autonomous Systems for Space Applications, Proc. of the 2nd IARP-IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, p.163177, 2002.

N. Muscettola, G. A. Dorais, C. Fry, R. Levinson, and C. Plaunt, IDEA : Planning at the Core of Autonomous Reactive Agents, Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space, 2002.

J. Penix, C. Pecheur, and K. Havelund, Using Model Checking to Validate AI Planner Domain Models, Proc. SEL98: 23rd Annual Software Engineering Workshop, 1998.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), p.4657, 1977.
DOI : 10.1109/SFCS.1977.32

B. Williams and P. Nayak, A Model-based Approach to Reactive Self-conguring Systems, Workshop on Logic-Based Articial Intelligence, 1416.

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, p.366381, 1998.
DOI : 10.1007/s100090050043

S. Scherer, F. Lerda, and E. Clarke, Model Checking of Robotic Control Systems, Proceedings of the 8th International Symposium on Articial Intelligence, Robotics and Automation in Space (iSAIRAS), 2005.

P. Nayak, D. Bernard, G. Dorais, E. Gamble-jr, B. Kanefsky et al., Validating the DS1 Remote Agent Experiment, 5th International Symposium on Articial Intelligence, Robotics and Automation in Space, 1999.

M. Feather and B. Smith, Automatic generation of test oracles: from pilot studies to application, 14th IEEE International Conference on Automated Software Engineering, p.6372, 1999.
DOI : 10.1109/ASE.1999.802093

C. Artho, D. Drusinsky, H. Barringer, A. Goldberg, K. Havelund et al., Combining Test Case Generation and Runtime Verication, Theoretical Computer Science 336, p.209234, 2005.

A. Goldberg, K. Havelund, and C. Mcgann, Runtime Verication for Autonomous Spacecraft Software, IEEE Aerospace Conference, 2005.

P. Klein, The Safety-Bag Expert System in the Electronic Railway Interlocking System Elektra, Expert Systems with Applications, vol.3, p.499506, 1991.

J. Rushby, Kernels for Safety?, Safe and Secure Computing Systems, p.210220, 1986.

C. Pace and D. Seward, A Safety Integrated Architecture for an Autonomous Safety Excavator, International Symposium on Automation and Robotics in Construction, 2000.

S. Roderick, B. Roberts, E. Atkins, and D. Akin, The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System, IEEE Intelligent Systems, vol.19, issue.5, pp.12-19, 2004.
DOI : 10.1109/MIS.2004.53

M. Kim, I. Lee, U. Sammapun, J. Shin, and O. Sokolsky, Monitoring, Checking, and Steering of Real-Time Systems, 2nd International Workshop on Run-time Verication, 2002.
DOI : 10.1016/S1571-0661(04)80579-6

K. Wika and J. Knight, A Safety Kernel Architecture, 1994.

D. Seward, C. Pace, R. Morrey, and I. Sommerville, Safety analysis of autonomous excavator functionality, Reliability Engineering & System Safety, vol.70, issue.1, pp.29-39, 2000.
DOI : 10.1016/S0951-8320(00)00045-4

J. Blanquart, S. Fleury, M. Hernerk, C. Honvault, F. Ingrand et al., Software Safety Supervision On-board Autonomous Spacecraft, ERTS'04, 2004.

J. Fox, Designing Safety into Medical Decisions and Clinical Processes, proceedings of SAFECOMP, 2001.
DOI : 10.1007/3-540-45416-0_1

F. Chen and G. Rosu, Towards Monitoring-Oriented Programming, Workshop on Runtime Verication, 2003.
DOI : 10.1016/S1571-0661(04)81045-4