Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systems

被引:7
|
作者
Leite, Fabio L., Jr. [1 ,2 ]
Schneider, Daniel [3 ]
Adler, Rasmus [3 ]
机构
[1] Univ Kaiserslautern, Dept Software Engn Dependabil Kaiserslautern, Kaiserslautern, Germany
[2] Paraiba State Univ UEPB, Ctr Strateg Hlth Technol NUTES, Campina Grande, PB, Brazil
[3] Fraunhofer IESE, Kaiserslautern, Germany
关键词
Medical cyber-physical systems; System of systems; Adaptive systems; Cooperative system; Autonomous systems; Runtime risk management; Modular safety certification; Risk assessment; FRAMEWORK;
D O I
10.1007/978-3-319-99229-7_12
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Medical cyber-physical systems (MCPS) combine independent devices at runtime in order to render new patient monitoring/control functionalities, such as physiological closed loops for controlling drug infusion and optimization of alarms. MCPS and their relevant system contexts are highly variable, which detrimentally affects the application of established safety assurance methodologies. In this paper, we introduce an approach based on dynamic risk assessment and control for MCPS. During runtime, information regarding the safety properties of the constituent systems, relevant information about the patient's characteristics, as well as other relevant context information is utilized to dynamically and continuously optimize the system performance while guaranteeing an acceptable level of safety. We evaluated our approach by means of a patient-controlled analgesia proof-of-concept simulation and sensitivity analysis.
引用
收藏
页码:126 / 138
页数:13
相关论文
共 50 条
  • [21] Cyber-Physical Systems for Optimal Energy Management Scheme of Autonomous Electric Vehicle
    Wan, Jiafu
    Yan, Hehua
    Li, Di
    Zhou, Keliang
    Zeng, Lu
    COMPUTER JOURNAL, 2013, 56 (08): : 947 - 956
  • [22] Systems Engineering Roadmap for Dependable Autonomous Cyber-Physical Systems
    Rasmus, Adler
    PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 1622 - 1625
  • [23] Medical Cyber-Physical Systems (Track Introduction)
    Bartocci, Ezio
    Gao, Sicun
    Smolka, Scott A.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 353 - 355
  • [24] Certifiable and Efficient Autonomous Cyber-Physical Systems Design
    Xu, Shengjie
    Hobbs, Clara
    Ghosh, Bineet
    Duggirala, Parasara Sridhar
    Chakraborty, Samarjit
    PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 259 - 263
  • [25] A Communication Architecture for Cooperative Networked Cyber-Physical Systems
    von Zengen, Georg
    Schroeder, Yannic
    Wolf, Lars C.
    2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,
  • [26] Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
    Alghamdi, Raniah A.
    Trefler, Richard
    PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 77 - 87
  • [27] Cooperative Message Authentication in Vehicular Cyber-Physical Systems
    Shen, Wenlong
    Liu, Lu
    Cao, Xianghui
    Hao, Yong
    Cheng, Yu
    IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2013, 1 (01) : 84 - 97
  • [28] Medical Cyber-Physical Systems: The Early Years
    Lee, Insup
    IEEE DESIGN & TEST, 2015, 32 (05) : 119 - 120
  • [29] Optimal Tracking Cooperative Control for Cyber-Physical Systems: Dynamic Fault-Tolerant Control and Resilient Management
    Wang, Bohui
    Zhang, Bin
    Su, Rong
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (01) : 158 - 167
  • [30] Resilient Security of Medical Cyber-Physical Systems
    Rao, Aakarsh
    Carreon, Nadir
    Lysecky, Roman
    Rozenblit, Jerzy
    Sametinger, Johannes
    DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2019), 2019, 1062 : 95 - 100