Objetivo
During the last decade, the approach of evidence-based medicine has given rise to an increasing number of medical practice protocols. However, the work done on developing and distributing protocols outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical protocols. Recent efforts have tried to address the problem of protocol improvement, but they are not sufficient since they rely on informal processes and notations. As a result, many practical protocols are still ambiguous or incomplete. Even when ambiguity and incompleteness are intentional, so that organisational or personal practices can be deployed, it is important to make them explicit. A different approach, grounded on a formal representation of protocols, can answer these needs. The proposed solution relies on an appropriate protocol representation language that allows for a systematic verification by formal methods. During the last decade, the approach of evidence-based medicine has given rise to an increasing number of medical practice protocols. However, the work done on developing and distributing protocols outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical protocols. Recent efforts have tried to address the problem of protocol improvement, but they are not sufficient since they rely on informal processes and notations. As a result, many practical protocols are still ambiguous or incomplete. Even when ambiguity and incompleteness are intentional, so that organisational or personal practices can be deployed, it is important to make them explicit. A different approach, grounded on a formal representation of protocols, can answer these needs. The proposed solution relies on an appropriate protocol representation language that allows for a systematic verification by formal methods.
OBJECTIVES
The solution suggested to the problem of quality improvement of protocols consists in the utilisation of formal methods. It supposes the definition of an adequate protocol representation language, the development of techniques for the formal analysis of protocols described in that language, and more importantly, the evaluation of the feasibility of the approach based on the formalisation and verification of real-life medical protocols. For the first two aspects we rely on earlier work by consortium partners. The third aspect constitutes the main objective of this assessment project: evaluation of the feasibility of the use of formal methods for quality improvement of protocols.
DESCRIPTION OF WORK
The main objective of this project is the use of formal methods for the formalisation and verification of protocols. If protocols can be satisfactorily formalised, computerised support would become possible for many activities, e.g. patient management, or debugging, adaptation or maintenance of protocols. The steps with which we will carry out the project are the following:
1] Take two real-life reference protocols which cover a wide variety of protocol characteristics;
2] Formalise these reference protocols;
3] Check the formalisation in an exercise for the verification of interesting protocol properties;
4] Determine how many errors (expected and unexpected) can be uncovered in this way where step will be our measure of success. We will rely on earlier work by consortium partners, in particular, on the Asbru language for protocol description and on the Karlsruhe interactive verifier (KIV) system.
This leads to the following tasks:
(a) select reference protocols and model them in Asbru;
(b) define formal semantics for Asbru elements in KIV, and identify desirable/required properties to verify on these Asbru elements- Translate Asbru model of reference protocols into KIV;
(c) verify some of the properties on the Asbru-in-KIV reference protocols;
(d) evaluate the verification results.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Este proyecto aún no se ha clasificado con EuroSciVoc.
Sugiera los ámbitos científicos que considere más relevantes y ayúdenos a mejorar nuestro servicio de clasificación.
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
1081 HV AMSTERDAM
Países Bajos
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.