cispa_all_3513.pdf (842.3 kB)

Robust Monitoring for Medical Cyber-Physical Systems

Download (842.3 kB)
conference contribution
posted on 2023-11-29, 18:17 authored by Bernd FinkbeinerBernd Finkbeiner, Andreas Keller, Jessica Schmidt, Maximilian Schwenger
Some medical implants act autonomously: they assess the current health status of a patient and administer treatment when appropriate. An improper treatment, however, can cause serious harm. Here, the decision logic leading to the treatment relies on data obtained from sensors — an inherently imperfect medium. Cop- ing with these inaccuracies requires the logic to be robust in the sense that slight perturbations in the measurements do not significantly alter the decision. Determining the extent to which an algorithm is robust automatically does not scale well for complex and opaque components. This is particularly problematic when ma- chine learning is involved. Yet, the analysis is feasible for simpler safety-related components such as a runtime monitor, which ob- serves the system and intervenes in a treatment when necessary. Its significantly lower complexity generally allows for providing static guarantees on the runtime behavior of the monitor. Complementing these guarantees with a robustness analysis constitutes a major step toward certifiable medical cyber-physical systems con- trolled by opaque, machine-learned components. Hence, this paper reports on ongoing research in the direction of a robustness analysis for the runtime monitoring framework RTLola.


Preferred Citation

Bernd Finkbeiner, Andreas Keller, Jessica Schmidt and Maximilian Schwenger. Robust Monitoring for Medical Cyber-Physical Systems. In: Workshop on Medical Cyber Physical Systems and Internet of Medical Things (). 2021.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

Workshop on Medical Cyber Physical Systems and Internet of Medical Things (MCPS)

Legacy Posted Date


Open Access Type

  • Unknown


@inproceedings{cispa_all_3513, title = "Robust Monitoring for Medical Cyber-Physical Systems", author = "Finkbeiner, Bernd and Keller, Andreas and Schmidt, Jessica and Schwenger, Maximilian", booktitle="{Workshop on Medical Cyber Physical Systems and Internet of Medical Things ()}", year="2021", }

Usage metrics


    No categories selected


    Ref. manager