Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Projekt nie został jeszcze sklasyfikowany według klasyfikacji EuroSciVoc.
Wskaż dziedziny nauki, które twoim zdaniem są najbardziej istotne z punktu widzenia tego projektu i pomóż nam usprawnić naszą usługę klasyfikacji.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
1081 HV AMSTERDAM
Niderlandy
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.