본 논문은 독립적으로 생활하는 고령 인구의 삶의 질 향상을 위한 틀을 제시한다. 개인의 선호도와 상황을 고려하는 개인 맞춤형 솔루션을 중심으로, 센서 데이터, 반구조화된 인터뷰, 가정 배치도, 사회학적 관찰 등의 데이터를 통합하여 고령자의 일상생활 활동(ADL)을 표현하고 추론하는 프레임워크를 소개한다. 각 참가자의 선호도와 상황에 따라 개인화된 공식 모델을 생성하고, 선형 시간 논리(LTL)로 인코딩된 개별 요구사항을 정의하여 모델 검증기를 사용하여 각 속성이 모델을 만족하는지 확인한다. 속성이 위반되면 위반 원인을 제공하는 반례가 생성된다. 다양한 참가자에게 프레임워크를 적용하여 일반화 가능성을 입증하고, 재택 고령화의 안전과 복지를 향상시킬 수 있는 잠재력을 강조한다.
