Formal Specification For Ambient Assisted Living Scenarios
UBIQUITOUS COMPUTING AND AMBIENT INTELLIGENCE, UCAMI 2017(2017)
摘要
Formal specifications are used to prove software correctness in a critical system. Ambient Assisted Living (AAL) technologies require unambiguous and precise requirements as they provide critical services for home monitoring. Several AAL technologies have already been designed using scenario-driven approach. But most of them do not precise how to ensure the correctness and conformity of the scenario related to end-user specifications. The multidisciplinary requirements brought by the design team and the assistance to the elderly need a rigorous mechanism for validating and specifying assistance scenarios. In this article, we propose a formal specification approach for scenario construction in the context of AAL technologies. We explain how to instantiate any scenario from the modeled specification, and give some results obtained by using the Alloy language and its validation module. We present a case study applied to nighttime wandering scenario.
更多查看译文
关键词
Ambient Assisted Living,Ubiquitous computing,Formal specification,Scenario,Task model
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络