Research Article
Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices
@INPROCEEDINGS{10.4108/icst.pervasivehealth.2014.254949, author={Franziska Bathelt-Tok and Sabine Glesner and Oliver Blankenstein}, title={Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices}, proceedings={8th International Conference on Pervasive Computing Technologies for Healthcare}, publisher={ICST}, proceedings_a={PERVASIVEHEALTH}, year={2014}, month={7}, keywords={controller synthesis data-dependent algebraic petri nets service composition interoperability}, doi={10.4108/icst.pervasivehealth.2014.254949} }- Franziska Bathelt-Tok
Sabine Glesner
Oliver Blankenstein
Year: 2014
Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices
PERVASIVEHEALTH
ACM
DOI: 10.4108/icst.pervasivehealth.2014.254949
Abstract
Due to the lack of formal data treatment within the controller synthesis process, a lot of manual effort is needed to enable a reliable and safe interoperability of medical devices. This manual effort makes the process time-consuming, expensive, error-prone and, thus, reduces the will to apply it to real-world questions. To tackle this problem we build up the basis for the generic modeling and correct composition of data related device behavior using algebraic Petri nets. Hence, we are able to synthesize controllers that ensure safety critical and data-dependent functional properties cost-efficiently and automatically so that devices can be combined properly and almost independently from their manufacturers.
Copyright © 2014–2024 ICST