Framework for Reliability Analysis of Context-Aware Systems Using Markov Decision Processes and Model Checking
Yan Liu
Journal of Information Organization, Vol. 15, No. 3, 2025.
DOI: https://doi.org/10.6025/jio/2025/15/3/127-134
Link: https://www.dline.info/jio/fulltext/v15n3/jiov15n3_2.pdf
Abstract:
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.