Experiences with a compositional model checker in the healthcare domain
conference paper
This paper describes the use of a formal method to support component-based development in the healthcare domain. The method is based on a commercial tool suite which combines formal modeling, compositional model checking, and code generation. The main approach of the tool suite will be explained and demonstrated from a user point of view. We report about experiences with this approach at the company Philips Healthcare for the design of control software for advanced interventional X-ray systems. This concerns formal interface definitions between the main system components and detailed design of control components.
TNO Identifier
954352
ISSN
03029743
ISBN
9783642323546
Publisher
Springer
Source title
1st International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, 29 August 2011 through 30 August 2011
Pages
93-110
Files
To receive the publication files, please send an e-mail request to TNO Repository.