Applying software dependability principles to medical robotics.
Medical robotics is a relatively new branch of robotics and application to safety-critical system development.
Traditional approaches to the development of robotic systems no longer suffice as many of the key robot-human safety principles are compromised due to the very nature of the application.
It is therefore suggested that safety-critical system techniques be used, in conjunction with quantitative software measurement, in order to sufficiently verify and validate the software against user and safety requirements and systematically demonstrate software safety to regulatory agency requirements.
It will also provide useful and early feedback to software engineers on the quality of the software during construction.
Mots-clés Pascal : Application, Robotique, Logiciel, Prévention accident, Application médicale, Sélection évaluation logiciel, Application robot, Article synthèse
Mots-clés Pascal anglais : Medical robotics, Software dependability, Quantitative software management, Application, Robotics, Computer software, Accident prevention, Medical applications, Computer software selection and evaluation, Robot applications, Reviews
Notice produite par :
Inist-CNRS - Institut de l'Information Scientifique et Technique
Cote : 96-0124756
Code Inist : 001D02D11. Création : 199608.