logo BDSP

Base documentaire


Votre avis nous intéresse

Le réseau BDSP met en oeuvre un projet d'innovation et d'amélioration de ses services, dans le souci constant de proposer des contenus de qualité adaptés aux besoins des utilisateurs.

Identifier de nouvelles sources de financements est la condition nécessaire pour assurer la poursuite et la pérennité de cet outil unique qu'est la BDSP, tout en le faisant évoluer.

Pour définir un nouveau modèle économique, nous avons besoin de votre avis : merci de répondre à notre enquête (temps estimé : 5 minutes).

Participer maintenant
Participer plus tard J'ai déjà participé

  1. Applying software dependability principles to medical robotics.

    Article - En anglais

    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

    Logo du centre Notice produite par :
    Inist-CNRS - Institut de l'Information Scientifique et Technique

    Cote : 96-0124756

    Code Inist : 001D02D11. Création : 199608.