Medication management systems are useful aids in assisting elderly people in compliance with their medication, and reduce the risk of serious health concerns or hospitalization. These system share the characteristics of safety critical systems, thus analysis of such system behavior is important to avoid serious problems. Formal methods are among powerful tools that can be used for modeling and verification of systems components and their behavior. We present in this paper formal modeling of a context-aware medication management system designed to support elderly people in smart house. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Malik, Y., & Abdulrazak, B. (2013). Formal modeling and analysis of context-aware medication management system for smart houses. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7910 LNCS, pp. 218–223). Springer Verlag. https://doi.org/10.1007/978-3-642-39470-6_27
Mendeley helps you to discover research relevant for your work.