Modal abstraction view of requirements for medical devices used in healthcare processes
SEHC@ICSE(2013)
摘要
Medical device requirements often depend on the healthcare processes in which the device is to be used. Since such processes may be complex, critical requirements may be specified inaccurately, or even missed altogether. We are investigating an automated requirement derivation approach that takes as input a model of the healthcare process along with a model of the device and tries to derive the requirements for that device. Our initial experience with this approach has shown that when the process and device involve complex behaviors, the derived requirements are also often complex and difficult to understand. In this paper, we describe an approach for creating a modal abstraction view of the derived requirements that decomposes each requirement based on its modes, and thus appears to improve understandability.
更多查看译文
关键词
Requirement specifications, medical devices, healthcare processes, model checking, learning algorithms, modes
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络