@inproceedings{826f0d7250ac499f9be5673a31d4973c,
title = "IAFinder: Identifying potential implicit assumptions to facilitate validation in medical cyber-physical system",
abstract = "According to the U.S. Food and Drug Administration (FDA) medical device recall database, medical device recalls are at an all-time high. One of the major causes of the recalls is due to implicit assumptions of which either the medical device operating environment does not match, or the device operators are not aware of. In this paper, we present IAFinder (Implicit Assumption Finder), a tool that uses data mining techniques to automatically extract invariants from design models implemented with statecharts. By identifying invariants that are not explicitly specified in the design models, we are able to find implicit assumptions and better facilitate domain experts to validate them and make the validated implicit assumptions explicit. We use a cardiac arrest statechart model as a case study to illustrate the usage of IAFinder in identifying implicit assumptions.",
author = "Zhicheng Fu and Zhao Wang and Chunhui Guo and Zhenyu Zhang and Shangping Ren and Lui Sha",
note = "Publisher Copyright: {\textcopyright} 2018 Association for Computing Machinery.; 55th Annual Design Automation Conference, DAC 2018 ; Conference date: 24-06-2018 Through 29-06-2018",
year = "2018",
month = jun,
day = "24",
doi = "10.1145/3195970.3196062",
language = "English (US)",
isbn = "9781450357005",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings of the 55th Annual Design Automation Conference, DAC 2018",
address = "United States",
}