文献翻译-远程超声波医疗机器人的安全性分析.docVIP

外文资料翻译 Safety Analysis of a Medical Robot for Tele-echography Motivations Among many types of medical equipment, ultrasound diagnostic systems are widely used because of their convenience and safety. Performing an ultrasound examination involves good eye-hand coordination and the ability to integrate the acquired information over time and space. Some of these specialized skills may lack in some healthcare centers or for emergency situations. Tele-consultation is therefore an interesting alternative to conventional care. Development of a high performance remote diagnostic system, which enables an expert operator at the hospital to examine a patient at home, in an emergency vehicle or in a remote clinic, may have a very significant added value. Therefore a robotic tele-ultrasound system is proposed in order to realize the examination in small towns or cities without needing highly quailed medical staff. This system for Robotic Tele-Echography (TER) is designed and developed by a French consortium composed of universities, hospitals and industrials companies. Medical robots belong to safety critical systems. In such systems, the robot shares its working area with operators (doctors or assistants), and has a close interaction with the patient. Safety, defined for industrial robots as the prevention of damage to the robot itself and its environment, and particularly the human component , can now be defined as the property of a medical robot to be free from unacceptable risk . Therefore it is necessary to reduce the risk to an acceptable level with a complete risk management activity. Safety is also provided by the evidence of safe functionality (completeness of safety requirements and validation of several checks). Those activities are based on a system model. Ideally, the system definition is modeled formally, but the use of formal methods in industrial development of safe systems is still rare. A significant barrier is that many formal languages and formal analysis