Memorias de investigación
Communications at congresses:
Modelling and Formal Specification of a MultiAgent Telemedicine System for Diabetes Care

Research Areas
  • Processing and signal analysis

This paper presents the modelling and formal specification of a telemedicine system for diabetes care. In such scenario, the multiagent technology supports the distributed autonomy of several Personal Assistants; the communications between them and the hospital¿s agents; the control of the system¿s access and multitask functionality; scalability; adaptability; robustness; and the provision to the physicians with the necessary automatic processing tools for the analysis of the large amounts of data generated by patients. We evaluated the AOIS meta-model and the CAMLE¿s modelling environment concluding that this methodology is adequate to represent a complex medical system like the one presented. The model and the formal specification provide a more complete view of the system and contain very useful information to cope with the future system evolution. 1 INTRODUCTION Diabetes is the fourth leading cause of global death by disease. Currently 246 million people worldwide suffer from diabetes and the forecast for 2025 is that it will increase to affect 380 million (IDF, 2003). Diabetes Mellitus is a chronic disease characterised by a sustained elevated blood glucose level, caused by a reduction in the action of insulin secretion where related metabolic disturbances generate severe, acute and long-term complications that are responsible for premature death and disability (De Leiva et al., 1995). Effective control of patients¿ blood glucose level minimises the progression of the disease and reduces the risk of long-term neurological, renal and cardiovascular complications. The treatment of diabetic patients attempts to achieve normal levels of blood glucose by maintaining a careful balance between diet, physical exercise and insulin injections therapy. Patients monitor their own blood glucose levels to take decisions regarding
1st International Conference on Agents and Artificial Intelligence, ICAART 09
Start Date
End Date
From page
To page
1st International Conference on Agents and Artificial Intelligence, ICAART 09

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Grupo de Bioingeniería y Telemedicina
  • Centro o Instituto I+D+i: Centro de tecnología Biomédica CTB
  • Departamento: Tecnología Fotónica