Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices

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.