Early fault detection using design models for collision prevention in medical equipment
bookPart
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 techniquessuch 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.
TNO Identifier
492118
Publisher
Springer
Source title
Foundations of health information engineering and systems
Editor(s)
Gibbons, J.
MacCaull, W.
MacCaull, W.
Collation
18 p.
Place of publication
Berlin
Pages
170-187
Files
To receive the publication files, please send an e-mail request to TNO Repository.