 |
    |
Applying Formal Verification Techniques to Ambient Assisted Living Systems
Kawtar Benghazi, María Visitación Hurtado, María Luisa Rodríguez, and Manuel Noguera
Software Engineering Department, University of Granada, Spainbenghazi@ugr.es
mhurtado@ugr.es
mlra@ugr.es
mnoguera@ugr.es
http://lsi.ugr.es
Abstract. This paper presents a verification approach based on timed traces semantics and MEDISTAM-RT [1] to check the fulfillment of non-functional requirements, such as timeliness and safety, and assure the correct functioning of the Ambient Assisted Living (AAL) systems. We validate this approach by its application to an Emergency Assistance System for monitoring people suffering from cardiac alteration with syncope.
Keywords: Ambient assisted living, safety, timeliness
LNCS 5872, p. 381 ff.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2009