Cas d'utilisation du système de contrôle du site esclave ,
Cooperation between man and robot: interface and safety, [1992] Proceedings IEEE International Workshop on Robot and Human Communication, pp.183-187, 1992. ,
DOI : 10.1109/ROMAN.1992.253891
A safety system for close interaction between man and robot. Safety of Computer Control Systems SAFECOMP'92, pp.25-29, 1992. ,
Primary and Revision Total Hip Replacement Using the Robodoc?? System, Clinical Orthopaedics and Related Research, vol.354, 1998. ,
DOI : 10.1097/00003086-199809000-00011
Analysis techniques for man-machine systems design, 1994. ,
C++ in safety critical systems Rapport technique NISTIR 5769, National Institute of Standards and Technology, 1995. ,
Requirements on methods and techniques in perspective to approval process for railway systems, Second International Workshop on Integration of Specification Techniques for Applications in Engineering, 2002. ,
A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988. ,
DOI : 10.1109/2.59
Mise en oeuvre et contrôle d'un robot SCARA à deux degrés de liberté, actionné par des muscles artificiels pneumatiques de McKibben, Thèse de doctorat, Institut National des Sciences Appliquées de, 1999. ,
Dependability analysis in the early phases of UML based system design, International Journal of Computer Systems -Science & Engineering, vol.16, issue.5, pp.265-275, 2001. ,
Automated dependability analysis of UML designs, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702), pp.139-144, 1999. ,
DOI : 10.1109/ISORC.1999.776367
Automatic dependability analysis for supporting design decisions in UML, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering, pp.64-71, 1999. ,
DOI : 10.1109/HASE.1999.809476
Object-oriented analysis and design with applications, 1994. ,
Unified Modeling Language Users Guide, 1999. ,
Safety considerations in a surgical robot, Proc. of the 30th Annual Rocky Mountain Bioengineering Symp, pp.291-194, 1993. ,
Comparison of two significant development methods applied to the design of real-time robot controllers, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), pp.3394-3399, 1998. ,
DOI : 10.1109/ICSMC.1998.726528
Vers la maîtrise du développement d'un contrôleur temps réel sûr de fonctionnement pour les robots manipulateurs, Thèse de doctorat, Institut National des Sciences Appliquées de, 1999. ,
Sliding mode control of a 2 d.o.f. SCARA robot arm actuated by McKibben artificial muscles, Conférence IFAC de Commande des Systèmes Industriels (CIS97), pp.299-304, 1997. ,
Automated generation of statistical test cases from UML state diagrams, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001, pp.201-210, 2001. ,
DOI : 10.1109/CMPSAC.2001.960618
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components, Koornneef et M. van der Meulen, pp.382-394, 2000. ,
DOI : 10.1007/3-540-40891-6_33
Gestes médicaux-chirurgicaux assistés par ordinateur, Annales de Radiologie, vol.36, issue.67, pp.386-406, 1993. ,
Quality assurance of medical software, Journal of Medical Engineering & Technology, vol.13, issue.1, pp.1-10, 1994. ,
DOI : 10.3109/03091909409030782
Formal methods for safe integration in medical robotics, Proc. of the 2 nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, pp.217-227, 2002. ,
An approach to human-centered de- sign, Workshop on Human Error and System Development, 2001. ,
Robotics for medical applications, IEEE Robotics & Automation Magazine, vol.3, issue.3, pp.44-56, 1996. ,
DOI : 10.1109/100.540149
Response to realtime safety critical RFI. Rapport technique orbos, 2000. ,
Safety of medical robots. ICAR'93, pp.311-313, 1993. ,
Active compliance in robotic surgery--the use of force control as a dynamic constraint, Proceedings of the Institution of Mechanical Engineers, pp.285-292, 1997. ,
DOI : 10.1243/0954411971534403
HIPPOCRATE: an intrinsically safe robot for medical applications, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190), pp.959-964, 1998. ,
DOI : 10.1109/IROS.1998.727423
Un robot à sécurité passive en réponse aux problèmes d'ergonomie et de sécurité en Robotique médicale, Thèse de doctorat, 1997. ,
Robot Reliability and Safety, 1991. ,
Robot safety and reliability: A review, Microelectronics Reliability, vol.33, issue.3, pp.413-429, 1993. ,
DOI : 10.1016/0026-2714(93)90030-3
Safety and reliability assessment techniques in robotics, Robotica, vol.15, issue.6, pp.701-708, 1997. ,
DOI : 10.1017/S0263574797000829
Intrinsically safe active robotic systems for medical applications, Proc. of the 1st IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, 2001. ,
Safety-critical systems design Rapport technique, i-Logix, Inc, 1998. ,
Doing hard time : developping real-time systems with UML, objects, framewoks and patterns. Object Technology Series, 1999. ,
Business modeling with UML : business patterns at work, 2000. ,
A model of the cerebellar pathways applied to the control of a single-joint robot arm actuated by McKibben artificial muscles, Biological Cybernetics, vol.86, issue.5, pp.379-394, 2002. ,
DOI : 10.1007/s00422-001-0302-1
Human error : designing for error in medical information systems Invited talk in the journal club « Human Error as a Tool in Design Health Care Information Systems, 1995. ,
Reflective design patterns to implement fault tolerance, OOPSLA'98 Workshop #13, 1998. ,
Medical device use-safety : incorporating human factors engineering into risk management. Rapport technique, U.S. Departement of Health and Human Service, 2000. ,
Design of plant safety model in plant enterprise engineering environment, Reliability Engineering & System Safety, vol.73, issue.1, pp.35-47, 2001. ,
DOI : 10.1016/S0951-8320(01)00029-1
Design patterns : elements of reusable object-oriented software, 1995. ,
Sûreté de fonctionnement des systèmes informatiques, 1998. ,
Design of Dependable Computing Systems, 2002. ,
DOI : 10.1007/978-94-015-9884-2
Mechanical concept of the neurosurgical robot ???Minerva???, Robotica, vol.11, issue.06, pp.567-575, 1993. ,
DOI : 10.1159/000100256
Designing concurrent, distributed, and real-time applications with UML. Object Technology Series, 2000. ,
The Digit Muscle, Industrial Robot: An International Journal, vol.20, issue.5, pp.29-30, 1993. ,
DOI : 10.1108/eb004588
Object oriented safety monitor synthesis. Dans Third International conference on reliability, quality and safety of software intensive systems (EN- CRESS'97), pp.121-133, 1997. ,
Holistic and partial system models in safety analysis, International conference on probabilistic safety assessment, pp.1301-1309, 1996. ,
Etude du télégeste médical non invasif utilisant un transducteur gestuel à retour d'effort, Thèse de doctorat, 2002. ,
La sécurité des robots. Rapport technique 060401, 2001. ,
La sécurité des systèmes de la robotique médicale, Le travail humain, 2003. ,
Safety analysis and integration for robotic systems -application to medical robot for tele-echography, Proc. of the IASTED International Conference on Robotics and Applications (RA'01), pp.158-162, 2001. ,
Integration of UML in human factors analysis for safety of a medical robot for tele-echography, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453), 2003. ,
DOI : 10.1109/IROS.2003.1249651
URL : https://hal.archives-ouvertes.fr/hal-01276631
Safety analysis of a medical robot for teleechography, Proc. of the 2 nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, pp.217-227, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01276607
Multiple muscle systems : biomechanics and movement organization, chapitre 7, Actuator properties and movement control : biological and technological models, pp.101-120, 1990. ,
DOI : 10.1007/978-1-4613-9030-5_7
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
Developing with UML -Some pitfalls and workarounds. Dans The Unified Modeling Language, UML'98 -Beyond the Notation. First International Workshop , Selected Papers, pp.9-20, 1618. ,
DOI : 10.1007/978-3-540-48480-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.7489
Safety Evaluation Method of Design and Control for Human-Care Robots, The International Journal of Robotics Research, vol.22, issue.5, pp.281-297, 2003. ,
DOI : 10.1177/0278364903022005001
ROMAC muscle powered robots, Proc. RI-SME Conf. Robotics Research, pp.18-21, 1986. ,
Rubbertuators and applications for robots, Proceedings of the fourth Int. Symp. on Robotics Research, pp.57-63, 1988. ,
Aspects liés à la sécurité -Principes directeurs pour les inclure dans les normes, International Organization for Standardization, vol.51, 1999. ,
Object-oriented software engineering : a use case driven approach, 1992. ,
The Unified Software Development Process, 1999. ,
Modeling Surgical Procedures for Multimodal Image-Guided Neurosurgery, 2208 de Lecture Notes in Computer Science, pp.139-152, 2001. ,
DOI : 10.1007/3-540-45468-3_68
Hazard analysis in object oriented design of dependable systems, Proceedings International Conference on Dependable Systems and Networks, pp.507-512, 2001. ,
DOI : 10.1109/DSN.2001.941436
MORT safety assurance systems, 1980. ,
Les ventes de robots sont en plein essor en Europe et en Amérique du nord mais s'effondrent au Japon et en Asie, 1999. ,
Analyses of robot systems using fault and event trees : case studies. Reliability Engineering and System Safety, pp.247-264, 1996. ,
Robotic engineering : an integreted approach, 1989. ,
Fatigue characteristics of McKibben artificial muscle actuators, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190), pp.1776-1786, 1998. ,
DOI : 10.1109/IROS.1998.724854
The Rational Unified Process -an introduction. Object Technology Series, 1999. ,
Hazard identification and safety assessment of human-robot systems, Engineering Risk and Hazard Assessment, vol.1, pp.61-80, 1986. ,
A fail-safe dual channel robot control for surgery applications, Proceedings of SAFECOMP01, pp.75-85, 2001. ,
Dependability : Basic concepts and terminology in English, 5 de Dependable Computing and Fault Tolerance. Austria, 1992. ,
Guide de la sûreté de fonctionnement, 1995. ,
Erreur humaine, fiabilité humaine dans le travail, 1985. ,
Safeware -System safety and computers, 1995. ,
Automatic dependability modeling of systems described in UML, 9th International Symposium on Software Reliability Engineering (ISS- RE'98) Th. Illgen, pp.4-7, 2000. ,
Les patterns métier : extraction dans l'existant logiciel, 1998. ,
Human dependability in complex system : an issue of task consistency and task allocation, International Conference on Probabilistic Safety Assessment and Management (PSAM'4), pp.2693-2698, 1998. ,
Development of human symbiotic robot: WENDY, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C), pp.3183-3184, 1999. ,
DOI : 10.1109/ROBOT.1999.774083
Development of an anthropomorphic force-controlled manipulator WAM-10, 1997 8th International Conference on Advanced Robotics. Proceedings. ICAR'97, pp.701-706, 1997. ,
DOI : 10.1109/ICAR.1997.620258
Double safety measure for human symbiotic manipulator, Proceedings of IEEE/ASME International Conference on Advanced Intelligent Mechatronics, p.130, 1997. ,
DOI : 10.1109/AIM.1997.653000
Modélisation objet avec UML. Eyrolles, 2000. ,
On safety enhancements for medical robots, Reliability Engineering & System Safety, vol.54, issue.1, pp.34-45, 1996. ,
DOI : 10.1016/S0951-8320(96)00091-9
Application of rubber artificial muscle manipulator as a rehabilitation robot, 5th IEEE Int. Workshop on Robot and Human Communication (ROMAN96), pp.112-117, 1996. ,
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay, pp.306-315, 1998. ,
DOI : 10.1007/3-540-49646-7_24
A Rubbertuator-based structure-climbing inspection robot, Proceedings of International Conference on Robotics and Automation, pp.1869-1874, 1997. ,
DOI : 10.1109/ROBOT.1997.619060
Automatic synthesis of dynamic fault trees from UML system models, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., 2002. ,
DOI : 10.1109/ISSRE.2002.1173261
Completeness and consistency analysis of uml statechart specifications, Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'2001), pp.83-90, 2001. ,
Model-based automated synthesis of fault trees from matlab-simulink models, Int. Conf. on Distributed Systems and Networks (DSN'2001), pp.77-82, 2001. ,
The potential for a generic approach to certification of safety critical systems in the transportation sector, Reliability Engineering & System Safety, vol.63, issue.1, pp.47-66, 1998. ,
DOI : 10.1016/S0951-8320(98)00015-5
THEA -A Reference guide, 2001. ,
Projet de norme : Dispositifs médicaux -Application de la gestion des risques aux dispositifs médicaux, International Organization for Standardization, 1999. ,
ROBODOC ??? surgical robot success story, Industrial Robot: An International Journal, vol.24, issue.3, pp.231-233, 1997. ,
DOI : 10.1108/01439919710167444
Safety standards. International Encyclopedia of Robotics : Applications and Automation, pp.1428-1438, 1988. ,
Human Error, 1990. ,
Three-dimensional video and robot-assisted port-access mitral valve operation. The Society of Thoracic Surgeons, pp.1176-82, 2000. ,
Object-Oriented Technology (OOT) In Civil Aviation Projects : Certification Concerns. Rapport technique, Federal Aviation Administration, 1999. ,
What every molder should know about robot safety and maintenance, Plastics technology, vol.39, issue.11, pp.69-72, 1993. ,
UML en action, Eyrolles, 2002. ,
Object oriented modeling and design, 1991. ,
Robotically assisted laparoscopic surgery, Surgical Endoscopy, vol.7, issue.1, pp.63-66, 1994. ,
DOI : 10.1007/BF02909496
Approche non linéaire de la commande en contraction d'un muscle artificiel pneumatique de McKibben, Thèse de doctorat, Institut National des Sciences Appliquées de Toulouse, 2000. ,
The characteristics of the McKibben artificial muscle. Dans Appendix H, The Application of External Power in Prosthetics and Orthotics, National Academy of Sciences, pp.94-115, 1961. ,
Fault tolerance techniques for distributed sys- tems. The Rational Edge : e-zine for the rational community, 2000. ,
Response to the OMG RFP for Schedulability, Performance, and Time. Rapport technique Document version 1.0, Object Management Group, 2000. ,
30 things that go wrong in object modelling with UML 1.3. Dans Behavioral Specifications of Businesses and Systems, pp.221-242, 1999. ,
Contribution à l'aide robotisée au geste chirurgical -Nouvelle approche en ophtalmologie, Thèse de doctorat, Institut National des Sciences Appliquées de, 2000. ,
Towards a framework for project risk knowledge management in the construction supply chain Advances in Engineering Software, pp.835-846, 2001. ,
A seven d.o.f. robot arm driven by pneumatic artificial muscles for humanoïd robots. Advanced Robotics, 2003. ,
The McKibben artificial muscle and its use in actuating robotarms showing similarities with human arm behavior, Industrial Robot, vol.24, issue.6, pp.4432-4339, 1997. ,
Modeling and control of McKibben artificial muscle robot actuators, IEEE Control Systems Magazine, vol.20, issue.2, pp.15-38, 2000. ,
DOI : 10.1109/37.833638
Efficient OO integration and regression testing, IEEE Transactions on Reliability, pp.12-25, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00776500
La robotique médicale en France, Journées Nationales de la Recherche en Robotique, pp.251-255, 1999. ,
Semi-active guiding systems in surgery. A two-dof prototype of the passive arm with dynamic constraints (PADyC), Mechatronics, vol.6, issue.4, 1996. ,
DOI : 10.1016/0957-4158(96)00003-7
Guide pour l'analyse de sûreté de fonctionnement du programme de Télé-Echographie Robotisé (TER) Rapport Interne Consortium TER, pp.2231-852, 2001. ,
Etude et commande floue d'actionneurs à muscles artificiels de McKibben à la motorisation de robots-manipulateurs, Thèse de doctorat, Institut National des Sciences Appliquées de, 1997. ,
Télé-échographie Robotisée, Thèse de doctorat, 2003. ,
Robotic tele-ultrasound system (TER) : slave robot control, IFAC Conference on Telematics Applications in Automation and Robotics, 2001. ,
Robotic fault detection and fault tolerance: A survey, Reliability Engineering & System Safety, vol.46, issue.2, pp.139-158, 1994. ,
DOI : 10.1016/0951-8320(94)90132-5
Development of a knowledge-based system for robot work-station safety, Proceedings of International Manufacturing Engineering, pp.359-361, 1996. ,
Failure mode analysis for a hazardous waste clean-up manipulator. Reliability Engineering and System Safety, pp.277-290, 1996. ,
Maintenance and repair, robotic. International Encyclopedia of Robotics : Applications and Automation, pp.833-840, 1988. ,
Deriving human-error tolerance requirements from tasks, Proceedings of IEEE International Conference on Requirements Engineering, pp.462-467, 1994. ,
DOI : 10.1109/ICRE.1994.292393
Compliance. International Encyclopedia of Robotics : Applications and Automation, pp.192-202, 1988. ,
A methodology for architectural-level risk analysis, 11th International Symposium on Software Reliability Engineering (ISS- RE'2000), pp.210-221, 2000. ,
Fail-safe human/robot contact in the safety space, Proceedings 5th IEEE International Workshop on Robot and Human Communication. RO-MAN'96 TSUKUBA, pp.59-64, 1996. ,
DOI : 10.1109/ROMAN.1996.568748