. Bibliographie-[alami, Safety assessment of driving behavior in multi-lane trac for autonomous vehicles, Proceedings of The International Journal of Robotics Research, vol.17, p.893900, 1998.

. Arlat, Fault injection and dependability evaluation of fault-tolerant systems, Proceedings of the IEEE Transactions on Computers, vol.42, p.913923, 1993.

T. Aven-;-aven, On the new iso guide on risk management terminology, Reliability engineering & System safety, vol.96, p.719726, 2011.

. Avizienis, Basic concepts and taxonomy of dependable and secure computing, Proceedings of the IEEE Transactions on Dependable and Secure Computing, vol.1, p.1133, 2004.

[. Azevedo, Automatic decomposition of safety integrity levels : Optimization by tabu search, SAFECOMP Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, pp.14-27, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00848213

. Baudin, Independant safety systems for autonomy, 2007.

F. Toulouse,

[. Bibliographie and . Bengtsson, , 1996.

, Uppaala tool suite for automatic verication of real-time systems, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verication and control : verication and control, pp.354-354

[. Bernard, Remote agent experiment ds1 technology validation report, Ames Research Center and JPL, 2000.

[. Blanquart, , 2004.

, Software safety supervision on-board autonomous spacecraft. experimentation of spaas reusable components, 2nd European Congress on Embedded Real Time Software (ERTS-2), p.11, 2004.

[. Blanquart, Risk reduction of experimental autonomous vehicles : The safety-bag approach, CARS 2016 4th International Workshop on Critical Automotive Applications : Robustness & Safety, vol.532, 2003.

[. Brini, , 2017.

, Contraintes de sécurité pour le safety-bag d'un véhicule autonome : méthodes amdec et hazop, 12th International Pluridisciplinary Congress on Quality, Dependability and substainability, 2017.

[. Brini, Validation of safety necessities for a Safety-Bag, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01998333

. Campbell, Maneuver planning for autonomous vehicles, with clothoid tentacles for local trajectory planning, Proceedings of the IEEE of the 20th International Conference on Intelligent Transportation, vol.368, p.46494672, 1928.

. Cimatti, Nusmv 2 : An opensource tool for symbolic model checking, Test and Evaluation of the Robustness of the Functional Layer of an Autonomous Robot, pp.354-354, 2002.

[. Dhouibi, Automatic decomposition and allocation of safety integrity level using system of linear equations, Proceedings of the 4th International Conference on Performance, Safety and Robustness in Complex Systems and Applications, p.15, 2014.

A. Erb, Safety measures of the electronic interlocking system elektra, IFAC/IFIP Workshop on Safety of Computer Control Systems 1989 (SAFECOMP '89), vol.22, p.4952, 1989.

C. A. Ericson and D. Firesmith, Engineering safety requirements, safety constraints, and safety-critical requirements, Erb17th International System Safety Conference, vol.3, p.2742, 1999.

J. Flaus-;-flaus, Analyse des risques des systèmes de production industriels et de services : Aspects technologiques et humains, vol.359, pp.978-980, 2013.

[. Bibliographie, . Fox, J. Das-;-fox, and S. K. Das, Safe and sound : articial intelligence in hazardous applications, vol.1, 2000.

. Goodloe, . Pike, A. E. Goodloe, and L. Pike, Monitoring distributed real-time systems : A survey and future directions, 2010.

. Nasa/cr-, , 2010.

J. Guiochet-;-guiochet and J. Guiochet, Trusting robots : Contributions to dependable autonomous collaborative robotic systems. Habilitation à diriger des recherches en mathématiques et en informatique, Safety science, vol.84, p.225237, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01276555

[. Guiochet, Experience with model-based user-centered risk assessment for service robots, High-Assurance Systems Engineering (HASE), p.104113, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01285192

P. ;. Guiochet, J. Guiochet, and D. Powell, Etude et analyse de diérents dispositifs externes de sécurité-innocuité de type safety bag, LAAS-CNRS, 2005.

. Haddadin, Towards the robotic co-worker, The 14th International Symposium on Robotics Research (ISRR2011, vol.23, p.279295, 1997.

[. Houenou, , 2013.

, Vehicle trajectory prediction based on motion model and maneuver recognition, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013), p.43634369

. Huang, A framework for autonomy levels for unmanned systems (alfus), p.269, 2005.

, Functional safety of electrical/electronic/-programmable electronic safety-related systems, part 7 : Overview of techniques and measures. In International Organization for Standardization and International Electrotechnical Commission, Proceedings of the AUVSI's Unmanned Systems North America Conference, p.61882, 2000.

, Standard for software and system test documentation, IEEE Std 829-2008, p.1118, 2008.

F. Ingrand and M. Ghallab, Deliberation for autonomous robots : A survey, Articial Intelligence, vol.247, p.1044, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01137921

, Software product evaluationquality characteristics and guidelines for their use, ISO/IEC Standard, p.9126, 2001.

;. Iso/iec-guide51, H. Iso/iec-guide51-;-kantz, and C. Koza, Safety aspectsguidelines for their inclusion in standards. international organization for standardization and international electrotechnical commission, Proceedings of the IEEE Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers, p.453458, 1990.

P. Klein-;-klein, P. Koopman, and M. Wagner, The safety-bag expert system in the electronic railway interlocking system elektra, SAE, vol.3, p.1524, 1991.

[. Kyriakidis, , 2015.

, Public opinion on automated driving : Results of an international questionnaire 270 Bibliographie among 5000 respondents, Transportation research part F : trac psychology and behaviour, vol.32, p.127140, 2015.

[. Laprie, Guide de la sûreté de fonctionnement. cépaduès, 2e édition, pp.978-980, 1996.

. Lecubin, , 2001.

, Spaas : Software product assurance for autonomy on-board spacecraft, p.1267, 2001.

M. Leucker and C. Schallhart, A brief account of runtime verication, Journal of Logic and Algebraic Programming, vol.78, issue.5, p.293303, 2009.

B. Lussier-;-lussier, Tolérance aux fautes dans les systèmes autonomes, 2007.

[. Lussier, 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, p.351338, 2004.

M. Machin-;-machin and . Machin, Smof : A safety monitoring framework for autonomous systems, Proceedings of the IEEE Transactions on Systems, Man, and Cybernetics : Systems, vol.48, p.702715, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01394139

. Martin-guillerez, , 2010.

, A uml-based method for risk analysis of human-robot

, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010), p.3241, 2010.

[. Masson, Synthesis of safety rules for active monitoring : application to an airport light measurement robot, Proceedings of the IEEE International Conference on Robotic Computing, p.263270, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01465734

[. Mazouni, , 2008.

B. S. Medikonda and S. R. Panchumarthy, An approach to modeling software safety in safety-critical systems, systémique et organisationnelle d'analyse préliminaire des risques basée sur une ontologie générique, vol.5, p.311, 2008.

A. Mekki-mokhtar, D. Meltz, and H. Guterman, Processus d'identication de propriétés de sécurité-innocuité vériables en ligne pour des systèmes autonomes critiques, Proceedings of the IEEE 28th Conference on Convention of Electrical & Electronics Engineers in Israel, p.15, 2012.

P. Menzies, T. Menzies, and C. Pecheur, Verication and validation and articial intelligence, Advances in computers, vol.65, p.153201, 2005.

[. Micskei, , 2012.

, A concept for testing robustness and safety of the context-aware behaviour of autonomous systems, Agent and Multi-Agent Systems. Technologies and Applications, pp.978-981

, System safety program requirements, MIL-STD-882c, 1993.

. Naufal, A 2 cps : A vehicle-centric safety conceptual framework for autonomous transport systems, 2017.

, Proceedings of the IEEE International Confernece on Intelligent Transportation, p.272

, Bibliographie Systems Society, pp.16-19, 2017.

, Federal automated vehicles policy : Accelerating the next revolution in roadway safety, 2016.

, Automated driving : Denition for levels of automation, OICA, 2014.

C. J. Pace and D. W. Seward, Verication and validation of autonomy software at nasa, Proceedings of the IEEE 17th IAARC/CIB/IEEE/IFR International Symposium on Automation and Robotics in Construction (ISARC 2000), p.415420, 2000.

T. Powell, D. Thévenod-fosse, and P. , Dependability issues in ai-based autonomous systems for space applications, Proceedings of the 2nd IARP-IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, p.163, 2002.

I. Py, F. Py, and F. Ingrand, Online execution control checking for autonomous systems, 2002.

, Proceedings of the 7th International Conference on Intelligent Autonomous Systems (IAS-7), p.273, 2002.

F. Py and F. Ingrand, Dependable execution control for autonomous robots, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, vol.2, 2004.

F. Py and F. Ingrand, Risk assessment : theory, methods, and applications, Proceedings of the 2nd European Congress ERTS, Embedded Real Time Software (ERTS-2), vol.115, pp.978-979, 2004.

[. Roderick, , 2004.

, The ranger robotic satellite servicer and its autonomous software-based safety system, IEEE Intelligent Systems, vol.19, p.1219

. Schroeder and B. A. Schroeder, On-line monitoring : A tutorial, IEEE Computer Society, vol.28, p.7278, 1995.

. Stamatelatos, Fault tree handbook with aerospace applications, Proceedings of the Fifth IFAC Workshop on Safety of Computer Control Systems 1986 (Safecomp'86), p.99, 1986.

[. Thrun, , 2006.

. Stanley, The robot that won the darpa grand challenge, Journal of eld Robotics, vol.23, issue.9, p.661692

. Tiwari, A. Sinha-;-tiwari, and P. Sinha, , 2003.

, Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2003, vol.2, p.13391342, 2003.

[. Urmson, , 2008.

, Autonomous driving in urban environments : Boss and the urban challenge, Journal of Field Robotics, vol.25, issue.8, p.425466

. Bibliographie-[urmson, High speed navigation of unrehearsed terrain : Red team technology for grand challenge, 2004.

[. Vesely, , 1981.

, Systems and Reliability Research Oce of Nuclear Regulatory Research, 20555.

Y. Xu, T. Xu, H. Yuan, and . Zou, Safety validation of sense and avoid algorithms using simulation and evolutionary search, Proceedings of the IEEE 35th Chinese Control Conference (CCC 2016, pp.27-29, 2014.

, 33rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2014), p.3348