Early Fault Detection using Design Models for Collision Prevention in Medical Equipment

Arjan J. Mooij, Jozef Hooman, and Rob Albers

Appeared in: Foundations of Health Information Engineering and Systems (FHIES 2013), LNCS 8315, pages 170-187, Springer-Verlag, 2014.

ABSTRACT

In the medical domain there is a tension between the requested speed of innovation and the time needed to deliver a certifiable system. To ensure the required safety, usually a long test and integration phase is needed. To shorten this phase and to avoid late bug fixing, the aim is to detect faults (if any) much earlier in the development process. This can be achieved by combining a number of model-based techniques such as (1) architecture validation by simulating executable models, (2) development of a Domain-Specific Language (DSL) to combine precision with higher levels of abstraction, and (3) transformations from DSLs to analysis models for performance evaluation and formal verification. We illustrate such techniques using an industrial study project on a new architecture for movement control including collision prevention.