Journal of Information Organization Yan Liu 15 3 2025 https://doi.org/10.6025/jio/2025/15/3/127-134 https://www.dline.info/jio/fulltext/v15n3/jiov15n3_2.pdf The attached file presents a framework for analyzing and predicting the reliability of context-aware systems, particularly focusing on elder care applications. It integrates model checking and testing techniques to evaluate system correctness and reliability under various scenarios. The approach involves constructing a Markov Decision Process (MDP) model, performing reachability analysis, and conducting sensitivity analysis to identify critical components affecting system reliability. Experimental results demonstrate the effectiveness of the framework in detecting bugs and analyzing reliability distribution across components like sensors and networks. The study also highlights practical applications in real-world settings, such as monitoring activities and delivering timely reminders to users. Overall, the work provides a comprehensive method for improving the dependability of context-aware systems through formal verification and quantitative evaluation.