Software engineering for health education and care delivery systems: The Smart Condo project
SEHC '09 Proceedings of the 2009 ICSE Workshop on Software Engineering in Health Care
Applying Formal Verification Techniques to Ambient Assisted Living Systems
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Enabling correct design and formal analysis of Ambient Assisted Living systems
Journal of Systems and Software
Hi-index | 0.00 |
Despite the advancement in electronic industry and the high potential of ambient intelligence applications in the domain of tele-health, the task of engineering such systems is non-trivial and convincing solutions are still missing. The engineering challenges to cope with and the inappropriateness of current engineering methods and research approaches complicate the process of tele-health system development. The purpose of this paper is twofold: (i) to list the current research challenges for tele-health systems from an engineering perspective and (ii) to show how we approach the challenges by means of an assisted living laboratory for engineering and evaluation purposes.