Logo PTI Logo FedCSIS

Communication Papers of the 18th Conference on Computer Science and Intelligence Systems

Annals of Computer Science and Information Systems, Volume 37

A modular and verifiable software architecture for interconnected medical systems in intensive care

, , , , , ,

DOI: http://dx.doi.org/10.15439/2023F6208

Citation: Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak (eds). ACSIS, Vol. 37, pages 351357 ()

Full text

Abstract. Medical device interoperability enables new therapy methods and the automation of existing ones. Due to different medical device manufacturers and protocols, we need auxiliary hardware and software for the interconnection. In this paper, we propose a service-oriented software architecture built on a real-time operating system in order to create a modular medical cyber-physical system consisting of networked embedded nodes. In particular, we highlight the need for the application of formal methods to ensure the functional safety of the system.


  1. I. Lee and O. Sokolsky, “Medical cyber physical systems,” in Design Automation Conference, pp. 743–748, ACM, 2010.
  2. G. De Micheli, “Cyber-medical systems: Requirements, components and design examples,” IEEE Transactions on Circuits and Systems I: RegularPapers, vol. 64, no. 9, pp. 2226–2236, 2017.
  3. S. Bonfanti, A. Gargantini, and A. Mashkoor, “A systematic literature review of the use of formal methods in medical software systems,” Journal of Software: Evolution and Process, vol. 30, no. 5, p. e1943, 2018.
  4. Rüdger Kopp, Ralf Bensberg, Marian Walter, Jutta Arens, Rolf Rossaint, and André Stollenwerk, “Automation of extracorporeal membrane oxygenation using a combined safety and control concept.,” Intensive Care Medicine, vol. 37, no. S1, 2011.
  5. J. Kühn, C. Brendle, A. Stollenwerk, M. Schweigler, S. Kowalewski, T. Janisch, R. Rossaint, S. Leonhardt, M. Walter, and R. Kopp, “Decentralized safety concept for closed-loop controlled intensive care,” Biomedical Engineering/Biomedizinische Technik, vol. 62, no. 2, pp. 213–223, 2017.
  6. Richard Barry, “FreeRTOS,” 2023. https://www.freertos.org/.
  7. Giovanni Di Sirio., “ChibiOS,” 2023. https://www.chibios.org.
  8. F. Reghenzani, G. Massari, and W. Fornaciari, “The real-time linux kernel: A survey on preempt_rt,” ACM Computing Surveys, vol. 52, no. 1, pp. 1–36, 2020.
  9. Object Management Group, “Data distribution service specification, version 1.4,” 10.04.2015.
  10. eProsima, “Fast DDS,” 2023. https://www.eprosima.com/index.php/products-all/eprosima-fast-dds.
  11. A. Kampmann, A. Wustenberg, B. Alrifaee, and S. Kowalewski, “A portable implementation of the real-time publish-subscribe protocol for microcontrollers in distributed robotic applications,” in The 2019 IEEE Intelligent Transportation Systems Conference - ITSC, (Piscataway, NJ), pp. 443–448, IEEE, 2019.
  12. OASIS MQTT Technical Committee, “MQTT, Version 5.0,” 07.03.2019.
  13. ASTM, “Medical devices and medical systems - essential safety require- ments for equipment comprising the patient-centric integrated clinical environment (ice) - part 1: General requirements and conceptual model,” 2013.
  14. J. Plourde, D. Arney, and J. M. Goldman, “OpenICE: An open, interoperable platform for medical cyber-physical systems,” in 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2014), (Piscataway, NJ), p. 221, IEEE, 2014.
  15. Real-Time Innovations, “Connext DDS,” 2023. https://www.rti.com/.
  16. M. Kasparick, M. Schmitz, B. Andersen, M. Rockstroh, S. Franke, S. Schlichting, F. Golatowski, and D. Timmermann, “OR.NET: a service-oriented architecture for safe and dynamic medical device interoperability,” Biomedizinische Technik. Biomedical engineering, vol. 63, no. 1, pp. 11–30, 2018.
  17. IEEE Engineering in Medicine and Biology Society, “IEEE Standard - Health informatics – Point-of-care medical device communication - Part 10207: Domain Information and Service Model for Service-Oriented Point-of-Care Medical Device Communication,” 2017.
  18. IEEE Engineering in Medicine and Biology Society, “IEEE Standard - Health informatics – Point-of-care medical device communication - Part 20702: Medical devices communication profile for web services,” 2016.
  19. IEEE Engineering in Medicine and Biology Society, “IEEE Standard - Health informatics – Point-of-care medical device communication - Part 20701: Service-Oriented Medical Device Exchange Architecture and Protocol Binding,” 2019.
  20. J. Okamoto, K. Masamune, H. Iseki, and Y. Muragaki, “Development concepts of a smart cyber operating theater (scot) using orin technology,” Biomedizinische Technik. Biomedical engineering, vol. 63, no. 1, pp. 31– 37, 2018.
  21. M. Mizukawa, H. Matsuka, T. Koyama, T. Inukai, A. Noda, H. Tezuka, Y. Noguchi, and N. Otera, “Orin: open robot interface for the network - the standard and unified network interface for industrial robot applications,” in SICE 2002, (Tōkyō), pp. 925–928, SICE, 2002.
  22. G. Bollella and J. Gosling, “The real-time specification for java,” Computer, vol. 33, no. 6, pp. 47–54, 2000.
  23. S. Macenski, T. Foote, B. Gerkey, C. Lalancette, and W. Woodall, “Robot operating system 2: Design, architecture, and uses in the wild,” Science robotics, vol. 7, no. 66, p. eabm6074, 2022.
  24. G. Beraldo, N. Castaman, R. Bortoletto, E. Pagello, J. del R. Millan, L. Tonin, and E. Menegatti, “Ros-health: An open-source framework for neurorobotics,” in 2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR) (H. Kurniawati, ed.), (Piscataway, NJ), pp. 174–179, IEEE, 2018.
  25. A. Stollenwerk, F. Göbe, M. Walter, J. Arens, R. Kopp, and S. Kowalewski, “Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application,” in 3rd Joint Workshop On High Confidence Medical Devices, Software, and Systems & Medical Device Plug-and-Play Interoperability : HCMDSS/MDPnP 2011 ; in conjunction with CPSweek 2011, (Chicago), HCMDSS/MDPnP 2011, Apr 2011.
  26. G. Rodriguez-Navas, S. Roca, and J. Proenza, “Orthogonal, fault-tolerant, and high-precision clock synchronization for the controller area network,” IEEE transactions on industrial informatics, vol. 4, no. 2, pp. 92–101, 2008.
  27. IEEE Instrumentation and Measurement Society, “IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems,” 2019.
  28. J. Kühn, A. Stollenwerk, C. Brendle, T. Janisch, M. Walter, R. Rossaint, S. Leonhardt, S. Kowalewski, and R. Kopp, “Sensor supervision and control value limitations in networked intensive care,” in Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016 (W. Zimmermann, L. Alperowitz, B. Brügge, J. Fahsel, A. Herrmann, A. Hoffmann, A. Krall, D. Landes, H. Lichter, D. Riehle, I. Schaefer, C. Scheuermann, A. Schlaefer, S. Schupp, A. Seitz, A. Steffens, A. Stollenwerk, and R. Weißbach, eds.), vol. 1559 of CEUR Workshop Proceedings, pp. 187–194, CEUR-WS.org, 2016.
  29. E. Botcazou, C. Comar, and O. Hainque, “Compile-time stack requirements analysis with gcc: Motivation, development, and experiments results,” in Proc. GCC Developers Summit, pp. 93–105, 2005.
  30. A. Gosain and G. Sharma, “Static analysis: A survey of techniques and tools,” in Intelligent Computing and Applications, pp. 581–591, Springer, 2015.
  31. A. Burnard, P. Burden, L. Whiting, C. Tapp, G. McCall, M. Hennell, C. Hills, and S. Montgomery, “MISRA C:2012,” 2013.
  32. P. Anderson, B. Curtis, P. Braione, A. Summers, C. Eng, J. Fung, J. Gazlay, A. Hoole, J. Jarzombek, J. Lam, C. Levendis, J. Oberg, K. Seifried, C. Turner, and A. van der Stock, “Common weakness enumeration,” Mitre Corporation, 2007.
  33. Software Engineering Insitute CERT, “C coding standard: Rules for developing safe, reliable, and secure systems,” Reliable, and Secure Systems, 2016.
  34. R. Bagnara, A. Bagnara, and P. M. Hill, “The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software,” in Static Analysis (A. Podelski, ed.), vol. 11002 of Lecture Notes in Computer Science, pp. 5–23, Cham: Springer International Publishing, 2018.
  35. R. Kopp, R. Bensberg, A. Stollenwerk, J. Arens, O. Grottke, M. Walter, and R. Rossaint, “Automatic control of veno-venous extracorporeal lung assist,” Artificial organs, vol. 40, no. 10, pp. 992–998, 2016.
  36. A. Stollenwerk, J. Kühn, C. Brendle, M. Walter, J. Arens, M. N. Wardeh, S. Kowalewski, and R. Kopp, “Model-based supervision of a blood pump,” IFAC Proceedings Volumes, vol. 47, no. 3, pp. 6593–6598, 2014.
  37. M. Wiartalla, F. Berg, F. Ottersbach, J. Kühn, M. Buglowski, S. Kowalewski, and A. Stollenwerk, “A modular and verifiable software architecture for interconnected medical systems in intensive care,” 2023. https://doi.org/10.18154/RWTH-2023-07342.
  38. Object Management Group, “Who’s Using DDS?,” accessed 21.12.2022. https://www.dds-foundation.org/who-is-using-dds-2/.
  39. The Mathworks, Inc., “MATLAB Simulink (R2022b),” 2022.
  40. The Mathworks, Inc., “Polyspace (R2022b),” 2022.
  41. C. Ferdinand, “Worst case execution time prediction by static program analysis,” in Proceedings / 18th International Parallel and Distributed Processing Symposium, (Los Alamitos, Calif.), pp. 125–127, IEEE Computer Society, 2004.