Engineering high confidence medical device software
Arnab Ray, Raoul Praful Jetley, Paul Jones · ACM SIGBED Review · 2009
The increasing complexity of medical device software has created new challenges in ensuring that a medical device operates correctly. This paper discusses how two technologies---model-based development and static analysis---may be used to facilitate the successful engineering of medical software and some possible regulatory side benefits.