Building Device Models Using LLMs for Requirements Simulation in Smart Homes

The implementation of model-based requirements simulations in smart homes is an effective strategy that allows users to comprehend the execution impact of their personalized needs before deployment. This necessitates the use of device models in advance. In this paper, we propose an automatic modeling method for smart home devices that utilizes a Large Language Model (LLM) to assist end users in modeling their devices. The method involves extracting information directly from device manuals using the extraction capabilities of the LLM, deducing the automata models using the reasoning capabilities of the LLM, and verifying the model quality through the properties of valid device models. Our evaluation has demonstrated that our method can generate high-quality device models. The resultant model can be utilized for smart home scenario simulations, assisting users in validating their requirements. Thus, this provides a cost-effective and scalable solution for offering device models to simulate user requirements in smart homes.