Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
1081 HV AMSTERDAM
Niederlande
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.